Commits · 17476146caa0184f908cfc908520375d788a8ba1 · lvzhengyang / abc

09 May, 2021 1 commit
- Fixing mismatch in &cec -x which should return undecided rather than… · 17476146
```
Fixing mismatch in &cec -x which should return undecided rather than non-equivalent when the miter cannot be reduced to constant 0.
```
  Alan Mishchenko committed May 08, 2021
  17476146 Browse Files
08 May, 2021 3 commits
- Updating cost function in &save/&load. · 45acbef8
  Alan Mishchenko committed May 08, 2021
  
  45acbef8 Browse Files
- Updating cost function in &save/&load. · 13a0bb97
  Alan Mishchenko committed May 08, 2021
  
  13a0bb97 Browse Files
- Bug fix in &blut. · 174f27d9
  Alan Mishchenko committed May 08, 2021
  
  174f27d9 Browse Files
02 May, 2021 1 commit
- Experiments with LUT mapping for small functions. · 7d90895d
  Alan Mishchenko committed May 01, 2021
  
  7d90895d Browse Files
30 Apr, 2021 1 commit
- Making sure read_bench can read nodes up to 15 inputs. · 645752f7
  Alan Mishchenko committed Apr 30, 2021
  
  645752f7 Browse Files
28 Apr, 2021 1 commit
- Several changes for standard mapping. · 9b759067
  Alan Mishchenko committed Apr 28, 2021
  
  9b759067 Browse Files
27 Apr, 2021 2 commits
- Upgrade to the circuit-based solver. · 5f8a8a59
  Alan Mishchenko committed Apr 27, 2021
  
  5f8a8a59 Browse Files
- Passing node labels. · de71e5f6
  Alan Mishchenko committed Apr 26, 2021
  
  de71e5f6 Browse Files
09 Apr, 2021 1 commit
- Computing sum of PO support sizes. · 75981f7f
  Alan Mishchenko committed Apr 09, 2021
  
  75981f7f Browse Files
08 Apr, 2021 1 commit
- Making default value (-M 0) work correctly in &mfs. · 796c2903
  Alan Mishchenko committed Apr 07, 2021
  
  796c2903 Browse Files
29 Mar, 2021 4 commits
- An option to extend the number of primary inputs. · 9145a5c2
  Alan Mishchenko committed Mar 28, 2021
  
  9145a5c2 Browse Files
- Compiler warnings. · 18088bd7
  Alan Mishchenko committed Mar 28, 2021
  
  18088bd7 Browse Files
- Compiler warnings. · 35a4ce55
  Alan Mishchenko committed Mar 28, 2021
  
  35a4ce55 Browse Files
- Command &iwls21test for evaluating the results of 2021 IWLS Contest. · 6a03ece9
  Alan Mishchenko committed Mar 28, 2021
  
  6a03ece9 Browse Files
12 Mar, 2021 2 commits
- Adding a random seed to control randomness in 'permute' (correction). · 66098723
  Alan Mishchenko committed Mar 11, 2021
  
  66098723 Browse Files
- Adding a random seed to control randomness in 'permute'. · b2ca8375
  Alan Mishchenko committed Mar 11, 2021
  
  b2ca8375 Browse Files
04 Feb, 2021 1 commit
- Modification suggested by David Geiger to fix an obscure memory problem. · f87c8b43
  Alan Mishchenko committed Feb 03, 2021
  
  f87c8b43 Browse Files
10 Jan, 2021 1 commit
- Updating the mapper when user-specific matching is used. · e4639307
  Alan Mishchenko committed Jan 09, 2021
  
  e4639307 Browse Files
09 Jan, 2021 1 commit
- Preventing command history from being overwritten by internal scripts. · cd8843c0
  Alan Mishchenko committed Jan 09, 2021
  
  cd8843c0 Browse Files
01 Jan, 2021 1 commit
- Experiments with simulation. · bf96f0b3
  Alan Mishchenko committed Jan 01, 2021
  
  bf96f0b3 Browse Files
30 Dec, 2020 1 commit
- Experiments with simulation. · d0efef2f
  Alan Mishchenko committed Dec 30, 2020
  
  d0efef2f Browse Files
21 Dec, 2020 2 commits
- Integrating Glucose into &sat. · e44f409c
  Alan Mishchenko committed Dec 21, 2020
  
  e44f409c Browse Files
- Compiler warnings. · f06217e2
  Alan Mishchenko committed Dec 21, 2020
  
  f06217e2 Browse Files
17 Dec, 2020 1 commit
- Adding solver type in &sat. · 73dcdab6
  Alan Mishchenko committed Dec 16, 2020
  
  73dcdab6 Browse Files
16 Dec, 2020 2 commits
- Adding generation of combinational speculative miters. · 8066fdbc
  Alan Mishchenko committed Dec 16, 2020
  
  8066fdbc Browse Files
- Adding switch to replace proved outputs by const0. · 06094ade
  Alan Mishchenko committed Dec 16, 2020
  
  06094ade Browse Files
10 Dec, 2020 1 commit
- Deriving equivalent nets from proved equivalences. · 901560bb
  Alan Mishchenko committed Dec 09, 2020
  
  901560bb Browse Files
08 Dec, 2020 2 commits
- Adding timeout to several commands. · 5b8e56b2
  Alan Mishchenko committed Dec 07, 2020
  
  5b8e56b2 Browse Files
- Deriving structural choices from proved equivalences. · 20652704
  Alan Mishchenko committed Dec 07, 2020
  
  20652704 Browse Files
02 Dec, 2020 1 commit
- Corner case bug fix in &cec. · 925418d5
  Alan Mishchenko committed Dec 02, 2020
  
  925418d5 Browse Files
29 Nov, 2020 2 commits
- Added switch -y to control blasting divide-by-zero condition. · 6eee09c5
  Alan Mishchenko committed Nov 29, 2020
  
  6eee09c5 Browse Files
- Window resub testing. · fa87d16b
  Alan Mishchenko committed Nov 29, 2020
  
  fa87d16b Browse Files
23 Nov, 2020 4 commits
- Renaming one command. · d4fb1925
  Alan Mishchenko committed Nov 23, 2020
  
  d4fb1925 Browse Files
- Added an option to keep PI/PO names unchanged in 'short_names'. · 22f36299
  Alan Mishchenko committed Nov 22, 2020
  
  22f36299 Browse Files
- Passing conflict limit to &cec. · 2e92256f
  Alan Mishchenko committed Nov 22, 2020
  
  2e92256f Browse Files
- Removing unused printouts. · 4757c7fe
  Alan Mishchenko committed Nov 22, 2020
  
  4757c7fe Browse Files
21 Nov, 2020 1 commit
- Fixing a memory corruption problem accidentally introduced by fixing memory leaks on Sep 28. · 0e5af861
  Alan Mishchenko committed Nov 21, 2020
  
  0e5af861 Browse Files
20 Nov, 2020 1 commit
- Integration with several commands. · 48f71ada
  Alan Mishchenko committed Nov 19, 2020
  
  48f71ada Browse Files
19 Nov, 2020 1 commit

Makefile: support ccache for compiling ABC. · c3699a20

Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.

committed Nov 19, 2020

c3699a20 Browse Files