| Commit message (Expand) | Author | Age | Files | Lines |
* | Commenting out undesirable warnings/assertions. | Alan Mishchenko | 2013-03-26 | 1 | -3/+2 |
* | Extending verification status file format to allow for SAT status without CEX. | Alan Mishchenko | 2013-01-25 | 1 | -4/+15 |
* | Bug fix: abstraction commands not properly updating status when dumping inter... | Alan Mishchenko | 2012-08-28 | 1 | -1/+1 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 1 | -2/+2 |
* | 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 |