Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Updated code for lazy man's synthesis (memory optimization). | Alan Mishchenko | 2012-07-20 | 1 | -0/+290 |
* | Updated code for lazy man's synthesis. | Alan Mishchenko | 2012-07-20 | 1 | -2/+2 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -25/+17 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+7 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+1 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+19 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -31/+9 |
* | Fixing a mismatch in regular/shadow page memory appending procedure. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 |
* | Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat... | Alan Mishchenko | 2012-07-09 | 1 | -7/+10 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
* | Added memory reporting to &vta. | Alan Mishchenko | 2012-06-22 | 7 | -2/+129 |
* | Reporing memory usage by the SAT solver in 'bmc3'. | Alan Mishchenko | 2012-06-15 | 1 | -0/+19 |
* | Misc changes. | Alan Mishchenko | 2012-05-03 | 1 | -0/+6 |
* | Misc changes. | Alan Mishchenko | 2012-04-20 | 1 | -13/+1 |
* | Added several new APIs. | Alan Mishchenko | 2012-03-31 | 1 | -0/+18 |
* | Moving Vec_Set_t to the vector directory. | Alan Mishchenko | 2012-03-28 | 1 | -11/+12 |
* | Moving Vec_Set_t to the vector directory. | Alan Mishchenko | 2012-03-28 | 1 | -0/+263 |
* | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 1 | -0/+32 |
* | Added one currently unused iterator. | Alan Mishchenko | 2012-03-21 | 1 | -3/+5 |
* | Silenced a gcc warning. | Alan Mishchenko | 2012-02-24 | 2 | -4/+4 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-17 | 1 | -0/+61 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-17 | 1 | -5/+7 |
* | Isomorphism checking code. | Alan Mishchenko | 2012-02-14 | 1 | -1/+82 |
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-02-11 | 2 | -0/+40 |
* | Graph isomorphism checking code. | Alan Mishchenko | 2012-01-30 | 1 | -0/+2 |
* | Moving Vec_IntPrint to where it belongs. | Alan Mishchenko | 2012-01-29 | 1 | -0/+20 |
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 9 | -19/+19 |
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-15 | 1 | -0/+23 |
* | Added bit vector. | Alan Mishchenko | 2012-01-13 | 2 | -0/+580 |
* | Started proof transformations. | Alan Mishchenko | 2011-12-01 | 1 | -0/+16 |
* | New proof-based abstraction code (bug fix). | Alan Mishchenko | 2011-10-27 | 1 | -1/+1 |
* | Skip NULL entry when freeing vector of vectors. | Alan Mishchenko | 2011-10-19 | 1 | -1/+1 |
* | New abstraction code. | Alan Mishchenko | 2011-10-15 | 1 | -0/+30 |
* | Initial changes to enable gate-level abstraction. | Alan Mishchenko | 2011-09-22 | 1 | -2/+2 |
* | 64-bit portability changes. | Alan Mishchenko | 2011-09-17 | 1 | -2/+2 |
* | Several bug fixes. | Alan Mishchenko | 2011-08-02 | 1 | -0/+19 |
* | Changes and simplifications in Vec_Vec_t data-structure. | Alan Mishchenko | 2011-08-01 | 1 | -34/+83 |
* | Added new APIs to integer vector. | Alan Mishchenko | 2011-07-31 | 1 | -0/+40 |
* | Enabled new BDD-based reachability engine 'reachy'. | Alan Mishchenko | 2011-04-13 | 1 | -0/+4 |
* | Added procedure to vector package and manager template file. | Alan Mishchenko | 2011-04-10 | 1 | -0/+2 |
* | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 2 | -14/+40 |
* | Improvements in Vec_Vec_t. | Alan Mishchenko | 2011-03-27 | 1 | -9/+129 |
* | Code formatting change | Alan Mishchenko | 2010-11-29 | 1 | -8/+8 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 8 | -116/+1511 |
* | Version abc90901 | Alan Mishchenko | 2015-06-22 | 2 | -2/+40 |
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 1 | -0/+21 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 2 | -1/+22 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 2 | -5/+5 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 4 | -12/+56 |