Commits · b581e16f32cd1ad68a65fd94d9f2b997da443721 · lvzhengyang / abc · GitLab

01 Nov, 2013 1 commit
- Sweeper condition complement bug-fix and code for internal verification. · 3b8095a6
  Alan Mishchenko committed 11 years ago
  
  3b8095a6 Browse Directory
10 Oct, 2013 1 commit
- Extending truth table support in &jf for more than 6 inputs. · 2c7f3902
  Alan Mishchenko committed 11 years ago
  
  2c7f3902 Browse Directory
06 Sep, 2013 1 commit
- Unifying parameters for the &ps command. · 23879f92
  Alan Mishchenko committed 11 years ago
  
  23879f92 Browse Directory
26 Jun, 2013 1 commit
- Unifying representation of mapping in GIA. · a66dc0af
  Alan Mishchenko committed 11 years ago
  
  a66dc0af Browse Directory
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse Directory
19 May, 2013 1 commit
- Potential improvement to &scorr. · 2a71e3e7
  Alan Mishchenko committed 11 years ago
  
  2a71e3e7 Browse Directory
08 Mar, 2013 1 commit
- Modified command 'init' to allow for specific init values. · a3bdba68
  Alan Mishchenko committed 11 years ago
  
  a3bdba68 Browse Directory
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse Directory
12 Nov, 2012 1 commit
- Made print-out of frontier cut an option ('-c') in '&ps'. · 30b8c3d4
  Alan Mishchenko committed 12 years ago
  
  30b8c3d4 Browse Directory
26 Oct, 2012 1 commit
- Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate constant. · b733b813
  Alan Mishchenko committed 12 years ago
  
  b733b813 Browse Directory
03 Oct, 2012 1 commit
- Renamed reference counting APIs in GIA package. · aa705a9a
  Alan Mishchenko committed 12 years ago
  
  aa705a9a Browse Directory
02 Oct, 2012 1 commit
- Fixed several important problems in choice computation (command 'dch'). · 7d296637
  Alan Mishchenko committed 12 years ago
  
  7d296637 Browse Directory
17 Sep, 2012 1 commit
- Bug fix: no need to normalize const0 node. · 1f9abfd7
  Alan Mishchenko committed 12 years ago
  
  1f9abfd7 Browse Directory
04 Sep, 2012 1 commit
- Enabled recording the name of the file GIA is coming from. · 05f51cbb
  Alan Mishchenko committed 12 years ago
  
  05f51cbb Browse Directory
25 Jul, 2012 1 commit
- Removed unused files from the project. · bb68d0b7
  Alan Mishchenko committed 12 years ago
  
  bb68d0b7 Browse Directory
10 Jul, 2012 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse Directory
08 Jul, 2012 3 commits
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
- Fixing time primtouts throughout the code. · 4760983a
  Alan Mishchenko committed 12 years ago
  
  4760983a Browse Directory
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
24 Apr, 2012 1 commit
- Disallow the circiut-based solver in &scorr to run with more than 1000 conflicts. · 92da248e
  Alan Mishchenko committed 12 years ago
  
  92da248e Browse Directory
23 Apr, 2012 1 commit
- Misc changes. · 74d0ffee
  Alan Mishchenko committed 12 years ago
  
  74d0ffee Browse Directory
10 Mar, 2012 1 commit
- Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... · c46c957a
  Alan Mishchenko committed 12 years ago
  
  c46c957a Browse Directory
19 Feb, 2012 1 commit
- Added printout of BMC tents in &ps. · ea13085f
  Alan Mishchenko committed 13 years ago
  
  ea13085f Browse Directory
17 Feb, 2012 2 commits
- Silencing some of the gcc warnings. · 2d316b86
  Alan Mishchenko committed 13 years ago
  
  2d316b86 Browse Directory
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse Directory
10 Feb, 2012 1 commit
- Bug fixes in &cec command. · 71891354
  Alan Mishchenko committed 13 years ago
  
  71891354 Browse Directory
23 Jan, 2012 2 commits
- Bug fix for incorrect memory allocation in main SAT solver, leading to crashes… · 14457af2
```
Bug fix for incorrect memory allocation in main SAT solver, leading to crashes in 'dsec' (correction to the previous fix).
```
  Alan Mishchenko committed 13 years ago
  14457af2 Browse Directory
- Bug fix for incorrect memory allocation in main SAT solver, leading to crashes in 'dsec'. · 3906e37c
  Alan Mishchenko committed 13 years ago
  
  3906e37c Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory