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