Commits · 4d8c72d0e923fe4e052cac4a3ef1b6138ecb3f1e · lvzhengyang / abc · GitLab

17 Jan, 2019 2 commits
- Fixing the problem with outputting word-level CEXes after retiming. · 4d8c72d0
  Alan Mishchenko committed Jan 17, 2019
  
  4d8c72d0 Browse Files
- Fixing the problem with outputting word-level CEXes. · d05f89d9
  Alan Mishchenko committed Jan 16, 2019
  
  d05f89d9 Browse Files
16 Jan, 2019 4 commits
- Procedure to transform counter-examples (bug fix). · 7f778ff8
  Alan Mishchenko committed Jan 15, 2019
  
  7f778ff8 Browse Files
- Procedure to transform counter-examples (bug fix). · f3946eea
  Alan Mishchenko committed Jan 15, 2019
  
  f3946eea Browse Files
- Procedures to generate constant-argument multipliers. · 7786cb24
  Alan Mishchenko committed Jan 15, 2019
  
  7786cb24 Browse Files
- Procedure to trasnsform counter-examples. · 36e5badf
  Alan Mishchenko committed Jan 15, 2019
  
  36e5badf Browse Files
15 Jan, 2019 2 commits
- Procedures to generate constant-argument multipliers. · 1779f545
  Alan Mishchenko committed Jan 15, 2019
  
  1779f545 Browse Files
- Experiment with partitioned &scorr. · 32a687ba
  Alan Mishchenko committed Jan 15, 2019
  
  32a687ba Browse Files
12 Jan, 2019 3 commits
- Adding one API of GIA manager. · 12a51a2b
  Alan Mishchenko committed Jan 12, 2019
  
  12a51a2b Browse Files
- Merge pull request #33 from hriener/common · 9e419f53
```
Added missing `static`.
```
  alanminko committed Jan 12, 2019
  9e419f53 Browse Files
- Added missing `static`. · e28a691b
  Heinz Riener committed Jan 12, 2019
  
  e28a691b Browse Files
11 Jan, 2019 1 commit
- Bug fix in deriving names for the miter output. · 6b554f10
  Alan Mishchenko committed Jan 10, 2019
  
  6b554f10 Browse Files
09 Jan, 2019 2 commits
- Procedures to generate constant-argument multipliers. · 0a1fb03e
  Alan Mishchenko committed Jan 09, 2019
  
  0a1fb03e Browse Files
- Procedures to generate constant-argument multipliers. · f3ba29b3
  Alan Mishchenko committed Jan 09, 2019
  
  f3ba29b3 Browse Files
08 Jan, 2019 1 commit
- Procedures to generate constant-argument multipliers. · c2c87aa6
  Alan Mishchenko committed Jan 08, 2019
  
  c2c87aa6 Browse Files
03 Jan, 2019 1 commit
- Bug fix in WLN datastructure. · 65e2add5
  Alan Mishchenko committed Jan 03, 2019
  
  65e2add5 Browse Files
13 Dec, 2018 2 commits
- Fixing float overflow during area-flow computation in &lf. · f62eb635
  Alan Mishchenko committed Dec 13, 2018
  
  f62eb635 Browse Files
- Fixing float overflow during edge-flow computation in 'if' mapper (change to… · 1f016988
```
Fixing float overflow during edge-flow computation in 'if' mapper (change to avoid dependence on the order of additions).
```
  Alan Mishchenko committed Dec 12, 2018
  1f016988 Browse Files
12 Dec, 2018 2 commits
- Fixing float overflow during edge-flow computation in 'if' mapper. · 2f88284d
  Alan Mishchenko committed Dec 12, 2018
  
  2f88284d Browse Files
- Updated for memory abstraction. · d071e026
  Alan Mishchenko committed Dec 11, 2018
  
  d071e026 Browse Files
09 Dec, 2018 1 commit
- Experiments with retiming (adding new APIs). · 36585eff
  Alan Mishchenko committed Dec 09, 2018
  
  36585eff Browse Files
07 Dec, 2018 2 commits
- Experiments with retiming. · fe03f042
  Alan Mishchenko committed Dec 06, 2018
  
  fe03f042 Browse Files
- Experiments with retiming. · a3253767
  Alan Mishchenko committed Dec 06, 2018
  
  a3253767 Browse Files
05 Dec, 2018 1 commit
- Experiments with retiming. · 65b10c03
  Alan Mishchenko committed Dec 04, 2018
  
  65b10c03 Browse Files
30 Nov, 2018 2 commits
- Merge pull request #27 from zzhou612/master · 163bba53
```
Fix: header malloc.h is depreciated
```
  alanminko committed Nov 30, 2018
  163bba53 Browse Files
- fix: header <malloc.h> is depreciated · 39ff80c0
  Nathan Zhou committed Nov 30, 2018
  
  39ff80c0 Browse Files
21 Nov, 2018 4 commits
- Adding switch &w -n to modify the comment section of the AIGER file written. · 5aa3025c
  Alan Mishchenko committed Nov 21, 2018
  
  5aa3025c Browse Files
- Various usability changes (second round). · 73695c79
  Alan Mishchenko committed Nov 20, 2018
  
  73695c79 Browse Files
- Various usability changes (second round). · 6f0d8088
  Alan Mishchenko committed Nov 20, 2018
  
  6f0d8088 Browse Files
- Adding an option to write new-line after the comment symbol when dumping an AIGER file. · f3c5bab5
  Alan Mishchenko committed Nov 20, 2018
  
  f3c5bab5 Browse Files
19 Nov, 2018 2 commits
- Various usability changes. · 32315113
  Alan Mishchenko committed Nov 18, 2018
  
  32315113 Browse Files
- Various usability changes. · 12908d3c
  Alan Mishchenko committed Nov 18, 2018
  
  12908d3c Browse Files
16 Nov, 2018 1 commit
- Undoing some of the previous changes. · 33159929
  Alan Mishchenko committed Nov 15, 2018
  
  33159929 Browse Files
13 Nov, 2018 1 commit
- Adding dummy flop in 'pdr' when the network is comb. · 2ddc57d8
  Alan Mishchenko committed Nov 13, 2018
  
  2ddc57d8 Browse Files
12 Nov, 2018 3 commits
- Compiler warning. · 9a59b2c2
  Alan Mishchenko committed Nov 11, 2018
  
  9a59b2c2 Browse Files
- Usability improvements to &fftest. · e9c00fb0
  Alan Mishchenko committed Nov 11, 2018
  
  e9c00fb0 Browse Files
- Procedures to verify equivalence classes. · 8b310db5
  Alan Mishchenko committed Nov 11, 2018
  
  8b310db5 Browse Files
11 Nov, 2018 1 commit
- Added a passthrough in command 'fold' if there are no POs, only constraints. · 68da3cfd
  Alan Mishchenko committed Nov 11, 2018
  
  68da3cfd Browse Files
10 Nov, 2018 1 commit
- Undoing an old change, which affects BDD variable reordering on some examples in &reachy. · fb436339
  Alan Mishchenko committed Nov 10, 2018
  
  fb436339 Browse Files
04 Nov, 2018 1 commit
- Several recent bug fixes. · 4d56acfd
  Alan Mishchenko committed Nov 04, 2018
  
  4d56acfd Browse Files