Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Made abc.h independent of CUDD and Extra. | Alan Mishchenko | 2011-03-03 | 1 | -17/+18 |
* | Bug fix in &fraig. | Alan Mishchenko | 2011-03-03 | 1 | -1/+4 |
* | Removing useless printout in &resim. | Alan Mishchenko | 2011-03-02 | 1 | -1/+1 |
* | Fixing corner-case bugs in &srm -s. | Alan Mishchenko | 2011-02-28 | 1 | -1/+2 |
* | Cumulative update to BDD-based reachability, speeding up &reachm and other ch... | Alan Mishchenko | 2011-02-28 | 3 | -124/+277 |
* | Added generation of counter-examples in &reachm. | Alan Mishchenko | 2011-02-27 | 4 | -59/+262 |
* | Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f). | Alan Mishchenko | 2011-02-22 | 1 | -48/+92 |
* | Fixed a critical bug in the previous update. | Alan Mishchenko | 2011-02-21 | 1 | -1/+1 |
* | Implemented additional filtering of equivalences (&srm -sf). | Alan Mishchenko | 2011-02-21 | 3 | -24/+95 |
* | Changes to support sequential verification with reduction without speculation. | Alan Mishchenko | 2011-02-19 | 4 | -16/+243 |
* | Improvements to CEC command iprove. | Alan Mishchenko | 2011-02-18 | 1 | -2/+2 |
* | Improved timeout in the BDD reachability engines. | Alan Mishchenko | 2011-02-13 | 7 | -39/+179 |
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 30 | -769/+233 |
* | Changes to enable C++ compilation after recent modifications. | Alan Mishchenko | 2011-02-13 | 11 | -21/+21 |
* | LUT-size-based balancing (disabled by default). | Alan Mishchenko | 2011-02-11 | 1 | -1/+79 |
* | Improved timeout in &reachp. | Alan Mishchenko | 2011-02-08 | 4 | -33/+150 |
* | Improved timeout in &reachm. | Alan Mishchenko | 2011-02-08 | 1 | -20/+81 |
* | Modificationd to CUDD to enable runtime-limit in variable reordering. | Alan Mishchenko | 2011-02-08 | 1 | -0/+4 |
* | Yet another update to the runtime control in BDD operations. | Alan Mishchenko | 2011-02-07 | 1 | -4/+21 |
* | Added handling runtime limit inside And and AndExist. | Alan Mishchenko | 2011-02-07 | 3 | -19/+28 |
* | Added timeout to &reachn. | Alan Mishchenko | 2011-02-04 | 6 | -1505/+114 |
* | Added writing signal names in AIGER writer for GIA package. | Alan Mishchenko | 2011-02-03 | 1 | -0/+16 |
* | Minor changes while improving BDD-based reachability. | Alan Mishchenko | 2011-02-03 | 2 | -45/+82 |
* | Minor changes to hash table and utilSignal.c. | Alan Mishchenko | 2011-02-01 | 1 | -39/+30 |
* | Cumulative changes of the last two weeks. | Alan Mishchenko | 2011-02-01 | 34 | -2538/+7305 |
* | New code since Dec 2010. | Alan Mishchenko | 2011-01-13 | 2 | -0/+904 |
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 33 | -133/+514 |
* | Bug fix in &srm (not generating result when there is no equivs) | Alan Mishchenko | 2010-12-03 | 1 | -0/+2 |
* | Added ternary simulation value storage | Alan Mishchenko | 2010-11-29 | 2 | -0/+2 |
* | Fixing combinational loop problem in choice computation | Alan Mishchenko | 2010-11-29 | 1 | -0/+167 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 407 | -8298/+39237 |
* | Version abc90901 | Alan Mishchenko | 2015-06-22 | 17 | -117/+552 |
* | Version abc90813 | Alan Mishchenko | 2015-06-22 | 2 | -0/+154 |
* | Version abc90809 | Alan Mishchenko | 2015-06-22 | 2 | -4/+13 |
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 4 | -0/+46 |
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 24 | -137/+626 |
* | Version abc90715 | Alan Mishchenko | 2015-06-22 | 6 | -30/+37 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 48 | -180/+1916 |
* | Version abc90528 | Alan Mishchenko | 2015-06-22 | 10 | -32/+208 |
* | Version abc90505 | Alan Mishchenko | 2009-05-05 | 3 | -7/+7 |
* | Version abc90424 | Alan Mishchenko | 2009-04-24 | 26 | -88/+1813 |
* | Version abc90413 | Alan Mishchenko | 2009-04-13 | 6 | -6/+46 |
* | Version abc90410 | Alan Mishchenko | 2009-04-10 | 27 | -132/+1112 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 87 | -311/+990 |
* | Version abc90405 | Alan Mishchenko | 2009-04-05 | 21 | -414/+1395 |
* | Version abc90329 | Alan Mishchenko | 2009-03-29 | 36 | -1625/+2136 |
* | Version abc90321 | Alan Mishchenko | 2009-03-21 | 10 | -58/+769 |
* | Version abc90315 | Alan Mishchenko | 2009-03-15 | 4 | -5/+756 |
* | Version abc90313 | Alan Mishchenko | 2009-03-13 | 15 | -183/+821 |
* | Version abc90311 | Alan Mishchenko | 2009-03-11 | 27 | -3555/+881 |