summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
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
2017-10-09Split term database (#1206)Andrew Reynolds
2017-10-04Removing the throw specifier from ArrayStoreAll constructor. (#1182)Tim King
2017-10-02Unify hash functions for pairs (#1161)Andres Noetzli
2017-10-02Removing throw specifiers from SymbolTable::Implementation. (#1183)Tim King
2017-09-28Update symbol table to support operator overloading (#1154)Andrew Reynolds
2017-09-25Fixing CIDs 1172012 and 1172011: Initiallzing d_exprManager to nullptr in con...Tim King
2017-09-17Moving the CVC4_PUBLIC attribute to the beginning of operator++. (#1107)Tim King
2017-09-14Add missing CVC4_PUBLIC in kind_template (#1078)makaimann
2017-09-14Remove unhandled subtypes (#1098)Andrew Reynolds
2017-09-13Floating point symfpu support (#1093)Martin
2017-09-13Add isConst check for lambda expressions. (#1084)Andrew Reynolds
2017-09-13Remove unused RecordSelect and TupleSelect (#1087)Andres Noetzli
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-08-14Minimize includes in expr.h: remove dups, iostream (#219)Andres Noetzli
2017-08-14Move function definitions from metakind.h to cpp (#218)Andres Noetzli
2017-08-14Move function definitions from kind.h to kind.cpp (#217)Andres Noetzli
2017-07-30Fix memory leak in symbol table (#209)Andres Noetzli
2017-07-22Deprecating the unused convenience_node_builders.h (#203)Tim King
2017-07-22Consolidating the opaque pointers in SymbolTable. (#204)Tim King
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback