summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib/SMTLibLineariser.cs
Commit message (Expand)AuthorAge
* Fix printing of type-proxiesGravatar MichalMoskal2011-02-16
* Fix let scopingGravatar MichalMoskal2011-02-15
* Use the new UniformArguments property; formattingGravatar MichalMoskal2011-02-15
* Print terms in SMT2 syntax (drop term/formula distinction)Gravatar MichalMoskal2011-02-15
* Move name-quoting (already for SMT2 not SMT1) into a seprate classGravatar MichalMoskal2011-02-15
* Add USE_PREDICATES option to TPTP and SMT proversGravatar MichalMoskal2011-02-11
* Make the SMTLIB backend work again, particularly with /typeEncoding:mGravatar MichalMoskal2011-01-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:07:38 +0000