Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing timeout in reachability engines. | Alan Mishchenko | 2011-03-17 | 5 | -6/+38 |
| | |||||
* | Added new procedure and other small changes. | Alan Mishchenko | 2011-03-16 | 2 | -0/+128 |
|\ | |||||
* | | Exploring fanout cofactoring ideas... | Alan Mishchenko | 2011-03-14 | 1 | -4/+136 |
| | | |||||
* | | Several bug fixes and other improvements. | Alan Mishchenko | 2011-03-12 | 2 | -16/+15 |
| | | |||||
* | | Fixed the bug in Gia_ManRo/Gia_ManRo. | Alan Mishchenko | 2011-03-09 | 1 | -2/+2 |
| | | |||||
* | | Changed internal includes to be in quotes rather than in <>. | Alan Mishchenko | 2011-03-09 | 1 | -3/+3 |
| | | |||||
* | | Improvements to the interpolation command 'int'; change of default switch -t ↵ | Alan Mishchenko | 2011-03-08 | 1 | -0/+301 |
| | | | | | | | | (forgot to add new file). | ||||
* | | Improvements to the interpolation command 'int'; change of default switch -t. | Alan Mishchenko | 2011-03-08 | 3 | -33/+90 |
| | | |||||
* | | Fixing bugs in the new procedures added to the library. | Alan Mishchenko | 2011-03-05 | 1 | -0/+5 |
| | | |||||
* | | Yet another improvement in &abs_refine -s. | Alan Mishchenko | 2011-03-04 | 1 | -0/+3 |
| | | |||||
* | | 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 ↵ | 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> |