summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib/TypeDeclCollector.cs
Commit message (Expand)AuthorAge
* fixed some merging issuesGravatar Checkmate502016-06-07
* Improve support for identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-09
* Add support for weights on soft assumes.Gravatar Valentin Wüstholz2016-03-07
* Improve support for optimization and identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-03
* Fix issue with ids for assume-statements.Gravatar Valentin Wüstholz2015-12-28
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix for printFixedPoint when dealing with functionsGravatar Akash Lal2015-05-13
* Added /printFixedPoint optionGravatar Ken McMillan2014-04-14
* More refactoringGravatar Ally Donaldson2013-07-22
* Worked on the parallelization.Gravatar wuestholz2013-07-02
* Adding fixedpoint engine backendGravatar Ken McMillan2013-05-07
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* various changes for using unsat cores in HoudiniGravatar qadeer2012-04-17
* more type checking for datatypesGravatar qadeer2012-03-18
* made delegate a datatypeGravatar qadeer2011-12-30
* fixed problems with datatypesGravatar qadeer2011-12-29
* Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)Gravatar Unknown2011-10-19
* implementing datatypesGravatar qadeer2011-10-05
* Replaced all dictionaries that mapped to bool (i.e., were being used to imple...Gravatar mikebarnett2011-03-10
* Add MULTI_TRACES prover option (equivalent of /z3multipleErrors)Gravatar MichalMoskal2011-02-23
* Don't try to declare bv typesGravatar MichalMoskal2011-02-23
* Fixes in /useArrayTheory handlingGravatar MichalMoskal2011-02-23
* Handle /useArrayTheoryGravatar MichalMoskal2011-02-18
* Handle bitvectorsGravatar MichalMoskal2011-02-18
* Use explicit mechanism for skipping to the next assertionGravatar MichalMoskal2011-02-17
* Bugfixes in select-of-store axiomsGravatar MichalMoskal2011-02-16
* Use SMT2 top-level syntaxGravatar 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: 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-05-10 00:11:22 +0000