Age | Commit message (Expand) | Author |
2017-09-05 | Remove support for conversions between uint32/uint16 and string. (#1069) | Andrew Reynolds |
2017-08-25 | Added missing includes (algorithm). | Aina Niemetz |
2017-08-17 | Remove unused SubrangeBound(s) classes (#221) | Andres Noetzli |
2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
2017-07-29 | Add support for charat in native language, minor cleanup. | ajreynol |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-20 | Fix a few bugs related to sygus. | ajreynol |
2017-07-17 | Remove PtrCloser (#198) | Andres Noetzli |
2017-07-16 | Use CXXFLAGS when compiling parsers (#197) | Andres Noetzli |
2017-07-12 | Make type rules more strict for operators whose type rules involve subtypes. ... | ajreynol |
2017-07-10 | Merge ntExt branch. Adds support for transcendental functions. Refactoring of... | ajreynol |
2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-07-07 | Use new copyright header format. | Mathias Preiner |
2017-07-05 | Non-linear supported in ALL logics. Minor fixes for set logic with sygus. | ajreynol |
2017-06-30 | Minor change to trigger selection, fixes related to subtypes (in macros, cbqi... | ajreynol |
2017-06-16 | Fix stream parsing | Andres Nötzli |
2017-06-16 | Parse 'is', 'match' differently for non-DT input | Andres Noetzli |
2017-05-16 | Avoid tokenizing FP tokens in non-FP input | Andres Noetzli |
2017-04-28 | Minor fixes | ajreynol |
2017-04-24 | Fix parsing selectors for nullary constructors in smtlib 2.6 format. | ajreynol |
2017-04-20 | Support for relational operators identity and join image | Paul Meng |
2017-04-12 | Add nullary operator metakind. | ajreynol |
2017-03-22 | Work on new approach for sygus involving conditional solutions. Refactoring o... | ajreynol |
2017-03-20 | fixed cvc4 parser for set complement | Paul Meng |
2017-03-16 | More fixes, features to examples. | ajreynol |
2017-03-16 | Minor fixes, always expand applications of lambdas at preprocess. | ajreynol |
2017-03-16 | Support for SMT LIB 2.6 syntax declare-datatype and match. | ajreynol |
2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
2017-03-15 | Allow 0 argument recursive functions. Fixes bug 782. | ajreynol |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
2017-03-07 | Fix cvc parser for set compliment. | ajreynol |
2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-01-04 | Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan... | ajreynol |
2016-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
2016-11-30 | Fix parsing of BVROTR by CVC parser | Andres Notzli |
2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
2016-11-13 | Adding garbage collection for the Smt2 Parser for Commands when exceptions ar... | Tim King |
2016-11-12 | Merge pull request #107 from timothy-king/smt1-parser-exception-leaks | Clark Barrett |
2016-11-12 | Adding garbage collection for the Smt1 Parser for Commands when exceptions ar... | Tim King |
2016-11-11 | Adding garbage collection for the CVC Parser for Commands when exceptions are... | Tim King |
2016-11-11 | Deleting the remaining commands in the Parser's queue within ~Parser(). | Tim King |
2016-11-11 | Applying clang-format to parser.cpp. | Tim King |
2016-11-09 | Fix tptp parser memory leaks for include. | ajreynol |
2016-11-02 | Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat. | ajreynol |
2016-11-01 | Revert change to Datatypes API to return vector of DatatypeTypes, as before. ... | ajreynol |
2016-11-01 | Revert change to datatypes API for passing pointers, instead make deep copy d... | ajreynol |
2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol |
2016-10-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |