Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Enabling additinal printouts. | Alan Mishchenko | 2012-09-04 | 1 | -0/+64 | |
| | ||||||
* | Correcting the report of completed timeframes in &gla. | Alan Mishchenko | 2012-09-04 | 1 | -2/+4 | |
| | ||||||
* | Correcting the report of completed timeframes in &gla. | Alan Mishchenko | 2012-09-04 | 1 | -5/+5 | |
| | ||||||
* | Make switches -d (-m) by default dump abstracted model (miter with ↵ | Alan Mishchenko | 2012-09-04 | 1 | -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 Mishchenko | 2012-09-04 | 19 | -1/+64 | |
| | ||||||
* | Correcting the report of completed timeframes in &gla. | Alan Mishchenko | 2012-09-04 | 3 | -26/+28 | |
| | ||||||
* | Uniqifying status file name in &gla. | Alan Mishchenko | 2012-09-03 | 3 | -3/+9 | |
| | ||||||
* | Several minor changes. | Alan Mishchenko | 2012-09-03 | 1 | -1/+1 | |
| | ||||||
* | Changes to allow &gla to run with fSimple = 1 (useful for debugging). | Alan Mishchenko | 2012-08-31 | 1 | -6/+6 | |
| | ||||||
* | Fixing assert which failes when SAT solver returns after a timeout. | Alan Mishchenko | 2012-08-31 | 1 | -0/+2 | |
| | ||||||
* | Bug fix: abstraction commands not properly updating status when dumping ↵ | Alan Mishchenko | 2012-08-28 | 3 | -0/+3 | |
| | | | | intermediate abstraction. | |||||
* | Bug fix in &gla. | Alan Mishchenko | 2012-08-27 | 1 | -0/+9 | |
| | ||||||
* | Added switch '&gla -m' to dump original miter with the abstraction map. | Alan Mishchenko | 2012-08-26 | 2 | -16/+25 | |
| | ||||||
* | Fixing undesirable effect of recent refinement code on older code in &gla -n. | Alan Mishchenko | 2012-08-11 | 4 | -5/+7 | |
| | ||||||
* | Enabling -S <num> for &gla to not check the first <num> frames. | Alan Mishchenko | 2012-08-10 | 2 | -19/+226 | |
| | ||||||
* | Fixing problem with max limit on the number of abstracted objects in &gla. | Alan Mishchenko | 2012-08-10 | 2 | -23/+16 | |
| | ||||||
* | Added purification of UNSAT core in &gla. | Alan Mishchenko | 2012-08-10 | 1 | -1/+43 | |
| | ||||||
* | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 2 | -2/+5 | |
| | ||||||
* | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 4 | -21/+29 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+1 | |
| | ||||||
* | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 3 | -40/+485 | |
| | ||||||
* | New cut-based refinement. | Alan Mishchenko | 2012-08-08 | 1 | -2/+198 | |
| | ||||||
* | Added generation of values of internal nodes for GIA manager. | Alan Mishchenko | 2012-08-08 | 1 | -1/+1 | |
| | ||||||
* | Added generation of values of internal nodes for GIA manager. | Alan Mishchenko | 2012-08-08 | 5 | -93/+259 | |
| | ||||||
* | New command 'testnpn' to compare semi-canonical forms. | Alan Mishchenko | 2012-08-08 | 2 | -11/+32 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-07 | 1 | -2/+2 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-07 | 1 | -1/+2 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 1 | -1/+1 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 1 | -8/+6 | |
| | ||||||
* | New cut-based refinement. | Alan Mishchenko | 2012-08-06 | 3 | -0/+554 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 2 | -0/+9 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-06 | 3 | -2/+15 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-04 | 1 | -108/+1 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 3 | -6/+24 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 1 | -2/+3 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-03 | 3 | -9/+37 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 3 | -15/+21 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 2 | -2/+4 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 1 | -2/+2 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 2 | -8/+16 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 1 | -4/+84 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-02 | 1 | -38/+107 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 1 | -32/+2 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 2 | -73/+267 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-08-01 | 1 | -5/+16 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 2 | -22/+20 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 1 | -51/+79 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 2 | -102/+108 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 2 | -23/+62 | |
| | ||||||
* | Scalable gate-level abstraction. | Alan Mishchenko | 2012-07-31 | 1 | -51/+160 | |
| |