Commits · 84b3b9144754b738b163cee4d4c99e7b7206ddd1 · lvzhengyang / abc · GitLab

18 May, 2013 2 commits
- Adding support of XOR/MUX in GIA. · 92dcffcf
  Alan Mishchenko committed 11 years ago
  
  92dcffcf Browse Directory
- Adding support of XOR/MUX in GIA. · 2afef15a
  Alan Mishchenko committed 11 years ago
  
  2afef15a Browse Directory
17 May, 2013 2 commits
- Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins. · e04ded56
  Alan Mishchenko committed 11 years ago
  
  e04ded56 Browse Directory
- Adding new command &mprove for proving groups of properties. · 760c1f60
  Alan Mishchenko committed 11 years ago
  
  760c1f60 Browse Directory
14 May, 2013 1 commit
- Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin. · 533ff698
  Alan Mishchenko committed 11 years ago
  
  533ff698 Browse Directory
08 May, 2013 4 commits
- Bug fix in the sweeper. · 68566713
  Alan Mishchenko committed 11 years ago
  
  68566713 Browse Directory
- Bug fix in the sweeper. · e7e21b00
  Alan Mishchenko committed 11 years ago
  
  e7e21b00 Browse Directory
- Bug fix in 'blockpo'. · ccf3cadd
  Alan Mishchenko committed 11 years ago
  
  ccf3cadd Browse Directory
- SAT sweeping under constraints (bug fix). · a735d95a
  Alan Mishchenko committed 11 years ago
  
  a735d95a Browse Directory
06 May, 2013 1 commit
- SAT sweeping under constraints. · f321b27b
  Alan Mishchenko committed 11 years ago
  
  f321b27b Browse Directory
05 May, 2013 4 commits
- C++ compiler errors. · 7f700af6
  Alan Mishchenko committed 11 years ago
  
  7f700af6 Browse Directory
- C++ compiler errors. · cd4043ba
  Alan Mishchenko committed 11 years ago
  
  cd4043ba Browse Directory
- C++ compiler errors. · 79f782c0
  Alan Mishchenko committed 11 years ago
  
  79f782c0 Browse Directory
- C++ compiler errors. · a1137094
  Alan Mishchenko committed 11 years ago
  
  a1137094 Browse Directory
04 May, 2013 2 commits
- Fix to return equiv classes after improving &iso. · 14f76195
  Alan Mishchenko committed 11 years ago
  
  14f76195 Browse Directory
- Reading/writing MiniAIG and several minor changes. · 0ca8a245
  Alan Mishchenko committed 11 years ago
  
  0ca8a245 Browse Directory
03 May, 2013 1 commit
- Reading/writing MiniAIG and several minor changes. · 6a49d1f4
  Alan Mishchenko committed 11 years ago
  
  6a49d1f4 Browse Directory
02 May, 2013 1 commit
- Commenting out a warning. · e782bbb8
  Alan Mishchenko committed 11 years ago
  
  e782bbb8 Browse Directory
01 May, 2013 3 commits
- Minor changes and improvement in PO partitioning (command &popart). · bc504219
  Alan Mishchenko committed 11 years ago
  
  bc504219 Browse Directory
- Compiler warnings. · 1f573cfe
  Alan Mishchenko committed 11 years ago
  
  1f573cfe Browse Directory
- Faster isomorphism detection (command &iso). · b94766bc
  Alan Mishchenko committed 11 years ago
  
  b94766bc Browse Directory
30 Apr, 2013 1 commit
- Changing the print-out of &iso. · c53eb0b9
  Alan Mishchenko committed 11 years ago
  
  c53eb0b9 Browse Directory
29 Apr, 2013 1 commit
- SAT sweeping under constraints. · 3b1ebbaa
  Alan Mishchenko committed 11 years ago
  
  3b1ebbaa Browse Directory
28 Apr, 2013 3 commits
- Modified command 'eliminate' to perform traditional 'eliminate -1'. · 48d867f7
  Alan Mishchenko committed 11 years ago
  
  48d867f7 Browse Directory
- SAT sweeping under constraints. · b09926e8
  Alan Mishchenko committed 11 years ago
  
  b09926e8 Browse Directory
- SAT sweeping under constraints. · 613e8b2a
  Alan Mishchenko committed 11 years ago
  
  613e8b2a Browse Directory
25 Apr, 2013 1 commit
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed 11 years ago
  
  486eacc5 Browse Directory
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 11 years ago
  005f0e39 Browse Directory
20 Apr, 2013 1 commit
- Fixing the way packing information is written. · 85ea8e95
  Alan Mishchenko committed 11 years ago
  
  85ea8e95 Browse Directory
18 Apr, 2013 3 commits
- Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for… · 96b784ec
```
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
```
  Alan Mishchenko committed 11 years ago
  96b784ec Browse Directory
- Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for… · 61ecc9c6
```
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
```
  Alan Mishchenko committed 11 years ago
  61ecc9c6 Browse Directory
- Adding command &filter_equiv to filter candidate equivalence classes using… · 06ba3d3e
```
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 11 years ago
  06ba3d3e Browse Directory
11 Apr, 2013 1 commit
- Bug fix in 'blockpo'. · 3b1c632b
  Alan Mishchenko committed 11 years ago
  
  3b1c632b Browse Directory
03 Apr, 2013 1 commit
- Fixing the format mismatch in writing mapped GIA. · 23229e03
  Alan Mishchenko committed 11 years ago
  
  23229e03 Browse Directory
02 Apr, 2013 3 commits
- Small changes to LMS code. · b902b007
  Alan Mishchenko committed 11 years ago
  
  b902b007 Browse Directory
- Shrink for 6-LUTs. · f99e5cd9
  Alan Mishchenko committed 11 years ago
  
  f99e5cd9 Browse Directory
- Shrink for 6-LUTs. · 28f12c5f
  Alan Mishchenko committed 11 years ago
  
  28f12c5f Browse Directory
01 Apr, 2013 1 commit
- Shrink for 6-LUTs. · 2650f945
  Alan Mishchenko committed 11 years ago
  
  2650f945 Browse Directory
31 Mar, 2013 1 commit
- Bug fix in the printout of &popart. · 900bdfac
  Alan Mishchenko committed 11 years ago
  
  900bdfac Browse Directory
30 Mar, 2013 1 commit
- Bug fix in the printout of &popart. · 4cb042f8
  Alan Mishchenko committed 11 years ago
  
  4cb042f8 Browse Directory