summaryrefslogtreecommitdiff
path: root/Source/Model/ModelParser.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Patch by Jeroen KetemaGravatar Dan Liew2014-12-01
* Remove dead codeGravatar Dan Liew2014-09-24
* Fixed crash in ModelParser when Z3 returns an operator that is a list.Gravatar Ken McMillan2014-02-21
* refactoringGravatar Pantazis Deligiannis2013-07-22
* refactoring and fixes in the SMTLIB2 parserGravatar Pantazis Deligiannis2013-07-19
* code cleanup and refactoringGravatar Pantazis Deligiannis2013-07-11
* code cleanup & refactoringGravatar Pantazis Deligiannis2013-07-11
* fixed another bug when parsing nested arrays under CVC4Gravatar Pantazis Deligiannis2013-07-10
* fix a bug when parsing nested arrays under CVC4Gravatar Pantazis Deligiannis2013-07-10
* the cvc4 parser can now parse nested array expressionsGravatar Pantazis Deligiannis2013-07-10
* added specific command line options to enable the SMTLIB2 output model parser...Gravatar Pantazis Deligiannis2013-07-09
* fixed the CVC4 SMTLIB array parsing to work under the latest CVC4 model repre...Gravatar pantazis2013-06-13
* merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...Gravatar pantazis2013-06-13
* simplified SMTLIB2 parser by merging some parsing methods for the CVC4 and Z3...Gravatar pantazis2013-06-12
* fix on parser for bit vectorsGravatar pantazis2013-06-12
* cleaning up some unused codeGravatar pantazis2013-06-12
* Z3 new parser takes now a new option for pp-bv-literalsGravatar pantazis2013-06-12
* CVC4 ParserGravatar pantazis2013-06-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 03:00:41 +0000