summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
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
2017-07-19Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem...Tim King
2017-07-17Use is_sorted, merge, copy from std (#199)Andres Noetzli
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-12Fix .i files from last commit.ajreynol
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-10Separate sygus term utilities to new file, minor cleanup from last commit.ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-05-17Merge pull request #155 from makaimann/conditional_coverageClark Barrett
2017-05-15Fix bug 806. Minor fixes to remove term formula pass.ajreynol
2017-05-12Adding VPATH back inmakaimann
2017-05-12Conditional coverage buildmakaimann
2017-05-12Make signal handlers saferAndres Notzli
2017-04-21Handle subtypes in sets. Bug fixes for tuples with subtypes.ajreynol
2017-04-18Coverage fixmakaimann
2017-04-14Actively split for upwards closusure intersection. Minor clean up, add regres...ajreynol
2017-04-14Fix bug related to portfolio with nullary operators.ajreynol
2017-04-14Fix nullary operator printers, minor.ajreynol
2017-04-12Add nullary operator metakind.ajreynol
2017-04-04Do not solve for 0-ary non-constant symbols (for which isVar returns true), a...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback