summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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 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
* 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, dsat...Alan Mishchenko2012-07-099-280/+727
* 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
* Adding printout to report command line executed in batch mode.Alan Mishchenko2012-07-081-0/+1
* Adding restart to rarity simulation in sim3 and &sim3.Alan Mishchenko2012-07-084-37/+99
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-074-0/+5
* Adding simple program for executing several instances of ABC in parallel.Alan Mishchenko2012-07-071-0/+194
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-07445-873/+873
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0710-12/+14
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0744-58/+79
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-07331-1091/+1277
* Changing the default value of &vta -t to reduce proof memory usage.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts in &vta and &gla.Alan Mishchenko2012-07-072-19/+22
* Adding memory report to print-outs produced by &vta and &gla.Alan Mishchenko2012-07-072-0/+3
* Bug fix in &gla_refine.Alan Mishchenko2012-07-071-0/+3
* Procedure to compute truth tables for POs of GIA.Alan Mishchenko2012-07-074-2/+199
* Diabling compact AIGER writing by default.Alan Mishchenko2012-07-071-1/+1
* Fixed &gla to work in the bridge mode.Alan Mishchenko2012-07-072-29/+76
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-0710-11/+35
* Added warning for GIA reader when input AIG has dangling nodes.Alan Mishchenko2012-07-071-10/+3
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 06:10:38 +0000