Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 1 | -265/+58 |
| | |||||
* | Made gate library package Mio independent of CUDD. | Alan Mishchenko | 2011-03-30 | 1 | -1/+7 |
| | |||||
* | Added test package (new files). | Alan Mishchenko | 2011-03-29 | 1 | -1/+1 |
| | |||||
* | Added test package. | Alan Mishchenko | 2011-03-29 | 1 | -2/+2 |
| | |||||
* | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 1 | -4/+6 |
| | |||||
* | C++ compilation fixes. | Alan Mishchenko | 2011-03-27 | 1 | -2/+2 |
| | |||||
* | Improvements in Vec_Vec_t. | Alan Mishchenko | 2011-03-27 | 1 | -12/+18 |
| | |||||
* | Added printing MFFC sizes and deriving TT from SOP. | Alan Mishchenko | 2011-03-18 | 1 | -5/+21 |
| | |||||
* | Added new procedure and other small changes. | Alan Mishchenko | 2011-03-16 | 1 | -4/+10 |
|\ | |||||
* | | Exploring fanout cofactoring ideas... | Alan Mishchenko | 2011-03-14 | 1 | -4/+16 |
| | | |||||
* | | Several bug fixes and other improvements. | Alan Mishchenko | 2011-03-12 | 1 | -4/+8 |
| | | |||||
* | | Exploration of Sasao's decomposition and minor improvements. | Alan Mishchenko | 2011-03-11 | 1 | -4/+12 |
| | | |||||
* | | Bug alert message in 'fraig'. | Alan Mishchenko | 2011-03-10 | 1 | -1/+2 |
| | | |||||
* | | Added generation of MFFC for the network (improvements). | Alan Mishchenko | 2011-03-09 | 1 | -0/+1 |
| | | |||||
* | | Added generation of MFFC for the network. | Alan Mishchenko | 2011-03-09 | 1 | -1/+1 |
| | | |||||
* | | Improvements to the interpolation command 'int'; change of default switch -t. | Alan Mishchenko | 2011-03-08 | 1 | -7/+14 |
| | | |||||
* | | Fixing a corner case bug in 'enlarge'. | Alan Mishchenko | 2011-03-05 | 1 | -6/+6 |
| | | |||||
* | | Improved the speed of refinement algorithm in &abs_refine. | Alan Mishchenko | 2011-03-04 | 1 | -5/+17 |
| | | |||||
* | | Bug fix in dprove, adding command option -p. | Alan Mishchenko | 2011-03-03 | 1 | -1/+1 |
| | | |||||
* | | Fixing corner-case bugs in &srm -s. | Alan Mishchenko | 2011-02-28 | 1 | -0/+5 |
| | | |||||
* | | Cumulative update to BDD-based reachability, speeding up &reachm and other ↵ | Alan Mishchenko | 2011-02-28 | 1 | -2/+2 |
| | | | | | | | | changes. | ||||
* | | Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f). | Alan Mishchenko | 2011-02-22 | 1 | -5/+10 |
| | | |||||
* | | Implemented additional filtering of equivalences (&srm -sf). | Alan Mishchenko | 2011-02-21 | 1 | -8/+13 |
| | | |||||
* | | Moved two new APIs for reading/writing CEX from/into ABC from abc.c to ↵ | Alan Mishchenko | 2011-02-19 | 1 | -36/+0 |
| | | | | | | | | mainFrame.c. | ||||
* | | Added two new APIs for reading/writing CEX from/into ABC. | Alan Mishchenko | 2011-02-19 | 1 | -12/+120 |
| | | |||||
* | | Adding one more control switch to CEC commands (i)prove. | Alan Mishchenko | 2011-02-19 | 1 | -4/+28 |
| | | |||||
* | | Improvements to CEC command iprove. | Alan Mishchenko | 2011-02-18 | 1 | -6/+74 |
| | | |||||
* | | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 1 | -4/+3 |
|/ | |||||
* | Added handling runtime limit inside And and AndExist. | Alan Mishchenko | 2011-02-07 | 1 | -0/+15 |
| | |||||
* | Eneabled writing/reading pAbc->nFrames into/from status files. | Alan Mishchenko | 2011-02-04 | 1 | -10/+10 |
| | |||||
* | Make PDR return the number of completed frames. | Alan Mishchenko | 2011-02-03 | 1 | -25/+25 |
| | |||||
* | Cumulative changes of the last two weeks. | Alan Mishchenko | 2011-02-01 | 1 | -20/+297 |
| | |||||
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 1 | -152/+485 |
| | |||||
* | Initial integration of PDR | Alan Mishchenko | 2010-12-03 | 1 | -1/+69 |
| | |||||
* | Added command "testcex". | Alan Mishchenko | 2010-11-28 | 1 | -54/+312 |
| | |||||
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -4621/+6266 |
| | |||||
* | Version abc90901 | Alan Mishchenko | 2015-06-22 | 1 | -72/+60 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90813 | Alan Mishchenko | 2015-06-22 | 1 | -0/+46 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90809 | Alan Mishchenko | 2015-06-22 | 1 | -2/+6 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90807 | Alan Mishchenko | 2015-06-22 | 1 | -6/+22 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 1 | -330/+501 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90715 | Alan Mishchenko | 2015-06-22 | 1 | -11/+16 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -42/+291 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90528 | Alan Mishchenko | 2015-06-22 | 1 | -13/+108 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90505 | Alan Mishchenko | 2009-05-05 | 1 | -8/+106 |
| | |||||
* | Version abc90424 | Alan Mishchenko | 2009-04-24 | 1 | -26/+160 |
| | |||||
* | Version abc90413 | Alan Mishchenko | 2009-04-13 | 1 | -9/+30 |
| | |||||
* | Version abc90410 | Alan Mishchenko | 2009-04-10 | 1 | -19/+56 |
| | |||||
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 1 | -22/+130 |
| | |||||
* | Version abc90405 | Alan Mishchenko | 2009-04-05 | 1 | -4/+11 |
| |