summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* 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
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-8/+6
* New cut-based refinement.Alan Mishchenko2012-08-063-0/+554
* Scalable gate-level abstraction.Alan Mishchenko2012-08-062-0/+9
* Scalable gate-level abstraction.Alan Mishchenko2012-08-063-2/+15
* Scalable gate-level abstraction.Alan Mishchenko2012-08-041-108/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-033-6/+24
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-2/+3
* Scalable gate-level abstraction.Alan Mishchenko2012-08-033-9/+37
* Scalable gate-level abstraction.Alan Mishchenko2012-08-023-15/+21
* Scalable gate-level abstraction.Alan Mishchenko2012-08-022-2/+4
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-022-8/+16
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-4/+84
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-38/+107
* Scalable gate-level abstraction.Alan Mishchenko2012-08-011-32/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-012-73/+267
* Scalable gate-level abstraction.Alan Mishchenko2012-08-011-5/+16
* Scalable gate-level abstraction.Alan Mishchenko2012-07-312-22/+20
* Scalable gate-level abstraction.Alan Mishchenko2012-07-311-51/+79
* Scalable gate-level abstraction.Alan Mishchenko2012-07-312-102/+108
* Scalable gate-level abstraction.Alan Mishchenko2012-07-312-23/+62
* Scalable gate-level abstraction.Alan Mishchenko2012-07-311-51/+160
* Disabling learned clause removal when incremental proof-logging is running (t...Alan Mishchenko2012-07-302-15/+20
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-17/+9
* Reducing memory usage in proof-based abstraction.Alan Mishchenko2012-07-293-55/+129
* Scalable gate-level abstraction.Alan Mishchenko2012-07-293-325/+207
* Scalable gate-level abstraction.Alan Mishchenko2012-07-281-24/+72
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 00:35:41 +0000