Commits · 0a1fb03e3c7ad104554eabf203a6e1d36377d499 · lvzhengyang / abc · GitLab

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
23 Oct, 2018 2 commits
- Fix timing info communication in GIA APIs. · 455e0bae
  Alan Mishchenko committed Oct 23, 2018
  
  455e0bae Browse Files
- Fix timing info communication in GIA APIs. · 2ef879e9
  Alan Mishchenko committed Oct 23, 2018
  
  2ef879e9 Browse Files
22 Oct, 2018 3 commits
- Merge pull request #25 from hriener/common · 2050104f
```
extraUtilPerm: Abc_ZddDiff.
```
  alanminko committed Oct 22, 2018
  2050104f Browse Files
- Fix timing info communication in GIA APIs. · 684f1ec7
  Alan Mishchenko committed Oct 22, 2018
  
  684f1ec7 Browse Files
- Fix timing info communication in GIA APIs. · 341e55ab
  Alan Mishchenko committed Oct 22, 2018
  
  341e55ab Browse Files
21 Oct, 2018 1 commit
- extraUtilPerm: Abc_ZddDiff. · 148ea34a
  Heinz Riener committed Oct 21, 2018
  
  148ea34a Browse Files
18 Oct, 2018 2 commits
- Merge pull request #13 from hriener/exorcism · 14d985a8
```
exorcism.
```
  alanminko committed Oct 18, 2018
  14d985a8 Browse Files
- Skip cells in Liberty files which have dont_use attribute. · 18943f64
  Alan Mishchenko committed Oct 18, 2018
  
  18943f64 Browse Files
17 Oct, 2018 1 commit
- &exorcism: read ESOP-PLA from file. · 95523936
  Heinz Riener committed Oct 17, 2018
  
  95523936 Browse Files
16 Oct, 2018 1 commit
- Suggested fix: close file. · c5b48bbf
  Alan Mishchenko committed Oct 16, 2018
  
  c5b48bbf Browse Files
12 Oct, 2018 2 commits
- Compiler warning. · 1aed74ed
  Alan Mishchenko committed Oct 12, 2018
  
  1aed74ed Browse Files
- Extending extra library with additional ZDD-based procedures. · 5560011f
  Alan Mishchenko committed Oct 12, 2018
  
  5560011f Browse Files