projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix rewrite for eliminating constant factors of PI from argument to sine (#8031)
2022-02-02
Gereon Kremer
Use proper filename in -o subs documentation (#8030)
commit
|
commitdiff
|
tree
2022-02-02
Gereon Kremer
Add additional check to avoid cyclic substitution ...
commit
|
commitdiff
|
tree
2022-02-01
Gereon Kremer
Add new ordering utility (#8008)
commit
|
commitdiff
|
tree
2022-02-01
Gereon Kremer
Consider RANs in variable ordering (#7964)
commit
|
commitdiff
|
tree
2022-01-31
Gereon Kremer
Add utilities for flattening nodes (#7961)
commit
|
commitdiff
|
tree
2022-01-29
Gereon Kremer
Rename docs-releases to docs (#7999)
commit
|
commitdiff
|
tree
2022-01-28
Gereon Kremer
Fix docs upload once again (#7997)
commit
|
commitdiff
|
tree
2022-01-27
Gereon Kremer
Properly recognize whether the current commit is a...
commit
|
commitdiff
|
tree
2022-01-24
Gereon Kremer
Disable regression if poly is not available (#7981)
commit
|
commitdiff
|
tree
2022-01-24
Gereon Kremer
Always compile RANs (#7979)
commit
|
commitdiff
|
tree
2022-01-24
Gereon Kremer
Use proper RAN nodes for nl model (#7939)
commit
|
commitdiff
|
tree
2022-01-24
Gereon Kremer
Refactor how arith rewriting checks for mult-by-zero...
commit
|
commitdiff
|
tree
2022-01-24
Gereon Kremer
Have RAN fall back to RANs (#7976)
commit
|
commitdiff
|
tree
2022-01-20
Gereon Kremer
Refactor abs rewriting (#7935)
commit
|
commitdiff
|
tree
2022-01-19
Gereon Kremer
Fix a subtle issue with double negations in coverings...
commit
|
commitdiff
|
tree
2022-01-19
Gereon Kremer
Make tracing for arithmetic rewriter more consistent...
commit
|
commitdiff
|
tree
2022-01-19
Gereon Kremer
Update to latest libpoly version (#7963)
commit
|
commitdiff
|
tree
2022-01-18
Gereon Kremer
Some random documentation issues (#7921)
commit
|
commitdiff
|
tree
2022-01-15
Gereon Kremer
Change how RANs are printed (#7955)
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
Preprare central model building for RANs (#7951)
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
refactor div rewriter, add support for ran (#7941)
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
Add operator<<(RewriteStatus) (#7952)
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
Refactor arithmetic pre-rewriter for multiplication...
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
Add support for RANs in rewriter for `MULT` (#7940)
commit
|
commitdiff
|
tree
2022-01-14
Gereon Kremer
Add RAN support in UMINUS rewriter (#7933)
commit
|
commitdiff
|
tree
2022-01-13
Gereon Kremer
Add arithmetic rewriter for RAN (#7929)
commit
|
commitdiff
|
tree
2022-01-13
Gereon Kremer
Refactor post rewriter for addition (#7931)
commit
|
commitdiff
|
tree
2022-01-13
Gereon Kremer
Fix check whether we have a tag (#7901)
commit
|
commitdiff
|
tree
2022-01-12
Gereon Kremer
Refactor atom rewriting to be RAN-aware (#7928)
commit
|
commitdiff
|
tree
2022-01-12
Gereon Kremer
Refactor rewriteMinus (#7932)
commit
|
commitdiff
|
tree
2022-01-12
Gereon Kremer
Always enable RAN, but disable its implementation without...
commit
|
commitdiff
|
tree
2022-01-12
Gereon Kremer
Add mkRealAlgebraicNumber (#7923)
commit
|
commitdiff
|
tree
2022-01-11
Gereon Kremer
Adds a kind to hold RealAlgebraicNumber constants ...
commit
|
commitdiff
|
tree
2022-01-11
Gereon Kremer
Remove static accesses to options (#7913)
commit
|
commitdiff
|
tree
2022-01-10
Gereon Kremer
Add new methods for RealAlgebraicNumber (#7907)
commit
|
commitdiff
|
tree
2022-01-10
Gereon Kremer
Update to latest libpoly version (#7906)
commit
|
commitdiff
|
tree
2022-01-07
Gereon Kremer
Improve docs extension for examples (#7900)
commit
|
commitdiff
|
tree
2022-01-07
Gereon Kremer
Some minor improvements to the theory references (...
commit
|
commitdiff
|
tree
2022-01-06
Gereon Kremer
Improve theory combination in the presence of real...
commit
|
commitdiff
|
tree
2022-01-03
Gereon Kremer
Add download link for examples in documentation (#7836)
commit
|
commitdiff
|
tree
2022-01-03
Gereon Kremer
Remove static options from sat solver. (#7790)
commit
|
commitdiff
|
tree
2021-12-21
Gereon Kremer
Disable unit tests without poly (#7844)
commit
|
commitdiff
|
tree
2021-12-17
Gereon Kremer
Fix tracker in SubstitutionMap (#7829)
commit
|
commitdiff
|
tree
2021-12-14
Gereon Kremer
Make some undocumented options regular/expert (#7805)
commit
|
commitdiff
|
tree
2021-12-14
Gereon Kremer
Fix issues with tracing builds (#7809)
commit
|
commitdiff
|
tree
2021-12-13
Gereon Kremer
Improve nonlinear solver (#7787)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Eliminate more static rewrites (#7786)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Some cleanup around trace and debug (#7792)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Allow for wildcards in `-t` (#7791)
commit
|
commitdiff
|
tree
2021-12-09
Gereon Kremer
Fix sine symmetry proof (#7783)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Remove rewrites from iand and pow2 solvers (#7775)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Eliminate rewriter from transcendental solver (#7772)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Static options acceses again (#7771)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Improve options tests (#7761)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Remove more static accesses to options (#7764)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Simpler versioning if release flag is set (#7758)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Fix 32bit issue in sep_log_api test (#7752)
commit
|
commitdiff
|
tree
2021-12-06
Gereon Kremer
Disable option regression for competition build (#7751)
commit
|
commitdiff
|
tree
2021-12-06
Gereon Kremer
Use unique_ptr instead of raw pointers (#7749)
commit
|
commitdiff
|
tree
2021-12-04
Gereon Kremer
More robust fix for 32bit issues. (#7735)
commit
|
commitdiff
|
tree
2021-12-03
Gereon Kremer
Fix a few broken links (#7734)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Add explicit 64bit getters for Integer class (#7728)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Remove void as possible option type (#7731)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Check docs for broken links before uploading (#7729)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Add unit tests for api::Solver::setOption() (#7708)
commit
|
commitdiff
|
tree
2021-12-01
Gereon Kremer
Add the first example for z3pycompat (#7722)
commit
|
commitdiff
|
tree
2021-12-01
Gereon Kremer
Use new token for docs-release (#7709)
commit
|
commitdiff
|
tree
2021-11-30
Gereon Kremer
Always run update-pr (#7719)
commit
|
commitdiff
|
tree
2021-11-30
Gereon Kremer
Extend docs example extension (#7717)
commit
|
commitdiff
|
tree
2021-11-30
Gereon Kremer
Remove now unused dumping infrastructure (#7703)
commit
|
commitdiff
|
tree
2021-11-29
Gereon Kremer
Fix minor issues (#7704)
commit
|
commitdiff
|
tree
2021-11-25
Gereon Kremer
Consolidate CI jobs (#7697)
commit
|
commitdiff
|
tree
2021-11-23
Gereon Kremer
Add kinds to python docs (#7672)
commit
|
commitdiff
|
tree
2021-11-23
Gereon Kremer
Push output language inside the printing code (#7683)
commit
|
commitdiff
|
tree
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
commit
|
commitdiff
|
tree
2021-11-22
Gereon Kremer
Set proper system processor for arm64 toolchain (#7665)
commit
|
commitdiff
|
tree
2021-11-18
Gereon Kremer
Refactor CAD option for linear model seed (#7657)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
Add documentation for z3py compatibility API (#7652)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
Implement aggressive pruning in CAD solver (#7650)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
make default and modes strings instead of enum values...
commit
|
commitdiff
|
tree
2021-11-12
Gereon Kremer
Various minor docs improvements (#7626)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Make secant points user context dependent (#7567)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove `CVC5Message` (#7610)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove antlr_tracing.h (#7608)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove more static option accesses (#7582)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove command-verbosity option (#7581)
commit
|
commitdiff
|
tree
2021-11-08
Gereon Kremer
Improve rendering of expert options. (#7589)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Integrate java unit tests into ctest (#7593)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Only run regress0 for static build (#7592)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Remove `Notice()` in favor of new `verbose()` (#7588)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove `Chat()` in favor of new `verbose()` (#7586)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Fix some issues with the java api (#7583)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove quadratic solving in NlModel (#7542)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Eliminate `Warning` macro in favor of `EnvObj::warning...
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove a bunch of debugging/logging code from the linear...
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Fix links in README.md (#7568)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Enable CDCAC solver for selected quantified logics...
commit
|
commitdiff
|
tree
next