summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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-122-6/+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 ↵Alan Mishchenko2012-07-101-10/+0
| | | | rollback).
* Performance bug fix in the SAT solver (clearing variable activity after ↵Alan Mishchenko2012-07-091-0/+7
| | | | rollback).
* Performance bug fix in the SAT solver (clearing variable activity after ↵Alan Mishchenko2012-07-091-0/+3
| | | | rollback).
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-0959-90/+90
|
* Bug fix in the recent changes to the SAT solver.Alan Mishchenko2012-07-091-0/+3
|
* Removing print-out message.Alan Mishchenko2012-07-091-1/+1
|
* Removing print-out message in bridge mode.Alan Mishchenko2012-07-091-2/+4
|
* Performance bug fix in &gla.Alan Mishchenko2012-07-091-1/+3
|
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-0911-31/+89
|
* Updated Python code to reflect change in include files.Alan Mishchenko2012-07-092-3/+3
|
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵Alan Mishchenko2012-07-099-280/+727
| | | | dsat, etc).
* Added command &gla_purify.Alan Mishchenko2012-07-086-181/+322
|
* Updating truth table computation for GIA to work for internal nodes as well.Alan Mishchenko2012-07-082-16/+20
|
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-085-10/+11
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 08:47:13 +0000