summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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-055-10/+70
|
* Added error message when the user is trying 'dsat' for multi-output comb miters.Alan Mishchenko2012-09-052-3/+3
|
* Added new command &gla_shrink.Alan Mishchenko2012-09-051-1/+1
|
* Added new command &gla_shrink.Alan Mishchenko2012-09-0410-29/+278
|
* Enabling additinal printouts.Alan Mishchenko2012-09-041-0/+64
|
* Better batch mode printout.Alan Mishchenko2012-09-041-1/+1
|
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-041-2/+4
|
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-041-5/+5
|
* Make switches -d (-m) by default dump abstracted model (miter with ↵Alan Mishchenko2012-09-041-8/+21
| | | | abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-0425-1/+73
|
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-043-26/+28
|
* Improving print-outs in 'stime' and 'gsize'.Alan Mishchenko2012-09-047-95/+206
|
* Uniqifying status file name in &gla.Alan Mishchenko2012-09-033-3/+9
|
* Several minor changes.Alan Mishchenko2012-09-033-2/+43
|
* Added switch &srm -A <file> for dumping SRM into a user-specified file.Alan Mishchenko2012-09-021-10/+21
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-09-015-49/+70
|
* Changes to allow &gla to run with fSimple = 1 (useful for debugging).Alan Mishchenko2012-08-312-6/+7
|
* Bug fix in the old Liberty parser.Alan Mishchenko2012-08-311-4/+6
|
* Added several assertions.Alan Mishchenko2012-08-311-0/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-17 00:38:11 +0000