summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Collapse)AuthorAgeFilesLines
* Rare bug fix in 'dch' resulting in choice nodes having internal fanout.Alan Mishchenko2016-01-311-1/+8
|
* Compiler warning.Alan Mishchenko2016-01-141-1/+0
|
* Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ↵Alan Mishchenko2016-01-147-19/+214
| | | | a network.
* Adding names to GIA inputs/outputs. Changing polarity of invariant ↵Alan Mishchenko2015-12-221-1/+1
| | | | generated by PDR.
* Adding names to GIA inputs/outputs. Changing polarity of invariant ↵Alan Mishchenko2015-12-211-1/+1
| | | | generated by PDR.
* New command %psinv.Alan Mishchenko2015-11-233-0/+26
|
* Improvements to 'satclp'.Alan Mishchenko2015-10-281-0/+81
|
* Compiler warnings.Alan Mishchenko2015-10-211-1/+1
|
* Tuning SAT solver for QBF instances.Alan Mishchenko2015-09-181-1/+1
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-2435-15115/+0
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-242-2/+2
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+2
|
* Adding new Python API 'is_func_iso'.Alan Mishchenko2015-07-112-0/+22
|
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
|
* Several bug fixes and silencing requests.Alan Mishchenko2015-03-163-6/+10
|
* Adding silent mode to &cec -m.Alan Mishchenko2015-03-152-13/+33
|
* Adding silent mode to &splitprove.Alan Mishchenko2015-03-141-12/+19
|
* Adding silent mode to &splitprove.Alan Mishchenko2015-03-141-14/+17
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-20 15:59:26 +0000