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

2022-03-26	Aina Niemetz	api: Rename SortConstructor to *UninterpretedSortConstruct...	commit \| commitdiff \| tree
2022-03-25	Aina Niemetz	api: More comprehensive documentation of INTERNAL_KIND...	commit \| commitdiff \| tree
2022-03-25	Aina Niemetz	api: Remove Sort::isParametricDatatype(). (#8405)	commit \| commitdiff \| tree
2022-03-25	Aina Niemetz	api: Rename kind NULL_EXPR to NULL_TERM. (#8402)	commit \| commitdiff \| tree
2022-03-25	Aina Niemetz	api: Remove blocks in kinds header. (#8398)	commit \| commitdiff \| tree
2022-03-25	Aina Niemetz	api: Refactor kinds documentation. (#8384)	commit \| commitdiff \| tree
2022-03-17	Aina Niemetz	ctest: Fix labels for python unit tests. (#8328)	commit \| commitdiff \| tree
2022-03-17	Aina Niemetz	api: Fix documentation for TO_FP kinds. (#8329)	commit \| commitdiff \| tree
2022-03-17	Aina Niemetz	api: Fix documentation for UNINTERPRETED_SORT_VALUE...	commit \| commitdiff \| tree
2022-03-16	Aina Niemetz	Add unit test and assertion to test and catch cvc5...	commit \| commitdiff \| tree
2022-03-16	Aina Niemetz	First step towards refactoring regression tests. (...	commit \| commitdiff \| tree
2022-03-15	Aina Niemetz	api: Remove Sort::isFirstClass(). (#8312)	commit \| commitdiff \| tree
2022-03-15	Aina Niemetz	Rename TO_FP operator kinds. (#8285)	commit \| commitdiff \| tree
2022-03-11	Aina Niemetz	api: Make checks header private. (#8283)	commit \| commitdiff \| tree
2022-02-04	Aina Niemetz	FP: Rename tester kinds. (#8037)	commit \| commitdiff \| tree
2022-02-03	Aina Niemetz	Rename kind PLUS -> ADD. (#8036)	commit \| commitdiff \| tree
2022-02-03	Aina Niemetz	api: Remove obsolete function declaration in Cython...	commit \| commitdiff \| tree
2022-02-03	Aina Niemetz	api: Rename kinds MINUS -> SUB and UMINUS -> NEG. ...	commit \| commitdiff \| tree
2022-02-03	Aina Niemetz	api: Add explicit guard for option produce-assertions...	commit \| commitdiff \| tree
2022-02-02	Aina Niemetz	Rename kinds MINUS -> SUB and UMINUS -> NEG. (#8035)	commit \| commitdiff \| tree
2022-02-02	Aina Niemetz	api: Rename mk<Value> functions for FP for consistency...	commit \| commitdiff \| tree
2022-01-27	Aina Niemetz	Update AUTHORS und copyright of docs configuration...	commit \| commitdiff \| tree
2022-01-11	Aina Niemetz	api: Fix formatting of docs for Term::getSetValue(...	commit \| commitdiff \| tree
2022-01-10	Aina Niemetz	api: Remove Sort::isComparableTo(). (#7903)	commit \| commitdiff \| tree
2022-01-05	Aina Niemetz	cppapi: Remove Datatype::hasNestedRecursion(). (#7878)	commit \| commitdiff \| tree
2022-01-05	Aina Niemetz	api: Add missing guard for Datatype::isFinite(). (...	commit \| commitdiff \| tree
2022-01-04	Aina Niemetz	Reorder NodeManager class according to code guidelines...	commit \| commitdiff \| tree
2022-01-04	Aina Niemetz	api: Add unit test for null case of Sort::toString...	commit \| commitdiff \| tree
2022-01-04	Aina Niemetz	api: Remove redundant check in Term::toString(). (...	commit \| commitdiff \| tree
2022-01-03	Aina Niemetz	api: Remove redundant check in Sort::toString(). (...	commit \| commitdiff \| tree
2021-12-17	Aina Niemetz	api: java: Support default arity for Solver::mkUnresolvedSor...	commit \| commitdiff \| tree
2021-12-17	Aina Niemetz	api: Rename DatatypeSelector::getRangeSort() to getCodomainS...	commit \| commitdiff \| tree
2021-12-17	Aina Niemetz	api: Add Solver::mkUnresolvedSort(). (#7817)	commit \| commitdiff \| tree
2021-12-16	Aina Niemetz	api: Add Sort::hasSymbol() and Sort::getSymbol(). ...	commit \| commitdiff \| tree
2021-12-15	Aina Niemetz	api: Fix smt-lib code blocks and math in C++ docs....	commit \| commitdiff \| tree
2021-12-14	Aina Niemetz	api: Add note to Solver::mkDatatypeSorts. (#7799)	commit \| commitdiff \| tree
2021-12-10	Aina Niemetz	api: Use 'note' constructs for API documentation. ...	commit \| commitdiff \| tree
2021-12-10	Aina Niemetz	Reorganize declareDatatype unit tests. (#7767)	commit \| commitdiff \| tree
2021-12-09	Aina Niemetz	api: Add note to Sort::getTesterCodomainSort(). (#7776)	commit \| commitdiff \| tree
2021-12-08	Aina Niemetz	api: Improve documentation for getDatatypeParamSorts...	commit \| commitdiff \| tree
2021-12-08	Aina Niemetz	api: Fix Sort::getDatatypeArity() for non-parametric...	commit \| commitdiff \| tree
2021-12-08	Aina Niemetz	FP: Remove static call to Rewriter. (#7765)	commit \| commitdiff \| tree
2021-12-03	Aina Niemetz	api: Fix docs for TUPLE_PROJECT. (#7741)	commit \| commitdiff \| tree
2021-11-25	Aina Niemetz	api: Refactor mkTerm for kinds with arity = 0. (#7699)	commit \| commitdiff \| tree
2021-11-24	Aina Niemetz	examples: Update python api datatypes example. (#7692)	commit \| commitdiff \| tree
2021-11-24	Aina Niemetz	examples: Update Java datatypes example with recent...	commit \| commitdiff \| tree
2021-11-24	Aina Niemetz	examples: Extend DT api example with APPLY_TESTER and...	commit \| commitdiff \| tree
2021-11-24	Aina Niemetz	api: Fix creation of nary term kinds via Op. (#7688)	commit \| commitdiff \| tree
2021-11-18	Aina Niemetz	api: Fix categorization of DT kinds in kind maps. ...	commit \| commitdiff \| tree
2021-11-18	Aina Niemetz	api: Fix kind documentation for BAG_MAKE. (#7663)	commit \| commitdiff \| tree
2021-11-15	Aina Niemetz	api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)	commit \| commitdiff \| tree
2021-11-10	Aina Niemetz	api: Add Solver::mkRegexpAll(). (#7614)	commit \| commitdiff \| tree
2021-11-10	Aina Niemetz	sets: Rename set.intersection to set.inter. (#7622)	commit \| commitdiff \| tree
2021-11-10	Aina Niemetz	Reorganize test/unit/api directory. (#7612)	commit \| commitdiff \| tree
2021-11-09	Aina Niemetz	Clean up ctest configuration and CI test configuration...	commit \| commitdiff \| tree
2021-11-09	Aina Niemetz	sets: Update theory reference and smt2 examples. (...	commit \| commitdiff \| tree
2021-11-09	Aina Niemetz	regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match...	commit \| commitdiff \| tree
2021-11-08	Aina Niemetz	sets: Rename kinds with a more consistent naming scheme...	commit \| commitdiff \| tree
2021-11-03	Aina Niemetz	api: Rename some separation logic functions for consistency...	commit \| commitdiff \| tree
2021-11-03	Aina Niemetz	Add unit test to cover previous failure with second...	commit \| commitdiff \| tree
2021-11-01	Aina Niemetz	api: Fix documentation for kind IAND. (#7536)	commit \| commitdiff \| tree
2021-10-21	Aina Niemetz	docs: Use light gray for background on the right. ...	commit \| commitdiff \| tree
2021-10-20	Aina Niemetz	api: Add Solver::mkSepEmp(). (#7432)	commit \| commitdiff \| tree
2021-10-20	Aina Niemetz	api: Improve documentation for special cases with nullary...	commit \| commitdiff \| tree
2021-10-20	Aina Niemetz	api: Rename get(BV\|FP)*Size functions for consistency...	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Clean up occurrences of SmtEngine in comments. (#7349)	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Get rid of unused member d_smtStats in ExpandDefs....	commit \| commitdiff \| tree
2021-10-12	Aina Niemetz	Rename SmtEngineState to SolverEngineState. (#7344)	commit \| commitdiff \| tree
2021-10-11	Aina Niemetz	Rename SmtEngineStatistics to SolverEngineStatistics...	commit \| commitdiff \| tree
2021-10-11	Aina Niemetz	Rename SmtScope to SolverEngineScope. (#7284)	commit \| commitdiff \| tree
2021-10-01	Aina Niemetz	Rename SmtEngine to SolverEngine. (#7282)	commit \| commitdiff \| tree
2021-09-30	Aina Niemetz	Rename files smt_engine.(cpp\|h) to solver_engine.(cpp...	commit \| commitdiff \| tree
2021-09-22	Aina Niemetz	arrays: Use EnvObj::rewrite and EnvObj::options. (...	commit \| commitdiff \| tree
2021-09-22	Aina Niemetz	arrays: Move type enumerator implementation to .cpp...	commit \| commitdiff \| tree
2021-09-21	Aina Niemetz	README: Fix link to INSTALL.rst. (#7222)	commit \| commitdiff \| tree
2021-09-20	Aina Niemetz	TheoryModel: Use EnvObj::rewrite instead of Rewriter...	commit \| commitdiff \| tree
2021-09-13	Aina Niemetz	FP: Rename FpConverter to FpWordBlaster. (#7170)	commit \| commitdiff \| tree
2021-09-11	Aina Niemetz	checkModel: Extend documentation. (#7177)	commit \| commitdiff \| tree
2021-09-10	Aina Niemetz	FP: Enable caching in the theory inference manager...	commit \| commitdiff \| tree
2021-09-10	Aina Niemetz	FP: Use EnvObj::rewrite() and options() in theory_fp...	commit \| commitdiff \| tree
2021-09-10	Aina Niemetz	FP: Do not send trivial lemmas. (#7167)	commit \| commitdiff \| tree
2021-09-09	Aina Niemetz	pp passes: Use EnvObj::rewrite() instead of Rewriter...	commit \| commitdiff \| tree
2021-09-07	Aina Niemetz	sygus: Eliminate calls to Rewriter::rewrite. (#7142)	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	EnvObj: Add options(), context(), userContext(). (...	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	sygus: Make more classes derive from EnvObj. (#7140)	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	sygus: Make CeSingleInv derive from EnvObj. (#7136)	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	theory: Have more classes in theory with reference...	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	theory: Have Theory and TheoryArith* derive from EnvObj...	commit \| commitdiff \| tree
2021-09-03	Aina Niemetz	pp: Have PreprocessingPassContext derive from EnvObj...	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	Disable sygus-inst for regression close to time limit...	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	EnvObj: Restrict access. (#7121)	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	Remove PreprocessingPassContext::getSmt(). (#7118)	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	pp: Derive PreprocessingPass from EnvObj. (#7112)	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	Enable sygus-inst for FP, NIA and NRA. (#7098)	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	rewriter: Make rewriteEqualityExt non-static. (#7110)	commit \| commitdiff \| tree
2021-09-02	Aina Niemetz	Add class EnvObj. (#7113)	commit \| commitdiff \| tree
2021-09-01	Aina Niemetz	Clean up and document PP context. (#7102)	commit \| commitdiff \| tree
2021-09-01	Aina Niemetz	Clean up TheoryEngine header according to code style...	commit \| commitdiff \| tree
2021-09-01	Aina Niemetz	rewriter: Make registerTheoryRewriter non-static. ...	commit \| commitdiff \| tree
2021-09-01	Aina Niemetz	rewriter: Make clearCaches non-static. (#7100)	commit \| commitdiff \| tree
next

RSS Atom