summaryrefslogtreecommitdiffstats
path: root/src/proof/acec
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch to &if to consider special type of 6-input cuts.Alan Mishchenko2019-09-261-0/+56
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-055-8/+8
| | | | memcpy, etc.
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-212-2/+2
|
* Bug fix in polynomial construction.Alan Mishchenko2018-06-201-3/+3
|
* Enabling user-specified output signature in &polyn (bug fix).Alan Mishchenko2018-06-131-1/+1
|
* Enabling user-specified output signature in &polyn.Alan Mishchenko2018-06-131-7/+217
|
* Experiments with multipliers.Alan Mishchenko2017-03-281-1/+3
|
* Experiments with don't-cares.Alan Mishchenko2017-03-261-1/+1
|
* Experiments with multipliers.Alan Mishchenko2017-03-262-175/+463
|
* Experiments with don't-cares.Alan Mishchenko2017-03-222-0/+928
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-304-5/+400
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-294-143/+152
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-285-10/+422
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-193-24/+90
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-165-30/+55
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-157-23/+359
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-145-28/+157
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-146-94/+171
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-133-268/+298
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-132-2/+63
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-124-9/+452
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-116-214/+297
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-114-31/+257
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-103-4/+283
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-108-47/+71
|
* Updated to arithmetic verification.Alan Mishchenko2017-01-094-11/+421
|
* Compiler warnings.Alan Mishchenko2017-01-071-1/+1
|
* 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
|
* 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
|
* Small changes for today's experiments.Alan Mishchenko2016-06-031-2/+2
|
* 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