summaryrefslogtreecommitdiff
path: root/.hgignore
Commit message (Collapse)AuthorAge
* Remove some old mercurial files.Gravatar Dan Liew2015-04-03
|
* Introduce unit tests which use NUnit. NUnit is now a dependencyGravatar Dan Liew2014-11-17
| | | | | | | | | so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵Gravatar Rustan Leino2013-03-05
| | | | Codeplex repositories.
* 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
| | | | | | | | a Chalice release.
| * 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 ↵Gravatar stefanheule2011-08-03
| | | | 'examples' into "read" examples and general tests.
* 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 ↵Gravatar stefanheule2011-07-05
| | | | fine-grained testing) and remove old test.bat. New testing scripts are described in Chalice/tests/readme.txt.
* 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
| | | | | representing the default value for a type. All clients that need to create a default value should use this.
* 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