summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2019-04-29Eliminate APPLY kind (#2976)Andrew Reynolds
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-04-17More use of isClosure (#2959)Andrew Reynolds
2019-03-28Fix freeing nodes with maxed refcounts (#2903)Andres Noetzli
2019-03-26Update copyright headers.Aina Niemetz
2019-03-26Fix warnings about wrong line numbers (#2899)Andres Noetzli
2019-03-23Fix memory leak when using subsolvers (#2893)Andres Noetzli
2019-03-15Adding capture avoiding substitution (#2867)Haniel Barbosa
2019-03-14Properly handle lambdas in relevant domain (#2853)Andrew Reynolds
2019-03-14 Add getFreeVariables method to node algorithm (#2852)Andrew Reynolds
2019-01-29New C++ API: Fix checks for mkTerm. (#2820)Aina Niemetz
2019-01-22 Fix parsing of overloaded parametric datatype selectors (#2819)Andrew Reynolds
2018-12-17Remove noop. (#2763)Aina Niemetz
2018-12-17New C++ API: Add tests for term object. (#2755)Aina Niemetz
2018-11-27Make (T)NodeTrie a general utility (#2489)Andrew Reynolds
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-12Improvements to rewrite rules from inputs (#2625)Andrew Reynolds
2018-10-10Fix compiler warnings (#2602)Andres Noetzli
2018-10-10Synthesize rewrite rules from inputs (#2608)Andrew Reynolds
2018-10-04New C++ API: Add checks for Sorts. (#2519)Aina Niemetz
2018-10-03Simplify datatypes printing (#2573)Andrew Reynolds
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback