summaryrefslogtreecommitdiffstats
path: root/src/proof/fra
Commit message (Collapse)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 ↵Alan Mishchenko2012-03-0912-46/+46
| | | | ...Ci/Co.
* 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 ↵Alan Mishchenko2012-01-221-1/+1
| | | | crashes in 'dsec'.
* Major restructuring of the code.Alan Mishchenko2012-01-2120-0/+11363