projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Fix documentation for kind IAND. (#7536)
[cvc5.git] / src / api / cpp / cvc5_kind.h
2021-11-01 Aina Niemetzapi: Fix documentation for kind IAND. (#7536) blob | commitdiff | raw
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) blob | commitdiff | raw | diff to current
2021-10-21 Gereon KremerWorking on windows builds (#7381) blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Improve documentation for special cases with nulla... blob | commitdiff | raw | diff to current
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... blob | commitdiff | raw | diff to current
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) blob | commitdiff | raw | diff to current
2021-08-20 Andrew ReynoldsSimplify how user-provided quantifier attributes are... blob | commitdiff | raw | diff to current
2021-06-15 yoni206pow2: adding a kind, inference rules, and some implemen... blob | commitdiff | raw | diff to current
2021-06-09 Andres NoetzliUpdate CVC4 URLs/macros (#6666) blob | commitdiff | raw | diff to current
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) blob | commitdiff | raw | diff to current
2021-06-02 Andres NoetzliRemove references to `bv-div-zero-const` in docs (... blob | commitdiff | raw | diff to current
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) blob | commitdiff | raw | diff to current
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... blob | commitdiff | raw | diff to current
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerMinor improvements to the API (#6585) blob | commitdiff | raw | diff to current
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) blob | commitdiff | raw | diff to current
2021-04-27 Gereon KremerUse std::hash for API types (#6432) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... blob | commitdiff | raw | diff to current
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) blob | commitdiff | raw | diff to current