summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Expand)AuthorAgeFilesLines
...
* Structural reparametrization.Alan Mishchenko2012-09-302-0/+394
* Correcting comment related to pthreads.Alan Mishchenko2012-09-241-1/+1
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-0/+6
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-1/+0
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-214/+179
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-203-12/+16
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-1/+15
* Bug fix: no need to normalize const0 node.Alan Mishchenko2012-09-171-2/+2
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-171-1/+1
* Improving printouts in &gla.Alan Mishchenko2012-09-161-17/+8
* Improving printouts in &gla.Alan Mishchenko2012-09-163-11/+15
* Changed a few things in the refinement package of &gla.Alan Mishchenko2012-09-163-23/+117
* Restructured the code to post-process object used during refinement in &gla.Alan Mishchenko2012-09-1610-311/+343
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-163-65/+59
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-1519-0/+12080
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-143-2/+6
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-142-26/+48
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-096-11/+11
* Added switch 'dch -r' to skip choices with structural support redundancy.Alan Mishchenko2012-09-071-1/+1
* Added platform-independent random-number generator to 'fraig'.Alan Mishchenko2012-09-052-2/+7
* Added switch 'dch -r' to skip choices with structural support redundancy.Alan Mishchenko2012-09-054-8/+64
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-1/+1
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-043-0/+5
* 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
* Fixing interpolation to run without resource limits by default.Alan Mishchenko2012-07-251-1/+1
* Removed unused files from the project.Alan Mishchenko2012-07-254-5/+2
* Fixing compiler warning.Alan Mishchenko2012-07-131-0/+1
* Upgraded &equiv3 to periodically restart simulation from the init state.Alan Mishchenko2012-07-121-7/+24
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-112-8/+8
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-095-6/+6
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-093-9/+16
* Adding restart to rarity simulation in sim3 and &sim3.Alan Mishchenko2012-07-082-18/+39
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-072-0/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0740-86/+86
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-073-6/+9
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0782-311/+409
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-072-3/+6
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-072-2/+2
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-076-22/+21
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-072-13/+13
* Setting infinite default conflict limits in 'bmc', 'int', 'pdr'.Alan Mishchenko2012-07-062-4/+4
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-042-3/+3
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+3
* Disallow the circiut-based solver in &scorr to run with more than 1000 confli...Alan Mishchenko2012-04-241-0/+3
* Misc changes.Alan Mishchenko2012-04-221-3/+3
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-0914-33/+33
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0972-409/+409
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 10:19:04 +0000