summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcLog.c
Commit message (Expand)AuthorAgeFilesLines
* Commenting out undesirable warnings/assertions.Alan Mishchenko2013-03-261-3/+2
* Extending verification status file format to allow for SAT status without CEX.Alan Mishchenko2013-01-251-4/+15
* Bug fix: abstraction commands not properly updating status when dumping inter...Alan Mishchenko2012-08-281-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-5/+5
* Updated read_status/write_status to correctly handle the case of seq cex with...Alan Mishchenko2011-02-271-14/+15
* Fixing the problem with writing/reading bug-free depth in status files.Alan Mishchenko2011-02-171-6/+13
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-1/+1
* Bug fix in setting the number of finished frames when reading a status file.Alan Mishchenko2011-02-111-1/+1
* Eneabled writing/reading pAbc->nFrames into/from status files.Alan Mishchenko2011-02-041-4/+6
* Fix for write_status/read_status to use PO indexAlan Mishchenko2010-11-291-4/+11
* initial commit of public abcAlan Mishchenko2010-11-011-0/+215