summaryrefslogtreecommitdiff
path: root/.hgignore
Commit message (Expand)AuthorAge
* Introduce unit tests which use NUnit. NUnit is now a dependencyGravatar Dan Liew2014-11-17
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* ignore Chalice/binGravatar Rustan Leino2012-09-10
* Add some Mono/MonoDevelop files to .hgignoreGravatar Peter Collingbourne2012-07-09
* GPUVerify: add beginnings of a test suiteGravatar Peter Collingbourne2012-07-04
* Temp file added as one to ignore.Gravatar Unknown2012-04-10
* Semi-automatic merge.Gravatar stefanheule2012-02-25
|\
* | Chalice: update hgignore file to account for new test categoryGravatar stefanheule2012-02-25
| * Dafny: Fixed a bug in the pretty printer.Gravatar wuestholz2011-12-26
| * 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