| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 |