Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Making GIA use independent truth table number storage when computing truth ta... | Alan Mishchenko | 2012-07-19 | 3 | -6/+10 | |
|/ | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-18 | 1 | -0/+1021 | |
* | Enabling &gla for combinational miters. | Alan Mishchenko | 2012-07-18 | 3 | -22/+13 | |
* | Adding new file to the build file. | Alan Mishchenko | 2012-07-17 | 1 | -0/+1 | |
* | Small bug in bmc2 timeout. | Alan Mishchenko | 2012-07-16 | 1 | -1/+1 | |
* | Updated code for lazy man's synthesis. | Alan Mishchenko | 2012-07-15 | 2 | -0/+5 | |
* | Updated code for lazy man's synthesis. | Alan Mishchenko | 2012-07-15 | 8 | -30/+3020 | |
* | Added new refinement manager for &gla and &abs_refine. | Alan Mishchenko | 2012-07-14 | 1 | -0/+2 | |
* | Added new refinement manager for &gla and &abs_refine. | Alan Mishchenko | 2012-07-14 | 5 | -8/+735 | |
* | Fixing assertion mismatch in bmc2. | Alan Mishchenko | 2012-07-14 | 1 | -1/+1 | |
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -13/+13 | |
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -12/+18 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 2 | -12/+7 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 2 | -50/+26 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+7 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+1 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -3/+3 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+1 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -1/+1 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -1/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+5 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -1/+3 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -3/+21 | |
* | Fixing compiler warning. | Alan Mishchenko | 2012-07-13 | 1 | -0/+1 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+19 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -31/+9 | |
* | Fixing a mismatch in regular/shadow page memory appending procedure. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+6 | |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+3 | |
* | Several small changes and fixes. | Alan Mishchenko | 2012-07-13 | 7 | -31/+46 | |
* | Removed useless file. | Alan Mishchenko | 2012-07-12 | 3 | -10/+6 | |
* | Upgraded &equiv3 to periodically restart simulation from the init state. | Alan Mishchenko | 2012-07-12 | 1 | -7/+24 | |
* | Added procedure for checking satisfied clauses. | Alan Mishchenko | 2012-07-12 | 1 | -0/+37 | |
* | Fixing temporary linker problem. | Alan Mishchenko | 2012-07-12 | 1 | -1/+2 | |
* | Silencing warnings. | Alan Mishchenko | 2012-07-11 | 1 | -1/+1 | |
* | Silencing warnings. | Alan Mishchenko | 2012-07-11 | 2 | -7/+6 | |
* | Handling the trivial case when PO is driven by a constant. | Alan Mishchenko | 2012-07-11 | 2 | -0/+25 | |
* | Changes to clause mapping. | Alan Mishchenko | 2012-07-11 | 8 | -134/+75 | |
* | Changes to clause mapping. | Alan Mishchenko | 2012-07-11 | 3 | -6/+6 | |
* | Improvements in the proof-logging SAT solver. | Alan Mishchenko | 2012-07-11 | 18 | -577/+644 | |
* | Fixed several problems when CEX is detected by &vta/&gla. | Alan Mishchenko | 2012-07-11 | 2 | -3/+7 | |
* | Enabling refinement in &gla_refine even if CEX is invalid. | Alan Mishchenko | 2012-07-11 | 1 | -2/+2 | |
* | Replacing printf() by Abc_Print(). | Alan Mishchenko | 2012-07-10 | 3 | -42/+42 | |
* | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 2 | -9/+27 | |
* | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 5 | -9/+68 | |
* | Performance bug fix in the SAT solver (clearing variable activity after rollb... | Alan Mishchenko | 2012-07-10 | 1 | -10/+0 |