projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix sygus-inst when combined with bounded string quantifiers (#8500)
2022-04-01
Gereon Kremer
Also run on created. (#8506)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Improve documentation for Statistics in C++ API (#8476)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Install necessary packages (#8479)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Only run update-pr for normal commits on main (#8478)
commit
|
commitdiff
|
tree
2022-03-31
Gereon Kremer
Improve documentation for OptionInfo (#8474)
commit
|
commitdiff
|
tree
2022-03-30
Gereon Kremer
Allow for multiple (equal) base model values (#8467)
commit
|
commitdiff
|
tree
2022-03-26
Gereon Kremer
Add API unit tests for options (#8339)
commit
|
commitdiff
|
tree
2022-03-24
Gereon Kremer
Document proof rules for coverings solver (#8376)
commit
|
commitdiff
|
tree
2022-03-24
Gereon Kremer
Document arithmetic proof rules (#8373)
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Add API unit tests for statistics (#8341)
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Add `getOptionInfo()` and `getOptionNames()` to python...
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Document proof rules for transcendentals (#8375)
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Run gen-versioninfo unconditionally (#8368)
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Store latest builds in a special release (#8337)
commit
|
commitdiff
|
tree
2022-03-23
Gereon Kremer
Remove dependency on build (#8367)
commit
|
commitdiff
|
tree
2022-03-22
Gereon Kremer
Refactor proof rule documentation (#8303)
commit
|
commitdiff
|
tree
2022-03-22
Gereon Kremer
Make uncovered-api-functions.py exit with 1 if something...
commit
|
commitdiff
|
tree
2022-03-21
Gereon Kremer
Refactor documentation (#8288)
commit
|
commitdiff
|
tree
2022-03-21
Gereon Kremer
Fix names of unit tests (#8338)
commit
|
commitdiff
|
tree
2022-03-20
Gereon Kremer
Add `getStatistics()` to python API (#8343)
commit
|
commitdiff
|
tree
2022-03-17
Gereon Kremer
Replace `Debug` by `Trace` (#7793)
commit
|
commitdiff
|
tree
2022-03-17
Gereon Kremer
don't build gtest in CI (#8323)
commit
|
commitdiff
|
tree
2022-03-16
Gereon Kremer
Use native cancellation mechanism (#8311)
commit
|
commitdiff
|
tree
2022-03-15
Gereon Kremer
Enable nl-cov-var-elim by default, but disable with...
commit
|
commitdiff
|
tree
2022-03-11
Gereon Kremer
Add first step for proofs documentation (#8193)
commit
|
commitdiff
|
tree
2022-03-09
Gereon Kremer
Rename expert statistics to internal, add documentation...
commit
|
commitdiff
|
tree
2022-03-09
Gereon Kremer
Clear obsolete pending lemmas in arithmetic (#8236)
commit
|
commitdiff
|
tree
2022-03-08
Gereon Kremer
Produce intermediate json output for coverage (#8252)
commit
|
commitdiff
|
tree
2022-03-08
Gereon Kremer
Make one CI job not use libpoly (#8261)
commit
|
commitdiff
|
tree
2022-03-08
Gereon Kremer
Script to list not covered API functions (#8254)
commit
|
commitdiff
|
tree
2022-03-08
Gereon Kremer
Rerun failed tests in CI (#8258)
commit
|
commitdiff
|
tree
2022-03-08
Gereon Kremer
Don't run the pypi packaging job on forks (#8256)
commit
|
commitdiff
|
tree
2022-03-07
Gereon Kremer
Fix docs warnings (#8019)
commit
|
commitdiff
|
tree
2022-03-07
Gereon Kremer
Try harder to show that a RAN is rational (#8230)
commit
|
commitdiff
|
tree
2022-03-05
Gereon Kremer
Add regressions for fixed issue (#8237)
commit
|
commitdiff
|
tree
2022-03-04
Gereon Kremer
Add unit test for fixed issue (#8235)
commit
|
commitdiff
|
tree
2022-03-04
Gereon Kremer
Remove spurious assertion in linear solver (#8231)
commit
|
commitdiff
|
tree
2022-03-04
Gereon Kremer
Guard recursion into terms during substitution in arithmetic...
commit
|
commitdiff
|
tree
2022-03-04
Gereon Kremer
Only build wheels nightly and for releases (#8223)
commit
|
commitdiff
|
tree
2022-03-03
Gereon Kremer
Build python wheels in our CI (#8087)
commit
|
commitdiff
|
tree
2022-03-03
Gereon Kremer
Integrate pythonic api (#8131)
commit
|
commitdiff
|
tree
2022-03-03
Gereon Kremer
Fix rewriting of mixed-integer atoms (#8214)
commit
|
commitdiff
|
tree
2022-03-02
Gereon Kremer
Move libpoly <-> CoCoA conversion to new utility (...
commit
|
commitdiff
|
tree
2022-03-02
Gereon Kremer
Refactor rewriting of arithmetic division (#8195)
commit
|
commitdiff
|
tree
2022-03-02
Gereon Kremer
Prune spurious roots in lazard evaluation of coverings...
commit
|
commitdiff
|
tree
2022-03-02
Gereon Kremer
Add standard theories to documentation (#8192)
commit
|
commitdiff
|
tree
2022-03-01
Gereon Kremer
Rename cad to coverings (#8187)
commit
|
commitdiff
|
tree
2022-02-28
Gereon Kremer
Refactor rewriting of arithmetic atoms (#8175)
commit
|
commitdiff
|
tree
2022-02-28
Gereon Kremer
Add scripts to build python wheels (#8132)
commit
|
commitdiff
|
tree
2022-02-28
Gereon Kremer
Refactor rewriting of arithmetic leafs (#8177)
commit
|
commitdiff
|
tree
2022-02-28
Gereon Kremer
Refactor rewriting of arithmetic addition (#8180)
commit
|
commitdiff
|
tree
2022-02-25
Gereon Kremer
Add utilities to rewrite atoms for the arithmetic rewriter...
commit
|
commitdiff
|
tree
2022-02-25
Gereon Kremer
Refactor rewriting of arithmetic negation and subtraction...
commit
|
commitdiff
|
tree
2022-02-25
Gereon Kremer
Slightly refactor arithmetic rewriting for extended...
commit
|
commitdiff
|
tree
2022-02-24
Gereon Kremer
Improve error message for missing options include ...
commit
|
commitdiff
|
tree
2022-02-24
Gereon Kremer
Get rid of some static objects in arithmetic theory...
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Add two regressions related to RAN models (#8142)
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Remove long obsolete unsafe interrupt exception (#8139)
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Fix creation of RAN from non-dyadic rational (#8138)
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Fix icp candidate parsing (#8137)
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Fix pruning of covering intervals in proofs (#8084)
commit
|
commitdiff
|
tree
2022-02-23
Gereon Kremer
Refactor multiplication in arithmetic rewriter (#7965)
commit
|
commitdiff
|
tree
2022-02-08
Gereon Kremer
Add addition utilities for the arithmetic rewriter...
commit
|
commitdiff
|
tree
2022-02-08
Gereon Kremer
Print more commonly used murxla commands (#8046)
commit
|
commitdiff
|
tree
2022-02-07
Gereon Kremer
Add user documentation for resource limits (#8058)
commit
|
commitdiff
|
tree
2022-02-07
Gereon Kremer
Allow non-value model values (#8076)
commit
|
commitdiff
|
tree
2022-02-07
Gereon Kremer
Improve combination of NRA and transcendentals (#8075)
commit
|
commitdiff
|
tree
2022-02-04
Gereon Kremer
Use Add instead of Plus (#8043)
commit
|
commitdiff
|
tree
2022-02-03
Gereon Kremer
Improve theory combination over real algebraic models...
commit
|
commitdiff
|
tree
2022-02-03
Gereon Kremer
Replace a some more static options (#8042)
commit
|
commitdiff
|
tree
2022-02-03
Gereon Kremer
Add node utils for the arithmetic rewriter (#8012)
commit
|
commitdiff
|
tree
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
next