summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixed the problem with 'write_cnf' after recent changes to the SAT solver.Alan Mishchenko2012-07-281-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-07-271-211/+319
* Minor updates to the BMC engines.Alan Mishchenko2012-07-274-3/+51
* Changes in command 'bm' to report timeout (thanks to S.W.)Alan Mishchenko2012-07-261-92/+89
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-2/+2
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-253-14/+18
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-223-2/+20
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-19 19:48:35 +0000