Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: Renaming core sources in preparation for port commit | 2010-08-20 | |
* | Boogie: Added boolean code expressions (sans well-formedness checks on the in... | 2010-08-10 | |
* | Boogie: Removed trailing spaces in code | 2010-08-04 | |
* | Boogie: | 2010-05-15 | |
* | First cut of lazy inlining. The option can be turned on by the flag /lazyInl... | 2010-04-17 | |
* | Boogie: | 2010-02-20 | |
* | Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;... | 2010-02-19 | |
* | Implement if-then-else expression. | 2010-02-18 | |
* | Redesigned the encoding of Dafny generics, including the built-in types set a... | 2009-11-06 | |
* | Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit... | 2009-09-07 | |
* | Initial set of files. | 2009-07-15 |