Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add /view:<view1, view2> option to filter module exports to be printed. | 2016-02-11 | |
* | Refactor the error reporting code | 2015-08-18 | |
* | Minor change | 2014-12-26 | |
* | Ensure that no file is processed twice, even if one command-line file is incl... | 2014-10-27 | |
* | Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta... | 2014-10-27 | |
* | Fixed issues with absolute file names in the expected output for the lit tests. | 2014-06-04 | |
* | Members included from different files are now internally marked with an Inclu... | 2014-04-19 | |
* | Fix a possible null dereference. | 2013-12-18 | |
* | Add a command-line option to disable include directives. | 2013-12-13 | |
* | Add support for the "include" keyword, which accepts a (possibly relative) path | 2013-12-10 | |
* | Put all sources under \Source directory | 2012-10-04 |