summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Collapse)AuthorAgeFilesLines
* Creating file name from design name for PDR invariant.Alan Mishchenko2017-01-061-1/+2
|
* C++ compatibility fix.Alan Mishchenko2016-12-281-0/+2
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-223-1/+311
|
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-0/+204
|
* Compiler warnings.Alan Mishchenko2016-12-051-1/+1
|
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-044-18/+351
|
* Changes to arithmetic logic detection.Alan Mishchenko2016-12-026-59/+724
|
* Small changes in handling arithmetic logic.Alan Mishchenko2016-11-301-2/+8
|
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-2/+2
|
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-0/+420
|
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-0/+1
|
* Updates to arithmetic verification.Alan Mishchenko2016-10-092-38/+164
|
* Adding flag 'pdr -e' to output only support variables in the invariant.Alan Mishchenko2016-09-283-6/+6
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-052-2/+1
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-052-0/+320
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-032-0/+1000
|
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-35/+54
|
* Updates to arithmetic verification.Alan Mishchenko2016-08-055-9/+313
|
* The same bug fix in 'scorr -c' (signal correspondence with constraints).Alan Mishchenko2016-07-281-2/+4
|
* Serious bug fix in 'scorr -F <num>' with <num> > 1.Alan Mishchenko2016-07-281-0/+3
|
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-214-4/+21
|
* Small changes for today's experiments.Alan Mishchenko2016-06-031-2/+2
|
* Adding switch 'pdr -o' to control using property output in induction.Alan Mishchenko2016-05-253-0/+4
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-116-66/+150
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-086-114/+198
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-079-0/+2080
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 13:43:54 +0000