Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add support for the "include" keyword, which accepts a (possibly relative) path | 2013-12-10 | |
| | | | | | to another Dafny file. That file's functions and methods are included but not checked. This is intended to support incremental verification on a per-file basis. | ||
* | Put all sources under \Source directory | 2012-10-04 | |