Commits · 1ca94c102333ebb905b4ad8186ade01cd5f073fe · lvzhengyang / abc · GitLab

14 Jul, 2012 20 commits
- Added new refinement manager for &gla and &abs_refine. · 1ca94c10
  Alan Mishchenko committed Jul 14, 2012
  
  1ca94c10 Browse Files
- Added new refinement manager for &gla and &abs_refine. · cfc7fe7d
  Alan Mishchenko committed Jul 14, 2012
  
  cfc7fe7d Browse Files
- Fixing assertion mismatch in bmc2. · 94193472
  Alan Mishchenko committed Jul 14, 2012
  
  94193472 Browse Files
- Fixing the integer print-out problem. · fd33975a
  Alan Mishchenko committed Jul 13, 2012
  
  fd33975a Browse Files
- Fixing the integer print-out problem. · 5d01ed7f
  Alan Mishchenko committed Jul 13, 2012
  
  5d01ed7f Browse Files
- Debugging a proof error. · 3c4351ae
  Alan Mishchenko committed Jul 13, 2012
  
  3c4351ae Browse Files
- Debugging a proof error. · 8c162f05
  Alan Mishchenko committed Jul 13, 2012
  
  8c162f05 Browse Files
- Debugging a proof error. · 08bb2e70
  Alan Mishchenko committed Jul 13, 2012
  
  08bb2e70 Browse Files
- Debugging a proof error. · bbf4b9a5
  Alan Mishchenko committed Jul 13, 2012
  
  bbf4b9a5 Browse Files
- Debugging a proof error. · 4ebda996
  Alan Mishchenko committed Jul 13, 2012
  
  4ebda996 Browse Files
- Debugging a proof error. · c50d108f
  Alan Mishchenko committed Jul 13, 2012
  
  c50d108f Browse Files
- Debugging a proof error. · 5ec4db2d
  Alan Mishchenko committed Jul 13, 2012
  
  5ec4db2d Browse Files
- Debugging a proof error. · 7913c1d8
  Alan Mishchenko committed Jul 13, 2012
  
  7913c1d8 Browse Files
- Debugging a proof error. · c25f488a
  Alan Mishchenko committed Jul 13, 2012
  
  c25f488a Browse Files
- Debugging a proof error. · 6578d9cd
  Alan Mishchenko committed Jul 13, 2012
  
  6578d9cd Browse Files
- Debugging a proof error. · 40515727
  Alan Mishchenko committed Jul 13, 2012
  
  40515727 Browse Files
- Debugging a proof error. · 0f82d82b
  Alan Mishchenko committed Jul 13, 2012
  
  0f82d82b Browse Files
- Debugging a proof error. · f37d0544
  Alan Mishchenko committed Jul 13, 2012
  
  f37d0544 Browse Files
- Debugging a proof error. · 47b5ad1d
  Alan Mishchenko committed Jul 13, 2012
  
  47b5ad1d Browse Files
- Debugging a proof error. · 7b367f5e
  Alan Mishchenko committed Jul 13, 2012
  
  7b367f5e Browse Files
13 Jul, 2012 11 commits
- Fixing compiler warning. · 04d1c4e4
  Alan Mishchenko committed Jul 13, 2012
  
  04d1c4e4 Browse Files
- Debugging a proof error. · 3fb103da
  Alan Mishchenko committed Jul 13, 2012
  
  3fb103da Browse Files
- Debugging a proof error. · da525b2a
  Alan Mishchenko committed Jul 13, 2012
  
  da525b2a Browse Files
- Fixing a mismatch in regular/shadow page memory appending procedure. · b7b60ebd
  Alan Mishchenko committed Jul 13, 2012
  
  b7b60ebd Browse Files
- Debugging a proof error. · be95437d
  Alan Mishchenko committed Jul 13, 2012
  
  be95437d Browse Files
- Debugging a proof error. · f54bf25d
  Alan Mishchenko committed Jul 13, 2012
  
  f54bf25d Browse Files
- Several small changes and fixes. · d3ad7fba
  Alan Mishchenko committed Jul 13, 2012
  
  d3ad7fba Browse Files
- Removed useless file. · 86a0ae0b
  Alan Mishchenko committed Jul 12, 2012
  
  86a0ae0b Browse Files
- Upgraded &equiv3 to periodically restart simulation from the init state. · 743ab55f
  Alan Mishchenko committed Jul 12, 2012
  
  743ab55f Browse Files
- Added procedure for checking satisfied clauses. · 97d2c9a2
  Alan Mishchenko committed Jul 12, 2012
  
  97d2c9a2 Browse Files
- Fixing temporary linker problem. · 17305bd5
  Alan Mishchenko committed Jul 12, 2012
  
  17305bd5 Browse Files
11 Jul, 2012 9 commits
- Silencing warnings. · 83f1f273
  Alan Mishchenko committed Jul 11, 2012
  
  83f1f273 Browse Files
- Silencing warnings. · 719396a2
  Alan Mishchenko committed Jul 11, 2012
  
  719396a2 Browse Files
- Handling the trivial case when PO is driven by a constant. · da02d5aa
  Alan Mishchenko committed Jul 11, 2012
  
  da02d5aa Browse Files
- Changes to clause mapping. · 24275632
  Alan Mishchenko committed Jul 11, 2012
  
  24275632 Browse Files
- Changes to clause mapping. · 05c8b785
  Alan Mishchenko committed Jul 11, 2012
  
  05c8b785 Browse Files
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed Jul 11, 2012
  
  b9ee5d85 Browse Files
- Fixed several problems when CEX is detected by &vta/&gla. · 5f3ba152
  Alan Mishchenko committed Jul 11, 2012
  
  5f3ba152 Browse Files
- Enabling refinement in &gla_refine even if CEX is invalid. · 8dc61f1f
  Alan Mishchenko committed Jul 11, 2012
  
  8dc61f1f Browse Files
- Replacing printf() by Abc_Print(). · 63dab645
  Alan Mishchenko committed Jul 10, 2012
  
  63dab645 Browse Files