summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
...
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-142-11/+106
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-145-55/+187
* 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
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-115-16/+71
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-097-13/+12
* 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-092-2/+5
* Started CEX minimization procedure.Alan Mishchenko2012-09-081-26/+210
* 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-071-10/+65
* Updating &gla_refine to perform suffic refinement.Alan Mishchenko2012-09-073-209/+402
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-4/+4
* Added error message when the user is trying 'dsat' for multi-output comb miters.Alan Mishchenko2012-09-051-1/+1
* Added new command &gla_shrink.Alan Mishchenko2012-09-051-1/+1
* Added new command &gla_shrink.Alan Mishchenko2012-09-047-26/+182
* Enabling additinal printouts.Alan Mishchenko2012-09-041-0/+64
* 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 abstractio...Alan Mishchenko2012-09-041-8/+21
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-0419-1/+64
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-043-26/+28
* Uniqifying status file name in &gla.Alan Mishchenko2012-09-033-3/+9
* Several minor changes.Alan Mishchenko2012-09-031-1/+1
* Changes to allow &gla to run with fSimple = 1 (useful for debugging).Alan Mishchenko2012-08-311-6/+6
* Fixing assert which failes when SAT solver returns after a timeout.Alan Mishchenko2012-08-311-0/+2
* Bug fix: abstraction commands not properly updating status when dumping inter...Alan Mishchenko2012-08-283-0/+3
* Bug fix in &gla.Alan Mishchenko2012-08-271-0/+9
* Added switch '&gla -m' to dump original miter with the abstraction map.Alan Mishchenko2012-08-262-16/+25
* Fixing undesirable effect of recent refinement code on older code in &gla -n.Alan Mishchenko2012-08-114-5/+7
* Enabling -S <num> for &gla to not check the first <num> frames.Alan Mishchenko2012-08-102-19/+226
* Fixing problem with max limit on the number of abstracted objects in &gla.Alan Mishchenko2012-08-102-23/+16
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-1/+43
* Improved abstraction refinement.Alan Mishchenko2012-08-092-2/+5
* Improved abstraction refinement.Alan Mishchenko2012-08-094-21/+29
* Compiler warnings.Alan Mishchenko2012-08-091-1/+1
* Improved abstraction refinement.Alan Mishchenko2012-08-093-40/+485
* New cut-based refinement.Alan Mishchenko2012-08-081-2/+198
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-1/+1
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-085-93/+259
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-11/+32
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 10:02:44 +0000