summaryrefslogtreecommitdiff
path: root/src/expr/expr_manager_template.cpp
AgeCommit message (Expand)Author
2021-03-11Delete Expr layer. (#6117)Aina Niemetz
2021-03-10Move ExprManager::isNAryKind to NodeManager. (#6107)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-08New C++ API: Migrate to Node layer. (#6070)Aina Niemetz
2021-01-11Further simplifications in preparation for removing Expr layer (#5756)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-02Remove #line directives from generated files. (#5005)Gereon Kremer
2020-08-25Replace Expr-level datatype with Node-level DType (#4875)Andrew Reynolds
2020-08-01Add methods for constructing datatype types from NodeManager (#4823)Andrew Reynolds
2020-07-10Adding test for whether a kind is n-ary (#4718)Haniel Barbosa
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-07-06Front end support for sequences (#4690)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-25Embed mkAssociative utilities within the API. (#3801)Andrew Reynolds
2019-12-16Move Datatype management to ExprManager (#3568)Andrew Reynolds
2019-12-12Use the node-level datatypes API (#3556)Andrew Reynolds
2019-12-11Activate node-level datatype API (#3540)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-09-18Minor cleaning (#3295)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2019-01-29New C++ API: Fix checks for mkTerm. (#2820)Aina Niemetz
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-01Fix API call for reg exp. (#2248)Andrew Reynolds
2018-08-01Fix issues with printing parametric datatypes in smt2 (#2213)Andrew Reynolds
2018-07-14exportTo only if needed for --sygus-rr-synth-check (#2168)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-01-27Removing an unused variable. Resolves CID 1172257. (#1542)Tim King
2018-01-17Removes yet more throw specifiers. Updating the documentation as needed. (#1518)Tim King
2018-01-04Removing miscellaneous throw specifiers. (#1474)Tim King
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-05-12Make signal handlers saferAndres Notzli
2017-04-12Add nullary operator metakind.ajreynol
2016-11-01Fix memory leak in TheorySetsRels. Minor cleanup.ajreynol
2016-11-01Revert change to Datatypes API to return vector of DatatypeTypes, as before. ...ajreynol
2016-11-01Revert change to datatypes API for passing pointers, instead make deep copy d...ajreynol
2016-11-01Working memory leak free version, changes interface to pointers.ajreynol
2016-09-14Support for unique variable generation in node manager.ajreynol
2016-09-12Ensure sep.nil is unique per type at NodeManager level. Add simple symmetry b...ajreynol
2016-07-27Fix out-of-bounds access in ExprManagerAndres Notzli
2016-06-23Fixed some warnings, fixed bug in cdhashmap that was crashing cdmap_black,Clark Barrett
2016-06-17Cleanup from last commit, treat sep.nil as variable kind.ajreynol
2016-04-14Add missing function for regexp to expr manager.ajreynol
2016-04-03Updating the copyright headers and scripts.Tim King
2016-02-15More simplification to internal implementation of tuples and records.ajreynol
2016-02-15Eliminate most of the internal representation infrastructure for tuples and r...ajreynol
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-24Miscellaneous fixesTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback