git.libre-soc.org Git - cvc5.git/history

[cvc5.git] / src / api / cpp / cvc5_kind.h

2021-12-02	mudathirmahgoub	add bag.fold operator (#7718)	blob \| commitdiff \| raw
2021-11-18	Aina Niemetz	api: Fix kind documentation for BAG_MAKE. (#7663)	blob \| commitdiff \| raw \| diff to current
2021-11-15	Aina Niemetz	api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)	blob \| commitdiff \| raw \| diff to current
2021-11-13	mudathirmahgoub	Add operator set.map to theory of sets (#7641)	blob \| commitdiff \| raw \| diff to current
2021-11-12	mudathirmahgoub	bags: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-11-11	Andrew Reynolds	Add lazy approach for handling lambdas in the HO extens...	blob \| commitdiff \| raw \| diff to current
2021-11-10	Aina Niemetz	sets: Rename set.intersection to set.inter. (#7622)	blob \| commitdiff \| raw \| diff to current
2021-11-09	Aina Niemetz	regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...	blob \| commitdiff \| raw \| diff to current
2021-11-08	Aina Niemetz	sets: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-11-01	Aina Niemetz	api: Fix documentation for kind IAND. (#7536)	blob \| commitdiff \| raw \| diff to current
2021-10-21	Andrew Reynolds	Make cardinality constraint a nullary operator (#7333)	blob \| commitdiff \| raw \| diff to current
2021-10-21	Gereon Kremer	Working on windows builds (#7381)	blob \| commitdiff \| raw \| diff to current
2021-10-20	Aina Niemetz	api: Improve documentation for special cases with nulla...	blob \| commitdiff \| raw \| diff to current
2021-09-30	Andrew Reynolds	Simplify the syntax and representation of the separatio...	blob \| commitdiff \| raw \| diff to current
2021-08-30	mudathirmahgoub	Add kind BAG_MAP and its type rule to bags (#6503)	blob \| commitdiff \| raw \| diff to current
2021-08-20	Andrew Reynolds	Simplify how user-provided quantifier attributes are...	blob \| commitdiff \| raw \| diff to current
2021-06-15	yoni206	pow2: adding a kind, inference rules, and some implemen...	blob \| commitdiff \| raw \| diff to current
2021-06-09	Andres Noetzli	Update CVC4 URLs/macros (#6666)	blob \| commitdiff \| raw \| diff to current
2021-06-09	Andres Noetzli	docs: Fix `Kind` description (#6712)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Andres Noetzli	Remove references to `bv-div-zero-const` in docs (...	blob \| commitdiff \| raw \| diff to current
2021-05-27	Andres Noetzli	Fix `str.replace_re` and `str.replace_re_all` (#6615)	blob \| commitdiff \| raw \| diff to current
2021-05-27	Aina Niemetz	FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...	blob \| commitdiff \| raw \| diff to current
2021-05-21	Aina Niemetz	BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)	blob \| commitdiff \| raw \| diff to current
2021-05-20	Gereon Kremer	Minor improvements to the API (#6585)	blob \| commitdiff \| raw \| diff to current
2021-05-08	Andrew Reynolds	Add support for datatype update (#6449)	blob \| commitdiff \| raw \| diff to current
2021-04-27	Gereon Kremer	Use std::hash for API types (#6432)	blob \| commitdiff \| raw \| diff to current
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	blob \| commitdiff \| raw \| diff to current
2021-04-20	Andrew Reynolds	Add instantiation pool feature to the API (#6358)	blob \| commitdiff \| raw \| diff to current
2021-04-15	Aina Niemetz	Rename occurrences of CVC4 to CVC5. (#6351)	blob \| commitdiff \| raw \| diff to current
2021-04-14	Gereon Kremer	Improve documentation of API kinds (#6341)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-07	Aina Niemetz	New C++ Api: Initial setup of Api documentation. (...	blob \| commitdiff \| raw \| diff to current
2021-04-06	Aina Niemetz	New C++ Api: Rename and move headers. (#6292)	blob \| commitdiff \| raw \| diff to current

RSS Atom