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

2019-12-02	makaimann	OpTerm Refactor: Allow retrieving OpTerm used to create...	blob \| commitdiff \| raw
2019-10-22	Aina Niemetz	NodeValue: Eliminate redundant NBITS macros. (#3400)	blob \| commitdiff \| raw \| diff to current
2019-04-30	Andrew Reynolds	Eliminate APPLY kind (#2976)	blob \| commitdiff \| raw \| diff to current
2019-04-26	Aina Niemetz	New C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-02-13	Aina Niemetz	New C++ API: Remove redundant mkTerm function. (#2836)	blob \| commitdiff \| raw \| diff to current
2019-01-29	Aina Niemetz	New C++ API: Fix checks for mkTerm. (#2820)	blob \| commitdiff \| raw \| diff to current
2019-01-10	Aina Niemetz	New C++ API: Get rid of mkConst functions (simplify...	blob \| commitdiff \| raw \| diff to current
2019-01-03	Aina Niemetz	New C++ API: Add tests for mk-functions in solver objec...	blob \| commitdiff \| raw \| diff to current
2018-08-28	Aina Niemetz	New C++ API: Fix isDefinedKind() to not be ambigious...	blob \| commitdiff \| raw \| diff to current
2018-08-24	Aina Niemetz	New C++ API: Add checks for kind arguments. (#2369)	blob \| commitdiff \| raw \| diff to current
2018-06-29	Aina Niemetz	New C++ API: Implementation of Result. (#2112)	blob \| commitdiff \| raw \| diff to current
2018-06-27	Aina Niemetz	Header for new C++ API. (#1697)	blob \| commitdiff \| raw \| diff to current

RSS Atom