Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Introduce unit tests which use NUnit. NUnit is now a dependency | 2014-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 ↵ | 2013-03-05 | |
| | | | | Codeplex repositories. | ||
* | ignore Chalice/bin | 2012-09-10 | |
| | |||
* | Add some Mono/MonoDevelop files to .hgignore | 2012-07-09 | |
| | |||
* | GPUVerify: add beginnings of a test suite | 2012-07-04 | |
| | |||
* | Temp file added as one to ignore. | 2012-04-10 | |
| | |||
* | Semi-automatic merge. | 2012-02-25 | |
|\ | |||
* | | Chalice: update hgignore file to account for new test category | 2012-02-25 | |
| | | |||
| * | Dafny: Fixed a bug in the pretty printer. | 2011-12-26 | |
| | | |||
| * | Ignore more temporary files. | 2011-12-02 | |
| | | |||
| * | Ignore Chalice/bin directory | 2011-09-30 | |
| | | |||
| * | Added build version stamping for Houdini.dll | 2011-09-05 | |
| | | |||
| * | Chalice: Added a script gathering all files necessary and/or of interest for ↵ | 2011-08-18 | |
| | | | | | | | | a Chalice release. | ||
| * | Dafny: Fixed a bug in the printer that led to a stack overflow. | 2011-08-11 | |
|/ | |||
* | Chalice: Add regression tests for all fixed bugs and separate the tests in ↵ | 2011-08-03 | |
| | | | | 'examples' into "read" examples and general tests. | ||
* | Chalice: Chalice is now built using sbt (simple built tool). | 2011-08-02 | |
| | |||
* | Jennisys: added Jennesys/Jennesys/examples/bak to hgignore | 2011-07-21 | |
| | |||
* | Chalice: Completely switch to new testing scripts (more flexible and ↵ | 2011-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 ignore | 2011-05-11 | |
| | |||
* | Ignored some new files. | 2011-05-03 | |
| | |||
* | Add a method to the Sink that is responsible for creating a Boogie expression | 2011-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. | 2011-04-27 | |
| | |||
* | merging in my changes i committed in 999. | 2011-04-12 | |
| | |||
* | Ignore other temporary files, including emacs backup files | 2011-04-07 | |
| | |||
* | Ignore generated files | 2011-04-04 | |