summaryrefslogtreecommitdiff
path: root/Source/Core/AbsyExpr.ssc
Commit message (Expand)AuthorAge
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie:Gravatar rustanleino2010-05-15
* First cut of lazy inlining. The option can be turned on by the flag /lazyInl...Gravatar qadeer2010-04-17
* Boogie:Gravatar rustanleino2010-02-20
* Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...Gravatar MichalMoskal2010-02-19
* Implement if-then-else expression.Gravatar MichalMoskal2010-02-18
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit...Gravatar stobies2009-09-07
* Initial set of files.Gravatar mikebarnett2009-07-15