git.libre-soc.org Git - cvc5.git/search

2022-05-12	Gereon Kremer	Make regular options access const (#8754)	commit \| commitdiff \| tree
2022-05-11	Gereon Kremer	Remove --build from GMP configure line (#8752)	commit \| commitdiff \| tree
2022-05-10	Gereon Kremer	Ensure substitutions in nonlinear solver are properly...	commit \| commitdiff \| tree
2022-05-10	Gereon Kremer	Fix some issues with the Python API tests (#8746)	commit \| commitdiff \| tree
2022-05-10	Gereon Kremer	Add test coverage for almost everything from the Java...	commit \| commitdiff \| tree
2022-05-10	Gereon Kremer	Compress debug symbols to make libcvc5 smaller (#8743)	commit \| commitdiff \| tree
2022-05-05	Gereon Kremer	Add test coverage for almost everything from the Python...	commit \| commitdiff \| tree
2022-05-04	Gereon Kremer	Make printStatisticsSafe public (#8721)	commit \| commitdiff \| tree
2022-05-04	Gereon Kremer	Remove obsolete private methods from API (#8716)	commit \| commitdiff \| tree
2022-05-02	Gereon Kremer	Add missing tests for some corners of the API (#8688)	commit \| commitdiff \| tree
2022-04-29	Gereon Kremer	Replace mkConst(CONST_RATIONAL) by mkConstReal (#8686)	commit \| commitdiff \| tree
2022-04-29	Gereon Kremer	Add unit test for code not exposed by java API (#8678)	commit \| commitdiff \| tree
2022-04-29	Gereon Kremer	Add unit test for code not exposed by python API (...	commit \| commitdiff \| tree
2022-04-29	Gereon Kremer	Add some missing API tests (#8669)	commit \| commitdiff \| tree
2022-04-28	Gereon Kremer	Move tests around (#8670)	commit \| commitdiff \| tree
2022-04-28	Gereon Kremer	Add resource limiting to coverings solver (#8672)	commit \| commitdiff \| tree
2022-04-26	Gereon Kremer	Add some missing resultants in the coverings solver...	commit \| commitdiff \| tree
2022-04-05	Gereon Kremer	Make rewriter more robust against RAN becoming rational...	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Fix links when converting kinds documentation to python...	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Maintain symlink to docs for latest release (#8555)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Remove duplicate lines (#8552)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Various improvements and fixes in the documentation...	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	use one process more than we have cores (#8545)	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	Follow renaming within pythonic API (#8532)	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	Always cancel already running CI runs on forks (#8542)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Simplify the python base API in a few places (#8514)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Prevent using the coverings solver with extended operators...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Only run pypi packaging when release is published ...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Change CI concurrency policy to not queue on main ...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Document special member functions in python API (#8513)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Fix pypi packaging trigger again (#8512)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Remove decorator from python API (#8505)	commit \| commitdiff \| tree
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
next

RSS Atom