Commits · 2a7a06b653f1165b2bdf48bb1de2779ae4cc0172 · lvzhengyang / abc · GitLab

25 Aug, 2012 4 commits
- Added recording history of used commands into file 'abc.history' (Windows only). · 2a7a06b6
  Alan Mishchenko committed Aug 25, 2012
  
  2a7a06b6 Browse Files
- Several improvements to command 'testnpn'. · 49c57999
  Alan Mishchenko committed Aug 25, 2012
  
  49c57999 Browse Files
- Compiler warnings. · f85db9dd
  Alan Mishchenko committed Aug 24, 2012
  
  f85db9dd Browse Files
- New package to read/write a subset of Liberty for STA. · 13bd7b33
  Alan Mishchenko committed Aug 24, 2012
  
  13bd7b33 Browse Files
24 Aug, 2012 5 commits
- Added recording history of used commands into file 'abc.history' (Windows only). · 22d21a5c
  Alan Mishchenko committed Aug 24, 2012
  
  22d21a5c Browse Files
- Added recording history of used commands into file 'abc.history' (Windows only). · 7e2b0077
  Alan Mishchenko committed Aug 24, 2012
  
  7e2b0077 Browse Files
- Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim'… · 4a9152d0
```
Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).
```
  Alan Mishchenko committed Aug 24, 2012
  4a9152d0 Browse Files
- Added simulation of comb circuits with user-specified patterns in command 'sim'. · 94260041
  Alan Mishchenko committed Aug 24, 2012
  
  94260041 Browse Files
- Added new algorithm for NPN semi-canonical form computation. · 12c776ed
  Alan Mishchenko committed Aug 23, 2012
  
  12c776ed Browse Files
12 Aug, 2012 1 commit
- Compiler warnings. · 261bd7f8
  Alan Mishchenko committed Aug 11, 2012
  
  261bd7f8 Browse Files
11 Aug, 2012 2 commits
- Fixing undesirable effect of recent refinement code on older code in &gla -n. · 5da7102f
  Alan Mishchenko committed Aug 11, 2012
  
  5da7102f Browse Files
- Enabling -S <num> for &gla to not check the first <num> frames. · 528c8e0b
  Alan Mishchenko committed Aug 10, 2012
  
  528c8e0b Browse Files
10 Aug, 2012 10 commits
- Fixing problem with max limit on the number of abstracted objects in &gla. · d22b3d05
  Alan Mishchenko committed Aug 10, 2012
  
  d22b3d05 Browse Files
- Added purification of UNSAT core in &gla. · 65b652fa
  Alan Mishchenko committed Aug 10, 2012
  
  65b652fa Browse Files
- Improved abstraction refinement. · 409ce39b
  Alan Mishchenko committed Aug 09, 2012
  
  409ce39b Browse Files
- Improved abstraction refinement. · a019dd21
  Alan Mishchenko committed Aug 09, 2012
  
  a019dd21 Browse Files
- Compiler warnings. · cfc82efb
  Alan Mishchenko committed Aug 09, 2012
  
  cfc82efb Browse Files
- Compiler warnings. · 518410af
  Alan Mishchenko committed Aug 09, 2012
  
  518410af Browse Files
- Compiler warnings. · 20518f59
  Alan Mishchenko committed Aug 09, 2012
  
  20518f59 Browse Files
- Compiler warnings. · 1451614c
  Alan Mishchenko committed Aug 09, 2012
  
  1451614c Browse Files
- Compiler warnings. · 8ad4a10f
  Alan Mishchenko committed Aug 09, 2012
  
  8ad4a10f Browse Files
- Improved abstraction refinement. · 5b80d704
  Alan Mishchenko committed Aug 09, 2012
  
  5b80d704 Browse Files
09 Aug, 2012 1 commit
- New semi-canonical form computation package. · d01c0807
  Alan Mishchenko committed Aug 08, 2012
  
  d01c0807 Browse Files
08 Aug, 2012 9 commits
- New cut-based refinement. · bf35ed1b
  Alan Mishchenko committed Aug 08, 2012
  
  bf35ed1b Browse Files
- Added generation of values of internal nodes for GIA manager. · ca75e118
  Alan Mishchenko committed Aug 08, 2012
  
  ca75e118 Browse Files
- Added generation of values of internal nodes for GIA manager. · a8e59b2c
  Alan Mishchenko committed Aug 08, 2012
  
  a8e59b2c Browse Files
- Fixing an interger overflow problem in constructing the variable interaction matrix. · 8daf610e
  Alan Mishchenko committed Aug 08, 2012
  
  8daf610e Browse Files
- New command 'testnpn' to compare semi-canonical forms. · 1b36058a
  Alan Mishchenko committed Aug 08, 2012
  
  1b36058a Browse Files
- New command 'testnpn' to compare semi-canonical forms. · 41fa9a10
  Alan Mishchenko committed Aug 08, 2012
  
  41fa9a10 Browse Files
- New command 'testnpn' to compare semi-canonical forms. · 094bdc05
  Alan Mishchenko committed Aug 08, 2012
  
  094bdc05 Browse Files
- New semi-canonical form computation package. · c4b4ac70
  Alan Mishchenko committed Aug 07, 2012
  
  c4b4ac70 Browse Files
- New semi-canonical form computation package. · 99444597
  Alan Mishchenko committed Aug 07, 2012
  
  99444597 Browse Files
07 Aug, 2012 8 commits
- Scalable gate-level abstraction. · f9b032ee
  Alan Mishchenko committed Aug 07, 2012
  
  f9b032ee Browse Files
- Scalable gate-level abstraction. · c35471da
  Alan Mishchenko committed Aug 07, 2012
  
  c35471da Browse Files
- Scalable gate-level abstraction. · 173303b4
  Alan Mishchenko committed Aug 06, 2012
  
  173303b4 Browse Files
- Scalable gate-level abstraction. · 8e31b4c0
  Alan Mishchenko committed Aug 06, 2012
  
  8e31b4c0 Browse Files
- New cut-based refinement. · b3dd1f82
  Alan Mishchenko committed Aug 06, 2012
  
  b3dd1f82 Browse Files
- Scalable gate-level abstraction. · ca9803fc
  Alan Mishchenko committed Aug 06, 2012
  
  ca9803fc Browse Files
- Changing the default value '&gla -n' to the opposite. · 94949287
  Alan Mishchenko committed Aug 06, 2012
  
  94949287 Browse Files
- New semi-canonical form computation package. · 4c36d251
  Alan Mishchenko committed Aug 06, 2012
  
  4c36d251 Browse Files