Commits · 631b50aa591f47a48cc91813a975effddd3a1f76 · lvzhengyang / abc · GitLab

27 Apr, 2011 1 commit
- Commented out debug messages. · 631b50aa
  Alan Mishchenko committed Apr 26, 2011
  
  631b50aa Browse Files
25 Apr, 2011 1 commit
- Made testcex reset the number of the PO that failed. · 970200b9
  Alan Mishchenko committed Apr 25, 2011
  
  970200b9 Browse Files
24 Apr, 2011 2 commits
- Added support for AIG returned in the output file. · 3eae30a3
  Alan Mishchenko committed Apr 24, 2011
  
  3eae30a3 Browse Files
- Added switch to control duplication of logic after mapping. · affb43e2
  Alan Mishchenko committed Apr 24, 2011
  
  affb43e2 Browse Files
21 Apr, 2011 1 commit
- Bug fixes having to do with the use of chars. · 2becb24a
  Alan Mishchenko committed Apr 20, 2011
  
  2becb24a Browse Files
20 Apr, 2011 4 commits
- Fixing c++ portability issues. · e2842bea
  Alan Mishchenko committed Apr 20, 2011
  
  e2842bea Browse Files
- Fixing c++ portability issues. · 8cd00e04
  Alan Mishchenko committed Apr 20, 2011
  
  8cd00e04 Browse Files
- Fixing c++ portability issues. · d5555c51
  Alan Mishchenko committed Apr 20, 2011
  
  d5555c51 Browse Files
- Fixing compilation problem which resulting from defining 'int c' as 'char c'. · d8647f0b
  Alan Mishchenko committed Apr 19, 2011
  
  d8647f0b Browse Files
19 Apr, 2011 4 commits
- Backward compatibility of GIA manager. · 7d9b3556
  Alan Mishchenko committed Apr 18, 2011
  
  7d9b3556 Browse Files
- Adding constant correspondence. · 05b61206
  Alan Mishchenko committed Apr 18, 2011
  
  05b61206 Browse Files
- Improvements to BDD reachability. · 39ad4463
  Alan Mishchenko committed Apr 18, 2011
  
  39ad4463 Browse Files
- Improvements to BDD reachability. · 74a79e5d
  Alan Mishchenko committed Apr 18, 2011
  
  74a79e5d Browse Files
18 Apr, 2011 2 commits
- Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers (bug fix). · 5767830b
  Alan Mishchenko committed Apr 17, 2011
  
  5767830b Browse Files
- Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers. · 7bcd5ac9
  Alan Mishchenko committed Apr 17, 2011
  
  7bcd5ac9 Browse Files
17 Apr, 2011 1 commit
- Added command 'reconcile'. · 0aefe77e
  Alan Mishchenko committed Apr 16, 2011
  
  0aefe77e Browse Files
16 Apr, 2011 2 commits
- Added cex generation for clustered reachability (forgot one file). · ddd97589
  Alan Mishchenko committed Apr 16, 2011
  
  ddd97589 Browse Files
- Added cex generation for clustered reachability. · dd71ca94
  Alan Mishchenko committed Apr 16, 2011
  
  dd71ca94 Browse Files
15 Apr, 2011 3 commits
- Improving timeout in the interpolation package. · 813245b2
  Alan Mishchenko committed Apr 15, 2011
  
  813245b2 Browse Files
- Forgot to update project file. · 3dfdbe14
  Alan Mishchenko committed Apr 15, 2011
  
  3dfdbe14 Browse Files
- Further improvements to reachability. · 46350274
  Alan Mishchenko committed Apr 15, 2011
  
  46350274 Browse Files
14 Apr, 2011 3 commits
- Experiments with reachability. · 75e60ab2
  Alan Mishchenko committed Apr 14, 2011
  
  75e60ab2 Browse Files
- Minor improvements to reachability. · c0c9fc84
  Alan Mishchenko committed Apr 13, 2011
  
  c0c9fc84 Browse Files
- Enabled new BDD-based reachability engine 'reachy'. · 6e74c46b
  Alan Mishchenko committed Apr 13, 2011
  
  6e74c46b Browse Files
13 Apr, 2011 2 commits
- Added print-out of area in terms of LUT library. · 8b22fd28
  Alan Mishchenko committed Apr 13, 2011
  
  8b22fd28 Browse Files
- Commented out one useless assertion in scorr. · c82a418b
  Alan Mishchenko committed Apr 12, 2011
  
  c82a418b Browse Files
10 Apr, 2011 1 commit
- Added procedure to vector package and manager template file. · 302f41e9
  Alan Mishchenko committed Apr 10, 2011
  
  302f41e9 Browse Files
09 Apr, 2011 1 commit
- Experiment with bit-packing. · 93fef036
  Alan Mishchenko committed Apr 08, 2011
  
  93fef036 Browse Files
08 Apr, 2011 2 commits
- Adding SAT-solver-level timeouts to the BMC engines. · 5222f382
  Alan Mishchenko committed Apr 08, 2011
  
  5222f382 Browse Files
- Fixing a problem with costraint scorr for K > 1. · 234fb8c7
  Alan Mishchenko committed Apr 08, 2011
  
  234fb8c7 Browse Files
07 Apr, 2011 1 commit
- Unsuccessful attempt to improve PDR and a few minor changes. · a28fe0d3
  Alan Mishchenko committed Apr 07, 2011
  
  a28fe0d3 Browse Files
31 Mar, 2011 1 commit
- Made gate library package Mio independent of CUDD. · 1794bd37
  Alan Mishchenko committed Mar 30, 2011
  
  1794bd37 Browse Files
30 Mar, 2011 1 commit
- Added test package (new files). · 02f7ede7
  Alan Mishchenko committed Mar 29, 2011
  
  02f7ede7 Browse Files
29 Mar, 2011 1 commit
- Added test package. · 2b336851
  Alan Mishchenko committed Mar 29, 2011
  
  2b336851 Browse Files
27 Mar, 2011 5 commits
- Fixed a number of small bugs and memory leaks. · 6c01e8b9
  Alan Mishchenko committed Mar 27, 2011
  
  6c01e8b9 Browse Files
- C++ compilation fixes. · 1ec437d0
  Alan Mishchenko committed Mar 27, 2011
  
  1ec437d0 Browse Files
- Improvements in Vec_Vec_t. · 4dcf8cee
  Alan Mishchenko committed Mar 27, 2011
  
  4dcf8cee Browse Files
- Added Max/Min/Abs as static inline functions. · d97e5d68
  Alan Mishchenko committed Mar 27, 2011
  
  d97e5d68 Browse Files
- Fixed memory leak. · 2fe534b0
  Alan Mishchenko committed Mar 27, 2011
  
  2fe534b0 Browse Files
19 Mar, 2011 1 commit
- Added printing MFFC sizes and deriving TT from SOP. · 3a6f8688
  Alan Mishchenko committed Mar 18, 2011
  
  3a6f8688 Browse Files