projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update sygus v1 parser to use ParseOp utility (#3756)
[cvc5.git] / src / expr / datatype.cpp
2020-02-14 Andrew ReynoldsUpdate sygus v1 parser to use ParseOp utility (#3756) blob | commitdiff | raw
2019-12-12 Andrew ReynoldsUse the node-level datatypes API (#3556) blob | commitdiff | raw | diff to current
2019-12-12 Andrew ReynoldsActivate node-level datatype API (#3540) blob | commitdiff | raw | diff to current
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) blob | commitdiff | raw | diff to current
2019-12-06 Andrew ReynoldsIntroduce the Node-level Datatypes API (#3462) blob | commitdiff | raw | diff to current
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443) blob | commitdiff | raw | diff to current
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439) blob | commitdiff | raw | diff to current
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) blob | commitdiff | raw | diff to current
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... blob | commitdiff | raw | diff to current
2019-09-17 Andrew ReynoldsAvoid computing cardinality when constructing models... blob | commitdiff | raw | diff to current
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... blob | commitdiff | raw | diff to current
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-10-11 Andres NoetzliFix compiler warnings (#2602) blob | commitdiff | raw | diff to current
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) blob | commitdiff | raw | diff to current
2018-10-04 Andrew ReynoldsSimplify datatypes printing (#2573) blob | commitdiff | raw | diff to current
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions... blob | commitdiff | raw | diff to current
2018-07-13 Aina NiemetzNew C++ API: Implementation of datatype classes. (... blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-05-28 Andrew ReynoldsBuiltin evaluation functions for sygus (#1991) blob | commitdiff | raw | diff to current
2018-05-10 Andrew ReynoldsExclude Boolean connectives from ITE conditions in... blob | commitdiff | raw | diff to current
2018-01-09 Tim KingRemoving throw specifiers from miscellaneous src/expr... blob | commitdiff | raw | diff to current
2018-01-08 Tim KingRemove throw specifiers from datatype. (#1489) blob | commitdiff | raw | diff to current
2017-12-01 Andrew ReynoldsMinor additions for sygus (#1419) blob | commitdiff | raw | diff to current
2017-11-23 Haniel BarbosaConverting defined functions and let expressions from... blob | commitdiff | raw | diff to current
2017-11-22 Andrew ReynoldsSygus Lambda Grammars (#1390) blob | commitdiff | raw | diff to current
2017-11-15 Andrew ReynoldsSygus print callbacks (#1348) blob | commitdiff | raw | diff to current
2017-11-15 Tim KingInitializing members of Datatype. Addresses CIDs 136289... blob | commitdiff | raw | diff to current
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage blob | commitdiff | raw | diff to current
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print blob | commitdiff | raw | diff to current
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types blob | commitdiff | raw | diff to current
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter blob | commitdiff | raw | diff to current
2017-05-15 ajreynolFix bug 806. Minor fixes to remove term formula pass. blob | commitdiff | raw | diff to current
2017-03-22 ajreynolWork on new approach for sygus involving conditional... blob | commitdiff | raw | diff to current
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... blob | commitdiff | raw | diff to current
2016-12-03 ajreynolFix unit test for datatypes, add interface functions... blob | commitdiff | raw | diff to current
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build blob | commitdiff | raw | diff to current
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule blob | commitdiff | raw | diff to current
2016-12-02 ajreynolBug fixes and refactoring of parametric datatypes,... blob | commitdiff | raw | diff to current
2016-11-01 ajreynolFix memory leak in TheorySetsRels. Minor cleanup. blob | commitdiff | raw | diff to current
2016-11-01 ajreynolWorking memory leak free version, changes interface... blob | commitdiff | raw | diff to current
2016-10-31 ajreynolMinor refactoring in preparation for datatypes node... blob | commitdiff | raw | diff to current
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-05-23 ajreynolFix related to parametric sorts whose interpretation... blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2016-02-19 ajreynolFixes and improvements for datatypes properties and... blob | commitdiff | raw | diff to current
2016-02-19 ajreynolImplement dynamic splitting for quantified formulas... blob | commitdiff | raw | diff to current
2016-02-16 ajreynolMore simplification to internal implementation of tuple... blob | commitdiff | raw | diff to current
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-02-15 ajreynolEliminate most of the internal representation infrastru... blob | commitdiff | raw | diff to current
2015-12-24 Tim KingMiscellaneous fixes blob | commitdiff | raw | diff to current
2015-12-22 ajreynolAlways split on constructor types for datatypes involvi... blob | commitdiff | raw | diff to current
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current