summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-1534-3490/+2193
|
* Corrected &gla -a to work as expected.Alan Mishchenko2012-09-151-33/+52
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-143-3/+7
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-1411-139/+145
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-145-46/+166
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-146-57/+205
|
* Added new command 'upsize'.Alan Mishchenko2012-09-127-44/+241
|
* Reversed to a buggy version of reduceDB in complete proof-logging, because ↵Alan Mishchenko2012-09-121-2/+2
| | | | it works with rollback and it is not used in &gla -pn -L 0.
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
|
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
|
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
|
* Added code to collect experimental results.Alan Mishchenko2012-09-112-4/+4
|
* Improved topo print-out.Alan Mishchenko2012-09-111-0/+2
|
* Scalable gate-level abstraction.Alan Mishchenko2012-09-111-9/+30
|
* Added -C to command line for running commands, then staying in interactive modeNiklas Een2012-09-111-28/+39
|
* Fixing Verilog writer's way of writing module names.Alan Mishchenko2012-09-111-1/+1
|
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
|
* Added code to collect experimental results.Alan Mishchenko2012-09-115-16/+71
|
* Commenting out some assertions in the 'map' mapper.Alan Mishchenko2012-09-101-4/+4
|
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-0914-29/+28
|
* Disable printing refinement statistics by default.Alan Mishchenko2012-09-092-2/+2
|
* Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation ↵Alan Mishchenko2012-09-093-4/+11
| | | | (for experiments).
* Started CEX minimization procedure.Alan Mishchenko2012-09-082-26/+306
|
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-081-1/+1
|
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-082-9/+15
|
* Started CEX minimization procedure.Alan Mishchenko2012-09-082-0/+179
|
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-081-6/+6
|
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-081-2/+2
|
* Updating &gla_refine to perform suffic refinement.Alan Mishchenko2012-09-072-14/+82
|
* Updating &gla_refine to perform suffic refinement.Alan Mishchenko2012-09-074-214/+420
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-19/+5
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-53/+32
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-071-17/+49
|
* Added switch 'dch -r' to skip choices with structural support redundancy.Alan Mishchenko2012-09-071-1/+1
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-12/+0
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+12
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-12/+5
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-21/+8
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-2/+7
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+5
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+4
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+5
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-1/+4
|
* Debugging 64-bit bug in new semi-canonical form..Alan Mishchenko2012-09-061-0/+1
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-062-6/+2
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-067-188/+188
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-062-21/+23
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-0616-56/+1200
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-21 15:21:32 +0000