summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecCec.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &cec -w to print SAT solver stats.Alan Mishchenko2020-09-061-0/+1
* Making &cec use precomputed simulation info.Alan Mishchenko2020-08-121-0/+5
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ...Alan Mishchenko2017-02-101-2/+1
* Fix mismatch in output formatting.Alan Mishchenko2017-01-211-3/+3
* Adding new Python API 'is_func_iso'.Alan Mishchenko2015-07-111-0/+21
* Several bug fixes and silencing requests.Alan Mishchenko2015-03-161-2/+5
* Adding silent mode to &cec -m.Alan Mishchenko2015-03-151-13/+32
* Naive (SAT-only) CEC option.Alan Mishchenko2014-10-101-0/+109
* Various modifications.Alan Mishchenko2014-06-121-6/+5
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-1/+1
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-3/+3
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-14/+14
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-1/+1
* Unifification of custom extensions.Alan Mishchenko2012-12-101-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-5/+8
* Misc changes.Alan Mishchenko2012-04-221-3/+3
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-1/+1
* Bug fixes in &cec command.Alan Mishchenko2012-02-101-29/+83
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+373