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

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
2021-03-31	Aina Niemetz	Fix years in COPYING. (#6248)	commit \| commitdiff \| tree
2021-03-31	Aina Niemetz	FP: Move implementation of type rules from header to...	commit \| commitdiff \| tree
2021-03-29	Aina Niemetz	Fix configuration printing. (#6236)	commit \| commitdiff \| tree
2021-03-29	Aina Niemetz	FloatingPointLiteral: Constructor for special consts...	commit \| commitdiff \| tree
2021-03-27	Aina Niemetz	Use color output to print configuration. (#6219)	commit \| commitdiff \| tree
2021-03-26	Aina Niemetz	FloatingPointLiteral: Make constructors that shouldn...	commit \| commitdiff \| tree
2021-03-25	Aina Niemetz	FP: Refactor FloatingPointLiteral in preparation for...	commit \| commitdiff \| tree
2021-03-23	Aina Niemetz	Remove internal includes of Api header. (#6193)	commit \| commitdiff \| tree
2021-03-22	Aina Niemetz	FP: Add documentation for FloatingPointLiteral constructors...	commit \| commitdiff \| tree
2021-03-19	Aina Niemetz	BitVector: Change setBit to set the bit in place. ...	commit \| commitdiff \| tree
2021-03-19	Aina Niemetz	FP: Use setBit instead of bv or in conversion from...	commit \| commitdiff \| tree
2021-03-18	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-17	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-17	Aina Niemetz	Rename test/unit/expr to test/unit/node. (#6156)	commit \| commitdiff \| tree
2021-03-17	Aina Niemetz	Rename fixtures in test/unit/context to conform to...	commit \| commitdiff \| tree
2021-03-17	Aina Niemetz	Rename fixtures in test/unit/base to conform to naming...	commit \| commitdiff \| tree
2021-03-16	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-15	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-15	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-15	Aina Niemetz	New C++ Api: Comprehensive guards for member functions...	commit \| commitdiff \| tree
2021-03-12	Aina Niemetz	New C++ Api: Move checks to separate file. (#6138)	commit \| commitdiff \| tree
2021-03-12	Aina Niemetz	New C++ API: Rename TRY CATCH macros. (#6135)	commit \| commitdiff \| tree
2021-03-12	Aina Niemetz	Add more unit tests for api::Sort. (#6122)	commit \| commitdiff \| tree
2021-03-11	Aina Niemetz	Delete Expr layer. (#6117)	commit \| commitdiff \| tree
2021-03-11	Aina Niemetz	Remove obsolete test/api/statistics.cpp. (#6116)	commit \| commitdiff \| tree
2021-03-11	Aina Niemetz	Clean up ownership of Datatypes in NodeManager. (#6113)	commit \| commitdiff \| tree
2021-03-11	Aina Niemetz	Refactor Node::getOperator() to fix compiler warning...	commit \| commitdiff \| tree
2021-03-10	Aina Niemetz	New C++ Api: Add missing argument checks in Solver...	commit \| commitdiff \| tree
2021-03-10	Aina Niemetz	Move ExprManager::isNAryKind to NodeManager. (#6107)	commit \| commitdiff \| tree
2021-03-09	Aina Niemetz	New C++ Api: Use const ref for arguments when possible...	commit \| commitdiff \| tree
2021-03-09	Aina Niemetz	New C++ Api: Migrate stats collection for consts, vars...	commit \| commitdiff \| tree
2021-03-09	Aina Niemetz	ContextObj::destroy(): Guard against invalid use. ...	commit \| commitdiff \| tree
2021-03-09	Aina Niemetz	New C++ Api: Clean up usage of internal kind. (#6087)	commit \| commitdiff \| tree
2021-03-09	Aina Niemetz	New C++ API: Reorder and clean up cpp file. (#6086)	commit \| commitdiff \| tree
next

RSS Atom