summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Adding new file to the build file.Alan Mishchenko2012-07-171-0/+1
* Small bug in bmc2 timeout.Alan Mishchenko2012-07-161-1/+1
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-152-0/+5
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-158-30/+3020
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+2
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-145-8/+735
* Fixing assertion mismatch in bmc2.Alan Mishchenko2012-07-141-1/+1
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-12/+18
* Debugging a proof error.Alan Mishchenko2012-07-132-12/+7
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+2
* Debugging a proof error.Alan Mishchenko2012-07-132-50/+26
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+7
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-3/+3
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+5
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+3
* Debugging a proof error.Alan Mishchenko2012-07-131-3/+21
* Fixing compiler warning.Alan Mishchenko2012-07-131-0/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+19
* Debugging a proof error.Alan Mishchenko2012-07-131-31/+9
* Fixing a mismatch in regular/shadow page memory appending procedure.Alan Mishchenko2012-07-131-2/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+6
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+3
* Several small changes and fixes.Alan Mishchenko2012-07-137-31/+46
* Removed useless file.Alan Mishchenko2012-07-123-10/+6
* Upgraded &equiv3 to periodically restart simulation from the init state.Alan Mishchenko2012-07-121-7/+24
* Added procedure for checking satisfied clauses.Alan Mishchenko2012-07-121-0/+37
* Fixing temporary linker problem.Alan Mishchenko2012-07-121-1/+2
* Silencing warnings.Alan Mishchenko2012-07-111-1/+1
* Silencing warnings.Alan Mishchenko2012-07-112-7/+6
* Handling the trivial case when PO is driven by a constant.Alan Mishchenko2012-07-112-0/+25
* Changes to clause mapping.Alan Mishchenko2012-07-118-134/+75
* Changes to clause mapping.Alan Mishchenko2012-07-113-6/+6
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-1118-577/+644
* Fixed several problems when CEX is detected by &vta/&gla.Alan Mishchenko2012-07-112-3/+7
* Enabling refinement in &gla_refine even if CEX is invalid.Alan Mishchenko2012-07-111-2/+2
* Replacing printf() by Abc_Print().Alan Mishchenko2012-07-103-42/+42
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-102-9/+27
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-105-9/+68
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-101-10/+0
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+7
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+3
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-0959-90/+90
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 12:37:39 +0000