summaryrefslogtreecommitdiff
path: root/.hgignore
Commit message (Expand)AuthorAge
* Ignore more temporary files.Gravatar wuestholz2011-12-02
* Ignore Chalice/bin directoryGravatar Rustan Leino2011-09-30
* Added build version stamping for Houdini.dllGravatar stobies2011-09-05
* Chalice: Added a script gathering all files necessary and/or of interest for ...Gravatar mschwerhoff2011-08-18
* Dafny: Fixed a bug in the printer that led to a stack overflow.Gravatar wuestholz2011-08-11
* Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...Gravatar stefanheule2011-08-03
* Chalice: Chalice is now built using sbt (simple built tool).Gravatar stefanheule2011-08-02
* Jennisys: added Jennesys/Jennesys/examples/bak to hgignoreGravatar Unknown2011-07-21
* Chalice: Completely switch to new testing scripts (more flexible and fine-gra...Gravatar stefanheule2011-07-05
* More files for Hg to ignoreGravatar Rustan Leino2011-05-11
* Ignored some new files.Gravatar Mike Barnett2011-05-03
* Add a method to the Sink that is responsible for creating a Boogie expressionGravatar Unknown2011-04-28
* merge changes with shaz's checkin.Gravatar Unknown2011-04-27
* merging in my changes i committed in 999.Gravatar Unknown2011-04-12
* Ignore other temporary files, including emacs backup filesGravatar Rustan Leino2011-04-07
* Ignore generated filesGravatar Michal Moskal2011-04-04