Commits · ddd9758931ddbfd4d350e0a20efdef36fe2f4c03 · lvzhengyang / abc · GitLab

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
17 Mar, 2011 4 commits
- Fixing timeout in reachability engines. · ca5d7eef
  Alan Mishchenko committed Mar 17, 2011
  
  ca5d7eef Browse Files
- Fix parsing tab symbol in Liberty files. · 464fda3f
  Alan Mishchenko committed Mar 17, 2011
  
  464fda3f Browse Files
- Procedure to convert AIG into a netowrk of NAND gates. · 813db6e7
  Alan Mishchenko committed Mar 17, 2011
  
  813db6e7 Browse Files
- Added new procedure and other small changes. · 326e5da4
  Alan Mishchenko committed Mar 16, 2011
  
  326e5da4 Browse Files
14 Mar, 2011 1 commit
- Exploring fanout cofactoring ideas... · 290ea10c
  Alan Mishchenko committed Mar 14, 2011
  
  290ea10c Browse Files
13 Mar, 2011 1 commit
- Several bug fixes and other improvements. · 92a1c5b5
  Alan Mishchenko committed Mar 12, 2011
  
  92a1c5b5 Browse Files
12 Mar, 2011 1 commit
- Exploration of Sasao's decomposition and minor improvements. · a4aaf110
  Alan Mishchenko committed Mar 11, 2011
  
  a4aaf110 Browse Files
10 Mar, 2011 5 commits
- Bug alert message in 'fraig'. · 759c6596
  Alan Mishchenko committed Mar 10, 2011
  
  759c6596 Browse Files
- Added generation of MFFC for the network (improvements). · aa31e011
  Alan Mishchenko committed Mar 09, 2011
  
  aa31e011 Browse Files
- Fixed the bug in Gia_ManRo/Gia_ManRo. · b46749de
  Alan Mishchenko committed Mar 09, 2011
  
  b46749de Browse Files
- Changed internal includes to be in quotes rather than in <>. · 6a48812d
  Alan Mishchenko committed Mar 09, 2011
  
  6a48812d Browse Files
- Added generation of MFFC for the network. · e15362a8
  Alan Mishchenko committed Mar 09, 2011
  
  e15362a8 Browse Files
09 Mar, 2011 4 commits
- Mffc-based structural decomposition of the network and bug fixes in reordering package. · 35f90a77
  Alan Mishchenko committed Mar 08, 2011
  
  35f90a77 Browse Files
- Improvements to the interpolation command 'int'; change of default switch -t… · 24f0da14
```
Improvements to the interpolation command 'int'; change of default switch -t (forgot to add new file).
```
  Alan Mishchenko committed Mar 08, 2011
  24f0da14 Browse Files
- Improvements to the interpolation command 'int'; change of default switch -t. · 937979d9
  Alan Mishchenko committed Mar 08, 2011
  
  937979d9 Browse Files
- Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc. · eabc42a2
  Alan Mishchenko committed Mar 08, 2011
  
  eabc42a2 Browse Files