summaryrefslogtreecommitdiffstats
path: root/src/proof/fra
Commit message (Expand)AuthorAgeFilesLines
* 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