Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -5/+5 |
* | Updated read_status/write_status to correctly handle the case of seq cex with... | Alan Mishchenko | 2011-02-27 | 1 | -14/+15 |
* | Fixing the problem with writing/reading bug-free depth in status files. | Alan Mishchenko | 2011-02-17 | 1 | -6/+13 |
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 1 | -1/+1 |
* | Bug fix in setting the number of finished frames when reading a status file. | Alan Mishchenko | 2011-02-11 | 1 | -1/+1 |
* | Eneabled writing/reading pAbc->nFrames into/from status files. | Alan Mishchenko | 2011-02-04 | 1 | -4/+6 |
* | Fix for write_status/read_status to use PO index | Alan Mishchenko | 2010-11-29 | 1 | -4/+11 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -0/+215 |