summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2018-09-26Fix bug in getSymbols. (#2544)Andrew Reynolds
2018-09-24cmake: Fix dependencies for code generation. (#2524)Mathias Preiner
2018-09-24Fix wiki urls. (#2504)Mathias Preiner
2018-09-24cmake: Fix theory order #2. (#2522)Mathias Preiner
2018-09-23 New C++ API: Add checks for Terms/OpTerms. (#2455)Aina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Add missing dependency.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-10Set NodeManager to nullptr when exporting vars (#2445)Andres Noetzli
2018-09-07 Make isClosedEnumerable a member of TypeNode (#2434)Andrew Reynolds
2018-09-05Finer-grained inference of substitutions in incremental mode (#2403)Andrew Reynolds
2018-08-31Fix export of bound variables (#2409)Haniel Barbosa
2018-08-29Forcing attribute_internals.h to use uint64_t's for shift operations. (#2370)Tim King
2018-08-27Make division chainable in the smt2 parser (#2367)Andrew Reynolds
2018-08-23 Do not print internally generated datatypes in external outputs with sygus (...Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
2018-08-15Removing attribute cleanups. (#2300)Tim King
2018-08-13Removing support for T* and const T* attributes. (#2297)Tim King
2018-08-11Make attributes robust to static init orderings (#2295)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback