Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Clean up .gitignore file | 2015-04-03 | |
| | |||
* | 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 TPTP dlls | 2011-01-19 | |
| | |||
* | More BCT ignores | 2010-12-10 | |
| | |||
* | Ignore some BCT files | 2010-12-10 | |
| | |||
* | Rename BVD binary to (suprise!) BVD | 2010-12-08 | |
| | |||
* | Remove FSharp DLLs (no longer needed) and obsolete Makefile | 2010-12-06 | |
| | |||
* | Ignore more generated files. | 2010-12-02 | |
| | |||
* | Put Model.cs in separate assembly. Fix signing/versioning with it. | 2010-10-12 | |
| | |||
* | Make the -mv option use the new Model class. | 2010-10-12 | |
| | |||
* | Add one more file | 2010-10-07 | |
| | |||
* | Update to include all build artifacts, also from Dafny | 2010-10-07 | |
| | |||
* | Addint ignore file for GIT | 2010-08-27 | |