Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Previusly forgotten debug printout. | Alan Mishchenko | 2011-12-02 | 1 | -1/+1 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-25 | 2 | -83/+196 |
* | Updated miter status check to detect the case when a PO is equal to a true PI. | Alan Mishchenko | 2011-10-01 | 1 | -1/+1 |
* | Fixed a corner case bug in dprove when a trivial CEX is not produced. | Alan Mishchenko | 2011-10-01 | 1 | -0/+11 |
* | Sequential cleanup with symbolic/ternary simulation. | Alan Mishchenko | 2011-08-24 | 1 | -4/+4 |
* | Removed useless typecasts related to changes in Vec_VecEntry(). | Alan Mishchenko | 2011-08-01 | 1 | -9/+9 |
* | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 1 | -2/+2 |
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 4 | -230/+16 |
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 2 | -1/+24 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 19 | -157/+284 |
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 1 | -3/+3 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 2 | -5/+71 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 8 | -19/+19 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 17 | -230/+234 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -1/+1 |
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 2 | -2/+7 |
* | Version abc81025 | Alan Mishchenko | 2008-10-25 | 1 | -0/+4 |
* | Version abc81014 | Alan Mishchenko | 2008-10-14 | 3 | -5/+12 |
* | Version abc81005 | Alan Mishchenko | 2008-10-05 | 2 | -25/+53 |
* | Version abc80927 | Alan Mishchenko | 2008-09-27 | 1 | -0/+1 |
* | Version abc80921 | Alan Mishchenko | 2008-09-21 | 1 | -5/+14 |
* | Version abc80919 | Alan Mishchenko | 2008-09-19 | 1 | -71/+57 |
* | Version abc80918 | Alan Mishchenko | 2008-09-18 | 2 | -2/+4 |
* | Version abc80915 | Alan Mishchenko | 2008-09-15 | 1 | -1/+8 |
* | Version abc80912 | Alan Mishchenko | 2008-09-12 | 1 | -3/+12 |
* | Version abc80910 | Alan Mishchenko | 2008-09-10 | 4 | -48/+12 |
* | Version abc80909 | Alan Mishchenko | 2008-09-09 | 3 | -3/+7 |
* | Version abc80905 | Alan Mishchenko | 2008-09-05 | 2 | -3/+5 |
* | Version abc80729 | Alan Mishchenko | 2008-07-29 | 2 | -2/+2 |
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 2 | -3/+37 |
* | Version abc80721 | Alan Mishchenko | 2008-07-21 | 3 | -4/+4 |
* | Version abc80719 | Alan Mishchenko | 2008-07-19 | 1 | -2/+2 |
* | Version abc80717 | Alan Mishchenko | 2008-07-17 | 1 | -2/+2 |
* | Version abc80705 | Alan Mishchenko | 2008-07-05 | 3 | -9/+30 |
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 4 | -5/+7 |
* | Version abc80701 | Alan Mishchenko | 2008-07-01 | 3 | -2/+58 |
* | Version abc80610 | Alan Mishchenko | 2008-06-10 | 6 | -30/+65 |
* | Version abc80527 | Alan Mishchenko | 2008-05-27 | 2 | -39/+111 |
* | Version abc80519 | Alan Mishchenko | 2008-05-19 | 2 | -4/+4 |
* | Version abc80518_2 | Alan Mishchenko | 2008-05-18 | 1 | -1/+1 |
* | Version abc80518 | Alan Mishchenko | 2008-05-18 | 1 | -1/+1 |
* | Version abc80517 | Alan Mishchenko | 2008-05-17 | 4 | -15/+25 |
* | Version abc80516 | Alan Mishchenko | 2008-05-16 | 2 | -0/+58 |
* | Version abc80515 | Alan Mishchenko | 2008-05-15 | 2 | -44/+137 |
* | Version abc80512_2 | Alan Mishchenko | 2008-05-12 | 1 | -0/+6 |
* | Version abc80512 | Alan Mishchenko | 2008-05-12 | 2 | -8/+55 |
* | Version abc80511_2 | Alan Mishchenko | 2008-05-11 | 4 | -9/+119 |
* | Version abc80511 | Alan Mishchenko | 2008-05-11 | 1 | -3/+26 |
* | Version abc80508 | Alan Mishchenko | 2008-05-08 | 6 | -20/+35 |
* | Version abc80507 | Alan Mishchenko | 2008-05-07 | 2 | -19/+73 |