Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 ↵ | Alan Mishchenko | 2011-02-28 | 3 | -124/+277 |
| | | | | changes. | ||||
* | 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 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90813 | Alan Mishchenko | 2015-06-22 | 2 | -0/+154 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90809 | Alan Mishchenko | 2015-06-22 | 2 | -4/+13 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 4 | -0/+46 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 24 | -137/+626 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90715 | Alan Mishchenko | 2015-06-22 | 6 | -30/+37 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 48 | -180/+1916 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90528 | Alan Mishchenko | 2015-06-22 | 10 | -32/+208 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | 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 |
| | |||||
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 35 | -1214/+6679 |
| | |||||
* | Version abc90220 | Alan Mishchenko | 2009-02-20 | 15 | -131/+1672 |
| | |||||
* | Version abc90217 | Alan Mishchenko | 2009-02-17 | 8 | -791/+1789 |
| |