summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib/SMTLibLineariser.cs
Commit message (Expand)AuthorAge
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Fixup line-endings.Gravatar MichalMoskal2010-08-06
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Committing my port of the SMTLib projectGravatar tabarbe2010-07-22
* Boogie: Renaming the source files for the SMTLib project in preparation for c...Gravatar tabarbe2010-07-22