summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2014-11-291-1/+1
|
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
|
* Removing unauthorized printout in 'pdr'.Alan Mishchenko2014-11-091-0/+1
|
* Bug fix in seq synthesis due to resent code restructuring.Alan Mishchenko2014-10-211-4/+4
|
* Naive (SAT-only) CEC option.Alan Mishchenko2014-10-102-0/+110
|
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-4/+4
|
* Concurrency for Boolean matching.Alan Mishchenko2014-09-182-3/+11
|
* Enabling circuit solver in &fraig.Alan Mishchenko2014-08-125-11/+94
|
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-2/+2
|
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+12
|
* Experiments with cofactoring variables.Alan Mishchenko2014-06-201-6/+76
|
* Bug fix in timeout of &splitprove.Alan Mishchenko2014-06-161-1/+1
|
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-1/+1
|
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-1/+31
|
* Various modifications.Alan Mishchenko2014-06-121-6/+5
|
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+5
|
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+25
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+4
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-4/+4
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-132/+155
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+5
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-29/+250
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-4/+11
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-6/+7
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-9/+42
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-52/+59
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+1
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-46/+108
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-8/+9
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-0/+1
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-20/+160
|
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-0/+213
|
* Adding switch to handle only single faults.Alan Mishchenko2014-04-011-1/+1
|
* Compiler warnings.Alan Mishchenko2014-03-311-1/+1
|
* Undoing previous change, which was made by mistake.Alan Mishchenko2014-03-311-1/+1
|
* Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs ↵Alan Mishchenko2014-03-311-1/+1
| | | | instead of miliseconds.
* Adding new code to verify invariant derived by 'pdr'.Alan Mishchenko2014-03-302-1/+83
|
* Synchronizing with the recent version.Alan Mishchenko2014-03-161-2/+2
|
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-1/+1
|
* Handing trivially UNSAT outputs in 'pdr'.Alan Mishchenko2014-02-131-0/+10
|
* Initial new interpolation code.Alan Mishchenko2014-01-287-0/+1254
|
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-051-1/+1
|
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
|
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-012-2/+9
|
* Sweeper internal verification.Alan Mishchenko2013-11-011-0/+43
|
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-1/+1
|
* Sweeper assertion.Alan Mishchenko2013-11-011-0/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 10:46:15 +0000