summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Expand)AuthorAgeFilesLines
...
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-094-5/+14
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-9/+14
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-098-26/+45
* Corner-case bug fix in &rpm.Alan Mishchenko2012-12-091-0/+5
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-096-129/+165
* Making 'scorr -c' applicable to seq benchmarks without constraints.Alan Mishchenko2012-12-041-4/+4
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-145-0/+5
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-122-6/+6
* Enabling verbose report of dumping abstraction in GLA.Alan Mishchenko2012-11-071-4/+4
* Improvements to LMS code.Alan Mishchenko2012-11-061-1/+1
* MergeNiklas Een2012-10-307-3/+38
|\
| * Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...Alan Mishchenko2012-10-254-0/+33
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-1/+1
| * Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-242-2/+4
* | Replaced printfs with Abc_PrintNiklas Een2012-10-2919-450/+464
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-36/+35
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-46/+45
|/
* Making report about the number of correcty covered frames consistent across t...Alan Mishchenko2012-10-092-2/+3
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-2/+2
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-1/+2
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-6/+6
* Updating readme.Alan Mishchenko2012-10-061-1/+2
* C++ portability changes.Alan Mishchenko2012-10-033-3/+3
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-4/+4
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-025-16/+16
* Structural reparametrization.Alan Mishchenko2012-10-021-77/+231
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-023-0/+206
* Structural reparametrization.Alan Mishchenko2012-10-021-125/+120
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-70/+32
* Structural reparametrization.Alan Mishchenko2012-10-011-28/+312
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-1/+1
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-013-1232/+216
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:04:09 +0000