| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Normalise line endings using a .gitattributes file. Unfortunately |  Dan Liew | 2015-06-28 |
| * | changed the suffix of the trace file from .bpl to .txt to avoid confusing the... |  qadeer | 2014-11-08 |
| * | Did some refactoring. | wuestholz | 2014-09-23 |
| * | Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio... | Ally Donaldson | 2014-05-28 |
| * | small fix in the parallel refutation sharing |  Pantazis Deligiannis | 2013-10-16 |
| * | fixed bug with the exchange refuted invariants process | Pantazis Deligiannis | 2013-10-06 |
| * | small refactoring | Pantazis Deligiannis | 2013-10-02 |
| * | removal of comment | Pantazis Deligiannis | 2013-10-02 |
| * | fixed bug | Pantazis Deligiannis | 2013-10-01 |
| * | changes to support a configured errorLimit | Pantazis Deligiannis | 2013-09-30 |
| * | more changes towards parallelisation of Houdini | Pantazis Deligiannis | 2013-09-29 |
| * | refactoring + new class ConcurrentHoudini | Pantazis Deligiannis | 2013-09-27 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |