| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Improving timeout in the interpolation package. | Alan Mishchenko | 2011-04-15 | 4 | -14/+38 |
| * | Forgot to update project file. | Alan Mishchenko | 2011-04-15 | 1 | -0/+1 |
| * | Further improvements to reachability. | Alan Mishchenko | 2011-04-15 | 4 | -52/+191 |
| * | Experiments with reachability. | Alan Mishchenko | 2011-04-14 | 4 | -13/+450 |
| * | Minor improvements to reachability. | Alan Mishchenko | 2011-04-13 | 1 | -1/+1 |
| * | Enabled new BDD-based reachability engine 'reachy'. | Alan Mishchenko | 2011-04-13 | 8 | -8/+1889 |
| * | Commented out one useless assertion in scorr. | Alan Mishchenko | 2011-04-12 | 1 | -1/+1 |
| * | Experiment with bit-packing. | Alan Mishchenko | 2011-04-08 | 2 | -7/+372 |
| * | Adding SAT-solver-level timeouts to the BMC engines. | Alan Mishchenko | 2011-04-08 | 2 | -2/+10 |
| * | Fixing a problem with costraint scorr for K > 1. | Alan Mishchenko | 2011-04-08 | 1 | -1/+80 |
| * | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 5 | -30/+366 |
| * | Made gate library package Mio independent of CUDD. | Alan Mishchenko | 2011-03-30 | 1 | -1/+2 |
| * | Added test package. | Alan Mishchenko | 2011-03-29 | 1 | -0/+1 |
| * | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 20 | -17/+29 |
| * | C++ compilation fixes. | Alan Mishchenko | 2011-03-27 | 1 | -1/+1 |
| * | Added printing MFFC sizes and deriving TT from SOP. | Alan Mishchenko | 2011-03-18 | 3 | -4/+22 |
| * | 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 |
| * | | 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 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 |
