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

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
2021-08-31	Aina Niemetz	bv: Remove dump=bv-rewrites. (#7099)	commit \| commitdiff \| tree
2021-08-23	Aina Niemetz	api: Require size argument for mkBitVector. (#6998)	commit \| commitdiff \| tree
2021-08-04	Aina Niemetz	Update bug_report.md	commit \| commitdiff \| tree
2021-08-02	Aina Niemetz	Add 'REQUIRES: poly' to regression. (#6966)	commit \| commitdiff \| tree
2021-07-29	Aina Niemetz	quickstart: Add python example to docs. (#6949)	commit \| commitdiff \| tree
2021-07-23	Aina Niemetz	FP: Add option to word-blast more lazily. (#6904)	commit \| commitdiff \| tree
2021-07-07	Aina Niemetz	pow2: Update NEWS. (#6851)	commit \| commitdiff \| tree
2021-07-07	Aina Niemetz	Rename operator pow2 to int.pow2. (#6849)	commit \| commitdiff \| tree
2021-06-29	Aina Niemetz	FP: Refactor, rewrite and clean up word blasting. ...	commit \| commitdiff \| tree
2021-06-24	Aina Niemetz	api: getRealValue: Fix printing of integer values....	commit \| commitdiff \| tree
2021-06-23	Aina Niemetz	docs: Add quickstart guide. (#6782)	commit \| commitdiff \| tree
2021-06-23	Aina Niemetz	FP: Remove sections guarded with undefined macro SYMFPUPROPI...	commit \| commitdiff \| tree
2021-06-21	Aina Niemetz	docs: Split out and merge C++ class hierarchy. (#6781)	commit \| commitdiff \| tree
2021-06-19	Aina Niemetz	docs: Fix config to produce unique Sphinx section labels...	commit \| commitdiff \| tree
2021-06-19	Aina Niemetz	docs: Remove 'View page source' link in right corner...	commit \| commitdiff \| tree
2021-06-16	Aina Niemetz	Make symfpu a required dependency. (#6749)	commit \| commitdiff \| tree
2021-06-15	Aina Niemetz	docs: Fix reference in sep logic reference. (#6747)	commit \| commitdiff \| tree
2021-06-15	Aina Niemetz	docs: Add references instead of links in theory reference...	commit \| commitdiff \| tree
2021-06-09	Aina Niemetz	docs: Migrate sets and relations theory reference....	commit \| commitdiff \| tree
2021-06-09	Aina Niemetz	docs: Migrate separation logic theory reference. (...	commit \| commitdiff \| tree
2021-06-04	Aina Niemetz	docs: Migrate datatypes theory reference. (#6662)	commit \| commitdiff \| tree
2021-06-02	Aina Niemetz	Remove redundant logic ALL_SUPPORTED. (#6664)	commit \| commitdiff \| tree
2021-06-02	Aina Niemetz	docs: Migrate input languages page. (#6659)	commit \| commitdiff \| tree
2021-06-02	Aina Niemetz	docs: Restructure index page, fix style issue. (#6657)	commit \| commitdiff \| tree
2021-05-27	Aina Niemetz	FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...	commit \| commitdiff \| tree
2021-05-25	Aina Niemetz	api docs: Fix and tweak style for home and top links...	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	api docs: Tweak and fix style. (#6582)	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	api docs: Update copyright. (#6596)	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)	commit \| commitdiff \| tree
2021-05-20	Aina Niemetz	Disable unit testing for clang builds. (#6595)	commit \| commitdiff \| tree
2021-05-20	Aina Niemetz	Fix echo printing. (#6573)	commit \| commitdiff \| tree
2021-05-14	Aina Niemetz	api docs: Tweak style to be consistent with website...	commit \| commitdiff \| tree
2021-05-07	Aina Niemetz	Move slow regressions and update guidelines. (#6508)	commit \| commitdiff \| tree
2021-05-07	Aina Niemetz	Fix and add missing REQUIRE labels for FP regression...	commit \| commitdiff \| tree
2021-05-04	Aina Niemetz	FP: Move removal of generic to_fp operations to rewriter...	commit \| commitdiff \| tree
2021-05-04	Aina Niemetz	FP: Move type check from expandDefinitions. (#6479)	commit \| commitdiff \| tree
2021-05-03	Aina Niemetz	FP: Rewrite to_fp conversion from signed bit-vector...	commit \| commitdiff \| tree
2021-05-03	Aina Niemetz	SymFPU: Automatically apply patch from 2020-11-14....	commit \| commitdiff \| tree
2021-04-30	Aina Niemetz	Add parameter name for argument `isPreRewrite` for...	commit \| commitdiff \| tree
2021-04-27	Aina Niemetz	Bool: Move implementation of type rules to cpp. (#6420)	commit \| commitdiff \| tree
2021-04-23	Aina Niemetz	BV: Add proof logging for bit-blasting. (#6373)	commit \| commitdiff \| tree
2021-04-22	Aina Niemetz	api docs: Rename doxygen output directory. (#6426)	commit \| commitdiff \| tree
2021-04-22	Aina Niemetz	api docs: Remove file reintroduced in past merge. ...	commit \| commitdiff \| tree
2021-04-21	Aina Niemetz	Arithmetic: Move implementation of type rules to cpp...	commit \| commitdiff \| tree
2021-04-21	Aina Niemetz	UF: Move implementation of type rules to cpp. (#6403)	commit \| commitdiff \| tree
2021-04-21	Aina Niemetz	Datatypes: Move implementation of type rules to cpp...	commit \| commitdiff \| tree
2021-04-21	Aina Niemetz	Sets: Move implementation of type rules to cpp. (#6401)	commit \| commitdiff \| tree
2021-04-21	Aina Niemetz	Arrays: Move implementation of type rules to cpp. ...	commit \| commitdiff \| tree
2021-04-20	Aina Niemetz	BV: Move implementation of type rules from header to...	commit \| commitdiff \| tree
2021-04-20	Aina Niemetz	Sep: Move implementation of type rules to cpp. (#6402)	commit \| commitdiff \| tree
2021-04-20	Aina Niemetz	Quantifiers: Move implementation of type rules to cpp...	commit \| commitdiff \| tree
2021-04-20	Aina Niemetz	Remove support for CVC3 language. (#6369)	commit \| commitdiff \| tree
2021-04-20	Aina Niemetz	Add guards to disable clang-format around placeholders...	commit \| commitdiff \| tree
2021-04-15	Aina Niemetz	preprocessing context: Add wrapper for model substitutions...	commit \| commitdiff \| tree
2021-04-15	Aina Niemetz	Rename occurrences of CVC4 to CVC5. (#6351)	commit \| commitdiff \| tree
2021-04-14	Aina Niemetz	Rename public and private headers in src/include. ...	commit \| commitdiff \| tree
2021-04-13	Aina Niemetz	API docs: Add custom target to build for GH pages....	commit \| commitdiff \| tree
2021-04-13	Aina Niemetz	Bags: Move more implementation of type rule from header...	commit \| commitdiff \| tree
2021-04-12	Aina Niemetz	Strings: Move implementation of type rules from header...	commit \| commitdiff \| tree
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	commit \| commitdiff \| tree
2021-04-10	Aina Niemetz	Rename CVC4_ macros to CVC5_. (#6327)	commit \| commitdiff \| tree
2021-04-09	Aina Niemetz	Rename CVC4__ header guards to CVC5__. (#6326)	commit \| commitdiff \| tree
2021-04-09	Aina Niemetz	New C++ Api: Initial layout of Api documentation. ...	commit \| commitdiff \| tree
2021-04-07	Aina Niemetz	Remove old API header. (#6309)	commit \| commitdiff \| tree
2021-04-07	Aina Niemetz	New C++ Api: Rename and move checks.h. (#6306)	commit \| commitdiff \| tree
2021-04-07	Aina Niemetz	New C++ Api: Initial setup of Api documentation. (...	commit \| commitdiff \| tree
2021-04-06	Aina Niemetz	New C++ Api: Rename and move headers. (#6292)	commit \| commitdiff \| tree
2021-04-01	Aina Niemetz	FP: Factor out symfpu traits. (#6246)	commit \| commitdiff \| tree
2021-04-01	Aina Niemetz	Delete hashsmt example. (#6263)	commit \| commitdiff \| tree
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	commit \| commitdiff \| tree
2021-04-01	Aina Niemetz	kinds: Remove non-existent properties. (#6253)	commit \| commitdiff \| tree
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	commit \| commitdiff \| tree
2021-03-31	Aina Niemetz	Bags: Move implementation of type rules from header...	commit \| commitdiff \| tree
next

RSS Atom