projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make one CI job not use libpoly (#8261)
2022-03-08 Gereon KremerMake one CI job not use libpoly (#8261)
 commit | commitdiff | tree
2022-03-04 Gereon KremerOnly build wheels nightly and for releases (#8223)
 commit | commitdiff | tree
2022-03-02 Gereon KremerRefactor rewriting of arithmetic division (#8195)
 commit | commitdiff | tree
2022-03-02 Gereon KremerPrune spurious roots in lazard evaluation of coverings...
commit | commitdiff | tree
2022-03-02 Gereon KremerAdd standard theories to documentation (#8192)
 commit | commitdiff | tree
2022-02-28 Gereon KremerAdd scripts to build python wheels (#8132)
 commit | commitdiff | tree
2022-02-28 Gereon KremerRefactor rewriting of arithmetic leafs (#8177)
 commit | commitdiff | tree
2022-02-28 Gereon KremerRefactor rewriting of arithmetic addition (#8180)
 commit | commitdiff | tree
2022-02-25 Gereon KremerAdd utilities to rewrite atoms for the arithmetic rewriter...
commit | commitdiff | tree
2022-02-25 Gereon KremerRefactor rewriting of arithmetic negation and subtraction...
commit | commitdiff | tree
2022-02-25 Gereon KremerSlightly refactor arithmetic rewriting for extended...
commit | commitdiff | tree
2022-02-24 Gereon KremerImprove error message for missing options include ...
commit | commitdiff | tree
2022-02-24 Gereon KremerGet rid of some static objects in arithmetic theory...
commit | commitdiff | tree
2022-02-23 Gereon KremerAdd two regressions related to RAN models (#8142)
 commit | commitdiff | tree
2022-02-23 Gereon KremerRemove long obsolete unsafe interrupt exception (#8139)
 commit | commitdiff | tree
2022-02-23 Gereon KremerFix creation of RAN from non-dyadic rational (#8138)
 commit | commitdiff | tree
2022-02-23 Gereon KremerFix icp candidate parsing (#8137)
 commit | commitdiff | tree
2022-02-23 Gereon KremerFix pruning of covering intervals in proofs (#8084)
 commit | commitdiff | tree
2022-02-23 Gereon KremerRefactor multiplication in arithmetic rewriter (#7965)
 commit | commitdiff | tree
2022-02-08 Gereon KremerAdd addition utilities for the arithmetic rewriter...
commit | commitdiff | tree