projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add some missing API tests (#8669)
2022-04-29 Gereon KremerAdd some missing API tests (#8669)
 commit | commitdiff | tree
2022-04-28 Gereon KremerMove tests around (#8670)
 commit | commitdiff | tree
2022-04-28 Gereon KremerAdd resource limiting to coverings solver (#8672)
 commit | commitdiff | tree
2022-04-26 Gereon KremerAdd some missing resultants in the coverings solver...
commit | commitdiff | tree
2022-04-05 Gereon KremerMake rewriter more robust against RAN becoming rational...
commit | commitdiff | tree
2022-04-04 Gereon KremerFix links when converting kinds documentation to python...
commit | commitdiff | tree
2022-04-04 Gereon KremerMaintain symlink to docs for latest release (#8555)
 commit | commitdiff | tree
2022-04-04 Gereon KremerRemove duplicate lines (#8552)
 commit | commitdiff | tree
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation...
commit | commitdiff | tree
2022-04-02 Gereon Kremeruse one process more than we have cores (#8545)
 commit | commitdiff | tree
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532)
 commit | commitdiff | tree
2022-04-02 Gereon KremerAlways cancel already running CI runs on forks (#8542)
 commit | commitdiff | tree
2022-04-01 Gereon KremerSimplify the python base API in a few places (#8514)
 commit | commitdiff | tree
2022-04-01 Gereon KremerPrevent using the coverings solver with extended operators...
commit | commitdiff | tree
2022-04-01 Gereon KremerOnly run pypi packaging when release is published ...
commit | commitdiff | tree
2022-04-01 Gereon KremerChange CI concurrency policy to not queue on main ...
commit | commitdiff | tree
2022-04-01 Gereon KremerDocument special member functions in python API (#8513)
 commit | commitdiff | tree
2022-04-01 Gereon KremerFix pypi packaging trigger again (#8512)
 commit | commitdiff | tree
2022-04-01 Gereon KremerRemove decorator from python API (#8505)
 commit | commitdiff | tree
2022-04-01 Gereon KremerAlso run on created. (#8506)
 commit | commitdiff | tree
2022-03-31 Gereon KremerImprove documentation for Statistics in C++ API (#8476)
 commit | commitdiff | tree
2022-03-31 Gereon KremerInstall necessary packages (#8479)
 commit | commitdiff | tree
2022-03-31 Gereon KremerOnly run update-pr for normal commits on main (#8478)
 commit | commitdiff | tree
2022-03-31 Gereon KremerImprove documentation for OptionInfo (#8474)
 commit | commitdiff | tree
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467)
 commit | commitdiff | tree
2022-03-26 Gereon KremerAdd API unit tests for options (#8339)
 commit | commitdiff | tree
2022-03-24 Gereon KremerDocument proof rules for coverings solver (#8376)
 commit | commitdiff | tree
2022-03-24 Gereon KremerDocument arithmetic proof rules (#8373)
 commit | commitdiff | tree
2022-03-23 Gereon KremerAdd API unit tests for statistics (#8341)
 commit | commitdiff | tree
2022-03-23 Gereon KremerAdd `getOptionInfo()` and `getOptionNames()` to python...
commit | commitdiff | tree
2022-03-23 Gereon KremerDocument proof rules for transcendentals (#8375)
 commit | commitdiff | tree
2022-03-23 Gereon KremerRun gen-versioninfo unconditionally (#8368)
 commit | commitdiff | tree
2022-03-23 Gereon KremerStore latest builds in a special release (#8337)
 commit | commitdiff | tree
2022-03-23 Gereon KremerRemove dependency on build (#8367)
 commit | commitdiff | tree
2022-03-22 Gereon KremerRefactor proof rule documentation (#8303)
 commit | commitdiff | tree
2022-03-21 Gereon KremerRefactor documentation (#8288)
 commit | commitdiff | tree
2022-03-21 Gereon KremerFix names of unit tests (#8338)
 commit | commitdiff | tree
2022-03-20 Gereon KremerAdd `getStatistics()` to python API (#8343)
 commit | commitdiff | tree
2022-03-17 Gereon KremerReplace `Debug` by `Trace` (#7793)
 commit | commitdiff | tree
2022-03-17 Gereon Kremerdon't build gtest in CI (#8323)
 commit | commitdiff | tree
2022-03-16 Gereon KremerUse native cancellation mechanism (#8311)
 commit | commitdiff | tree
2022-03-15 Gereon KremerEnable nl-cov-var-elim by default, but disable with...
commit | commitdiff | tree
2022-03-11 Gereon KremerAdd first step for proofs documentation (#8193)
 commit | commitdiff | tree
2022-03-09 Gereon KremerRename expert statistics to internal, add documentation...
commit | commitdiff | tree
2022-03-09 Gereon KremerClear obsolete pending lemmas in arithmetic (#8236)
 commit | commitdiff | tree
2022-03-08 Gereon KremerProduce intermediate json output for coverage (#8252)
 commit | commitdiff | tree
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