| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixing mismatch in reconcile. | Alan Mishchenko | 2011-05-13 | 1 | -1/+11 |
| * | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 1 | -10/+13 |
| * | Fixing c++ portability issues. | Alan Mishchenko | 2011-04-20 | 1 | -1/+1 |
| * | Fixing c++ portability issues. | Alan Mishchenko | 2011-04-20 | 4 | -4/+8 |
| * | Improvements to BDD reachability. | Alan Mishchenko | 2011-04-18 | 1 | -0/+588 |
| * | Improvements to BDD reachability. | Alan Mishchenko | 2011-04-18 | 5 | -23/+38 |
| * | Added command 'reconcile'. | Alan Mishchenko | 2011-04-16 | 4 | -203/+364 |
| * | Added cex generation for clustered reachability. | Alan Mishchenko | 2011-04-16 | 5 | -37/+292 |
| * | 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 | 5 | -2/+1819 |
| * | Fixing timeout in reachability engines. | Alan Mishchenko | 2011-03-17 | 5 | -6/+38 |
| * | Fixing bugs in the new procedures added to the library. | Alan Mishchenko | 2011-03-05 | 1 | -0/+5 |
| * | 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 |
| * | 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 | 2 | -6/+5 |
| * | Changes to enable C++ compilation after recent modifications. | Alan Mishchenko | 2011-02-13 | 6 | -13/+13 |
| * | 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 |
| * | 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 | 24 | -766/+6108 |
| * | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 2 | -2/+2 |
| * | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 16 | -0/+4351 |
