projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Simplify computation of relevant terms in datatypes (#6885)
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
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
next