Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Another improvement in &abs_refine -s. | Alan Mishchenko | 2011-03-04 | 1 | -9/+88 | |
* | | Improved the speed of refinement algorithm in &abs_refine. | Alan Mishchenko | 2011-03-04 | 6 | -20/+315 | |
* | | 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 |