| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | cleaned up some names |  Shaz Qadeer | 2015-09-28 |
| * | Normalise line endings using a .gitattributes file. Unfortunately |  Dan Liew | 2015-06-28 |
| * | reversed the order of generated procedures; commutativity checks are generate... |  qadeer | 2014-10-14 |
| * | Did more refactoring. | wuestholz | 2014-09-23 |
| * | checkpoint | qadeer | 2014-05-03 |
| * | Added /trustAtomicityTypes option | qadeer | 2014-02-22 |
| * | first cut of refinement checking | qadeer | 2014-01-07 |
| * | some fixes | qadeer | 2014-01-03 |
| * | more refactoring of the concurrency stuff | qadeer | 2013-12-20 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |