projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add documentation for QuickStart.java (#7730)
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
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
next