summaryrefslogtreecommitdiffstats
path: root/src/proof/fra
Commit message (Expand)AuthorAgeFilesLines
* Tuning SAT solver for QBF instances.Alan Mishchenko2015-09-181-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Improvements to CNF generation.Alan Mishchenko2014-06-231-0/+12
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-1/+1
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-0/+35
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2714-248/+248
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-7/+3
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-1/+0
* Compiler warnings.Alan Mishchenko2012-08-261-1/+1
* Compiler warnings.Alan Mishchenko2012-08-241-1/+1
* Added simulation of comb circuits with user-specified patterns in command 'sim'.Alan Mishchenko2012-08-245-11/+159
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-112-8/+8
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-092-7/+14
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-078-22/+22
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0714-51/+72
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-041-2/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-1/+1
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0917-157/+157
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0912-46/+46
* Disabled verbose print-out in the SAT solvers.Alan Mishchenko2012-02-261-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+1
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-2/+2
* Isomorphism checking code.Alan Mishchenko2012-02-141-18/+0
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-221-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-2120-0/+11363