Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |