Age | Commit message (Expand) | Author |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
2016-11-13 | Adding garbage collection for the Smt2 Parser for Commands when exceptions ar... | Tim King |
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-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2015-07-31 | Sygus support for inductive datatypes. | ajreynol |
2015-07-20 | Squashed merge of SygusComp 2015 branch. | ajreynol |
2015-06-11 | Handle duplicate operators in sygus grammars. Parse sygus quoted literals. A... | ajreynol |
2015-06-11 | Update experimental scripts. Support top-level non-terminals in sygus gramma... | ajreynol |
2015-06-10 | Support for printing solutions involving LetGTerm sygus. Bug fix define-fun w... | ajreynol |
2015-06-10 | Parse support for sygus LetGTerm. | ajreynol |
2015-06-03 | Refactoring of sygus parsing, properly parse Constant/Variable constructors. | ajreynol |
2015-05-11 | Allow sygus with no syntactic restrictions for LIA. Add regressions. | ajreynol |
2015-05-11 | Support for arbitrary constants/variables in Sygus grammars. | ajreynol |
2015-01-20 | Handle miniscoping of conjunctions in synthesis properties. Refactor constru... | ajreynol |
2015-01-16 | Linearize multiplication by constants in sygus grammars. Handle unary minus i... | ajreynol |
2015-01-16 | Allow uninterpreted/defined functions in Sygus grammars. Fix bug regarding de... | ajreynol |
2015-01-14 | sygus input language and benchmark | Morgan Deters |
2014-12-03 | Floating point infrastructure. | Martin Brain |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-08-26 | Improved SMT-LIBv2 language support for unsat cores. | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-04 | SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor,... | Morgan Deters |
2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters |
2014-03-05 | Don't tokenize SET_THEORY operators in smt2 parser | Kshitij Bansal |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-06-19 | Give a more useful parse error message for "undeclared variable -1". | Morgan Deters |
2013-06-04 | File inclusion in Smt2 parser. | Morgan Deters |
2013-05-28 | Standardize SMT-LIBv2 set of logics to use LogicInfo. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-08 | fix SMT-LIBv2 compliance mode for bitvectors (was completely broken; didn't a... | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-08-16 | The SmtEngine now ensures that setLogicInternal() is called even if there is ... | Morgan Deters |
2012-07-18 | more compliance fixes for SMT-LIBv2 | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-07 | LogicInfo locking implemented, and some initialization-order issues in SmtEng... | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
2010-10-05 | parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti... | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |