Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | 2 | -6/+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 ↵ | Alan Mishchenko | 2012-07-10 | 1 | -10/+0 | |
| | | | | rollback). | |||||
* | Performance bug fix in the SAT solver (clearing variable activity after ↵ | Alan Mishchenko | 2012-07-09 | 1 | -0/+7 | |
| | | | | rollback). | |||||
* | Performance bug fix in the SAT solver (clearing variable activity after ↵ | Alan Mishchenko | 2012-07-09 | 1 | -0/+3 | |
| | | | | rollback). | |||||
* | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 59 | -90/+90 | |
| | ||||||
* | Bug fix in the recent changes to the SAT solver. | Alan Mishchenko | 2012-07-09 | 1 | -0/+3 | |
| | ||||||
* | Removing print-out message. | Alan Mishchenko | 2012-07-09 | 1 | -1/+1 | |
| | ||||||
* | Removing print-out message in bridge mode. | Alan Mishchenko | 2012-07-09 | 1 | -2/+4 | |
| | ||||||
* | Performance bug fix in &gla. | Alan Mishchenko | 2012-07-09 | 1 | -1/+3 | |
| | ||||||
* | Adding several command-line arguments to 'dsat'. | Alan Mishchenko | 2012-07-09 | 11 | -31/+89 | |
| | ||||||
* | Updated Python code to reflect change in include files. | Alan Mishchenko | 2012-07-09 | 2 | -3/+3 | |
| | ||||||
* | Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵ | Alan Mishchenko | 2012-07-09 | 9 | -280/+727 | |
| | | | | dsat, etc). |