Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added new command &gla_shrink. | Alan Mishchenko | 2012-09-04 | 7 | -26/+182 |
| | |||||
* | 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 |
| |