summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
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
2017-03-22Work on new approach for sygus involving conditional solutions. Refactoring o...ajreynol
2017-03-18Fix for bug 707.Clark Barrett
2017-03-16Fixes bug 781. Copy constructor for Expr needed to set the NodeManagerScope.Tim King
2017-03-16Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ...ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-12-29Eliminating a signed vs. unsigned comparison.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback