summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-07Delete functions instead of using CVC4_UNDEFINED (#1794)Andres Noetzli
2018-08-03Eliminate option for sygus UF evaluation functions (#2262)Andrew Reynolds
2018-08-01Fix API call for reg exp. (#2248)Andrew Reynolds
2018-08-01Fix issues with printing parametric datatypes in smt2 (#2213)Andrew Reynolds
2018-07-27Fix Node::hasFreeVar for function variables (#2216)Andrew Reynolds
2018-07-21Optimizations and fixes for computing whether a type is finite (#2179)Andrew Reynolds
2018-07-14exportTo only if needed for --sygus-rr-synth-check (#2168)Andres Noetzli
2018-07-13New C++ API: Implementation of datatype classes. (#2142)Aina Niemetz
2018-06-28Do not rename uninterpreted constants (#2098)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-28Builtin evaluation functions for sygus (#1991)Andrew Reynolds
2018-05-24Fix compiler warnings (#1959)Andres Noetzli
2018-05-18Cache isInterpretedFinite (#1943)Andrew Reynolds
2018-05-10Exclude Boolean connectives from ITE conditions in SygusUnifStrat (#1900)Andrew Reynolds
2018-04-10Properly implement function extensionality based on cardinality (#1765)Andrew Reynolds
2018-04-09Fix hasSubterm calls for higher-order (#1760)Andrew Reynolds
2018-04-08Check free variables in assertions (#1737)Andrew Reynolds
2018-04-02Do not call toString() on malformed node when throwing TypeCheckingExceptionP...yoni206
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-03-05Add support for check-sat-assuming. (#1637)Aina Niemetz
2018-03-05Add CVC4_PUBLIC keyword to overloads of << for Expr containers. (#1644)Aina Niemetz
2018-03-05Add uniform way to serialize containers of Expr to stream. (#1638)Aina Niemetz
2018-03-02Fixed typo.Aina Niemetz
2018-02-13Provide a uniform way to serialize node containers to output stream. (#1604)Aina Niemetz
2018-02-07Fixing line numbers on type_checker_template.cpp (#1574)Tim King
2018-02-05Using getOperator() directly instead of using -1. CID 1172262. (#1559)Tim King
2018-01-27Removing an unused variable. Resolves CID 1172257. (#1542)Tim King
2018-01-26Removing structurally dead code. (#1540)Tim King
2018-01-17Removes yet more throw specifiers. Updating the documentation as needed. (#1518)Tim King
2018-01-14Removing throw specifiers from Type. (#1511)Tim King
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2018-01-09Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)Tim King
2018-01-08Remove throw specifiers from symbol table. (#1490)Tim King
2018-01-08Remove throw specifiers from datatype. (#1489)Tim King
2018-01-04Removing miscellaneous throw specifiers. (#1474)Tim King
2017-12-10Fix issue with mkConst/getConst of TypeConstant (#1439)Andres Noetzli
2017-12-01Minor additions for sygus (#1419)Andrew Reynolds
2017-11-22Converting defined functions and let expressions from Sygus grammars to lambd...Haniel Barbosa
2017-11-22Sygus Lambda Grammars (#1390)Andrew Reynolds
2017-11-15Sygus print callbacks (#1348)Andrew Reynolds
2017-11-15Initializing members of Datatype. Addresses CIDs 1362897, 1362912, 1362923 an...Tim King
2017-11-10(Documentation-only) datatype.h (#1346)Andrew Reynolds
2017-10-26Op overload no fun variant (#1285)Andrew Reynolds
2017-10-25Use uintptr_t for pointer casts in Swig files (#1278)Andres Noetzli
2017-10-20Make Sygus conjectures higher-order (#1244)Andrew Reynolds
2017-10-10Ho node manager types (#1203)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback