| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: Fixed a bug in the printer that led to a stack overflow. |  wuestholz | 2011-08-11 |
| * | Chalice: Add regression tests for all fixed bugs and separate the tests in 'e... | stefanheule | 2011-08-03 |
| * | Chalice: Chalice is now built using sbt (simple built tool). | stefanheule | 2011-08-02 |
| * | Jennisys: added Jennesys/Jennesys/examples/bak to hgignore |  Unknown | 2011-07-21 |
| * | Chalice: Completely switch to new testing scripts (more flexible and fine-gra... | stefanheule | 2011-07-05 |
| * | More files for Hg to ignore |  Rustan Leino | 2011-05-11 |
| * | Ignored some new files. |  Mike Barnett | 2011-05-03 |
| * | Add a method to the Sink that is responsible for creating a Boogie expression |  Unknown | 2011-04-28 |
| * | merge changes with shaz's checkin. | Unknown | 2011-04-27 |
| * | merging in my changes i committed in 999. | Unknown | 2011-04-12 |
| * | Ignore other temporary files, including emacs backup files | Rustan Leino | 2011-04-07 |
| * | Ignore generated files |  Michal Moskal | 2011-04-04 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |