Commits · e3f9c4c1828ff74bfb4deb55eafed5b865ed351e · lvzhengyang / abc · GitLab

04 May, 2013 11 commits
- Temporarily disabling one change to Makefile. · e3f9c4c1
  Alan Mishchenko committed May 04, 2013
  
  e3f9c4c1 Browse Files
- Adding link to the tutorial. · 7dba9af6
  Alan Mishchenko committed May 04, 2013
  
  7dba9af6 Browse Files
- Reducing page width in 'readme.md'. · c82da43e
  Alan Mishchenko committed May 04, 2013
  
  c82da43e Browse Files
- Making changes suggested by Mark Jarvin. · 6ecf7c60
  Alan Mishchenko committed May 04, 2013
  
  6ecf7c60 Browse Files
- Making changes suggested by Mark Jarvin. · 36d5ef4e
  Alan Mishchenko committed May 04, 2013
  
  36d5ef4e Browse Files
- Changes to the ABC data-structures to allow for larger designs. · 95571be5
  Alan Mishchenko committed May 04, 2013
  
  95571be5 Browse Files
- Fix to return equiv classes after improving &iso. · 14f76195
  Alan Mishchenko committed May 03, 2013
  
  14f76195 Browse Files
- Allowing 'constr' to reset remove currently defined constraints. · 50df0813
  Alan Mishchenko committed May 03, 2013
  
  50df0813 Browse Files
- Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). · 50095be5
  Alan Mishchenko committed May 03, 2013
  
  50095be5 Browse Files
- Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>). · a59968ce
  Alan Mishchenko committed May 03, 2013
  
  a59968ce Browse Files
- Reading/writing MiniAIG and several minor changes. · 0ca8a245
  Alan Mishchenko committed May 03, 2013
  
  0ca8a245 Browse Files
03 May, 2013 2 commits
- Compiler warnings. · fcd37740
  Alan Mishchenko committed May 03, 2013
  
  fcd37740 Browse Files
- Reading/writing MiniAIG and several minor changes. · 6a49d1f4
  Alan Mishchenko committed May 03, 2013
  
  6a49d1f4 Browse Files
02 May, 2013 1 commit
- Commenting out a warning. · e782bbb8
  Alan Mishchenko committed May 02, 2013
  
  e782bbb8 Browse Files
01 May, 2013 4 commits
- Minor changes and improvement in PO partitioning (command &popart). · bc504219
  Alan Mishchenko committed May 01, 2013
  
  bc504219 Browse Files
- Adding the link to Ana's ABC tutorial. · 1039c8b4
  Alan Mishchenko committed May 01, 2013
  
  1039c8b4 Browse Files
- Compiler warnings. · 1f573cfe
  Alan Mishchenko committed May 01, 2013
  
  1f573cfe Browse Files
- Faster isomorphism detection (command &iso). · b94766bc
  Alan Mishchenko committed May 01, 2013
  
  b94766bc Browse Files
30 Apr, 2013 1 commit
- Changing the print-out of &iso. · c53eb0b9
  Alan Mishchenko committed Apr 30, 2013
  
  c53eb0b9 Browse Files
29 Apr, 2013 1 commit
- SAT sweeping under constraints. · 3b1ebbaa
  Alan Mishchenko committed Apr 28, 2013
  
  3b1ebbaa Browse Files
28 Apr, 2013 10 commits
- Added option 'int -I <filename>' to specify file names to dump invariants. · 9e176521
  Alan Mishchenko committed Apr 28, 2013
  
  9e176521 Browse Files
- Improving local BDD construction from local SOPs and local AIGs. · 266667d8
  Alan Mishchenko committed Apr 28, 2013
  
  266667d8 Browse Files
- Modified command 'eliminate' to perform traditional 'eliminate -1'. · 58e1041a
  Alan Mishchenko committed Apr 28, 2013
  
  58e1041a Browse Files
- Added alias for 'eliminate'. · a33821ab
  Alan Mishchenko committed Apr 28, 2013
  
  a33821ab Browse Files
- Compiler warnings. · 2044caa9
  Alan Mishchenko committed Apr 28, 2013
  
  2044caa9 Browse Files
- Modified command 'eliminate' to perform traditional 'eliminate -1'. · 48d867f7
  Alan Mishchenko committed Apr 28, 2013
  
  48d867f7 Browse Files
- Improving local BDD construction from local SOPs and local AIGs. · 8db0b9c0
  Alan Mishchenko committed Apr 28, 2013
  
  8db0b9c0 Browse Files
- SAT sweeping under constraints. · b09926e8
  Alan Mishchenko committed Apr 28, 2013
  
  b09926e8 Browse Files
- SAT sweeping under constraints. · 17a0d944
  Alan Mishchenko committed Apr 27, 2013
  
  17a0d944 Browse Files
- SAT sweeping under constraints. · 613e8b2a
  Alan Mishchenko committed Apr 27, 2013
  
  613e8b2a Browse Files
27 Apr, 2013 1 commit
- New fast extract. · 324d73c2
  Alan Mishchenko committed Apr 27, 2013
  
  324d73c2 Browse Files
25 Apr, 2013 4 commits
- Adding rollback for the other solver. · ae9a4407
  Alan Mishchenko committed Apr 25, 2013
  
  ae9a4407 Browse Files
- Compiler warnings. · ecf75a07
  Alan Mishchenko committed Apr 25, 2013
  
  ecf75a07 Browse Files
- Compiler warnings. · fb6c9e85
  Alan Mishchenko committed Apr 25, 2013
  
  fb6c9e85 Browse Files
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed Apr 25, 2013
  
  486eacc5 Browse Files
22 Apr, 2013 1 commit
- Adding command &filter_equiv to filter candidate equivalence classes using… · 005f0e39
```
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
```
  Alan Mishchenko committed Apr 22, 2013
  005f0e39 Browse Files
20 Apr, 2013 1 commit
- Fixing the way packing information is written. · 85ea8e95
  Alan Mishchenko committed Apr 19, 2013
  
  85ea8e95 Browse Files
19 Apr, 2013 3 commits
- Typo in the comments. · 30cfee7d
  Alan Mishchenko committed Apr 19, 2013
  
  30cfee7d Browse Files
- Typo in the comments. · ca4145c7
  Alan Mishchenko committed Apr 19, 2013
  
  ca4145c7 Browse Files
- Adding print-out of SOP literals with 'ps -f'. · e0462d8d
  Alan Mishchenko committed Apr 19, 2013
  
  e0462d8d Browse Files