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

2022-03-11	Andrew Reynolds	Guard parametric datatypes instantiated by non-first...	commit \| commitdiff \| tree
2022-03-11	Gereon Kremer	Add first step for proofs documentation (#8193)	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Remove unecessary CEGQI options (#8281)	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Consider APPLY_CONSTRUCTOR applied to values to be...	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Fix reduction for arc trig functions (#8289)	commit \| commitdiff \| tree
2022-03-11	Andres Noetzli	[CI] Make building static/shared configurable (#8272)	commit \| commitdiff \| tree
2022-03-11	Andres Noetzli	Refactor kinds parser (#8287)	commit \| commitdiff \| tree
2022-03-10	Andrew Reynolds	Fix issue with subtyping from set membership in models...	commit \| commitdiff \| tree
2022-03-10	Andrew Reynolds	Fix theoryOf call in get equality status (#8279)	commit \| commitdiff \| tree
2022-03-10	Andrew Reynolds	Eliminate unecessary datatype options (#8280)	commit \| commitdiff \| tree
2022-03-10	mudathirmahgoub	Fix cvc5-projects issue 475 (#8278)	commit \| commitdiff \| tree
2022-03-10	Andrew Reynolds	Add output -o pre-asserts (#8270)	commit \| commitdiff \| tree
2022-03-10	Andrew Reynolds	Disable timing out regressions (#8273)	commit \| commitdiff \| tree
2022-03-10	Mathias Preiner	Fix regression errors for arm64 nightlies. (#8268)	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-09	Andrew Reynolds	Change interface for printing instantiations in the...	commit \| commitdiff \| tree
2022-03-09	Andrew Reynolds	Use expression mining independent of whether sygus...	commit \| commitdiff \| tree
2022-03-09	Andrew Reynolds	Add REGEXP_ALL kind to API (#8264)	commit \| commitdiff \| tree
2022-03-09	Andrew Reynolds	Add regression for fixed issue 6700 (#8265)	commit \| commitdiff \| tree
2022-03-09	Andrew Reynolds	Eliminate the APPLY_SELECTOR_TOTAL kind (#8266)	commit \| commitdiff \| tree
2022-03-08	Gereon Kremer	Produce intermediate json output for coverage (#8252)	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Do not expand APPLY_SELECTOR (#8174)	commit \| commitdiff \| tree
2022-03-08	Andres Noetzli	[API/Python] Add support for `Solver::getProof()` ...	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Guard another case of non-termination in quantifiers...	commit \| commitdiff \| tree
2022-03-08	Gereon Kremer	Make one CI job not use libpoly (#8261)	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Fixes and additions to LFSC signature (#8205)	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Eliminate shadowing in the quantifiers rewriter (#8244)	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Add unit for fixed project issue (#8253)	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) See https://github.community/t/do-not-run-cron-workflows...	commit \| commitdiff \| tree
2022-03-07	Andres Noetzli	Update documentation of `Solver::getUnsatCore()` (... Fixes https://github.com/cvc5/cvc5-projects/issues...	commit \| commitdiff \| tree
2022-03-07	Gereon Kremer	Fix docs warnings (#8019)	commit \| commitdiff \| tree
2022-03-07	Andrew Reynolds	Proper error message for non-first-class sets (#8245)	commit \| commitdiff \| tree
2022-03-07	Gereon Kremer	Try harder to show that a RAN is rational (#8230)	commit \| commitdiff \| tree
2022-03-06	Andres Noetzli	Disallow models with `--arrays-weak-equiv` (#8217)	commit \| commitdiff \| tree
2022-03-05	Andrew Reynolds	Unit tests for fixed projects issues (#8229)	commit \| commitdiff \| tree
2022-03-05	Andrew Reynolds	Make seq.unit robust wrt subtyping (#8209)	commit \| commitdiff \| tree
2022-03-05	Andres Noetzli	[Docs] Add missing requirement (#8238)	commit \| commitdiff \| tree
2022-03-05	Gereon Kremer	Add regressions for fixed issue (#8237)	commit \| commitdiff \| tree
2022-03-05	Andrew Reynolds	Enable NL tangent planes by default (#8233)	commit \| commitdiff \| tree
2022-03-04	mudathirmahgoub	Fix bag.map upwards inferences (#8232)	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	Andrew Reynolds	Fix rewrite rule synthesis for 0-ary operators (#8221)	commit \| commitdiff \| tree
2022-03-04	Andrew Reynolds	Logic exception when using solution filtering for non...	commit \| commitdiff \| tree
2022-03-04	Gereon Kremer	Only build wheels nightly and for releases (#8223)	commit \| commitdiff \| tree
2022-03-04	Andrew Reynolds	Add regressions for fixed projects issues (#8228)	commit \| commitdiff \| tree
2022-03-04	Andrew Reynolds	Add support for get learned literals in the API (#8099)	commit \| commitdiff \| tree
2022-03-03	Andrew Reynolds	Fix datatype declaration printing in LFSC printer ...	commit \| commitdiff \| tree
2022-03-03	Gereon Kremer	Build python wheels in our CI (#8087)	commit \| commitdiff \| tree
2022-03-03	Andrew Reynolds	Generalize LFSC string signature to sequences (#8220)	commit \| commitdiff \| tree
2022-03-03	Lachnitt	[proofs] Alethe: Removed Steps that are Double-Printed...	commit \| commitdiff \| tree
2022-03-03	Andrew Reynolds	Throw logic exception if a transcendental function...	commit \| commitdiff \| tree
2022-03-03	Andrew Reynolds	Add regression for fixed issue (#8213)	commit \| commitdiff \| tree
2022-03-03	Andrew Reynolds	Improve error for higher-order logic (#8207)	commit \| commitdiff \| tree
2022-03-03	Mathias Preiner	cmake: Fix murxla setup. (#8215)	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	Andrew Reynolds	Fix issue with dropping non-reduced sine terms (#8211)	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Fix models involving cardinality of sets of finite...	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Always purify universe from set minus (#8201)	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Eliminate CDHashMap::insertAtContextLevelZero (#8173)	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Fix incorrect assertion in prop engine proofs (#8204)	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Clean usage of options in regressions (#8190)	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Improve error message when not using strings-exp (...	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	Andrew Reynolds	Add utility to access how to print floating point ...	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Make blockModelValues robust to non-closed enumerable...	commit \| commitdiff \| tree
2022-03-02	Andrew Reynolds	Add regressions for fixed issues (#8202)	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	Andrew Reynolds	Fix issue involving dropped purification lemmas for...	commit \| commitdiff \| tree
2022-03-01	Andrew Reynolds	Do not use sygus evaluation functions in sygus-inst...	commit \| commitdiff \| tree
2022-03-01	Andrew Reynolds	Disable regression (#8191)	commit \| commitdiff \| tree
2022-03-01	Andres Noetzli	[BV] Fix rewriter policy for `bvneg` (#8196)	commit \| commitdiff \| tree
2022-03-01	Andrew Reynolds	Fix lambda lifting + proofs (#8152)	commit \| commitdiff \| tree
2022-03-01	Andres Noetzli	Remove unused data members from `TheoryArrays` (#8197)	commit \| commitdiff \| tree
2022-03-01	Gereon Kremer	Rename cad to coverings (#8187)	commit \| commitdiff \| tree
2022-02-28	Andres Noetzli	[Seq/Model] Do not enumerate elements of constants...	commit \| commitdiff \| tree
2022-02-28	Gereon Kremer	Refactor rewriting of arithmetic atoms (#8175)	commit \| commitdiff \| tree
2022-02-28	Andrew Reynolds	Fix special casing for PI in model value (#8189)	commit \| commitdiff \| tree
2022-02-28	Andrew Reynolds	Preserve model values for exact sine points (#8188)	commit \| commitdiff \| tree
2022-02-28	Andrew Reynolds	Track names for witness terms in model (#8184)	commit \| commitdiff \| tree
2022-02-28	Andrew Reynolds	Add two reduction schemas for sin terms (#8171)	commit \| commitdiff \| tree
2022-02-28	Andres Noetzli	Remove broken/unused `--mmap` option (#8178)	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	Andrew Reynolds	Consider PI to be a model value (#8176)	commit \| commitdiff \| tree
2022-02-25	Andrew Reynolds	Syntax fixes for LFSC signature (#8172)	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-25	Andrew Reynolds	Fix non-termination in quantifiers rewriter (#8165)	commit \| commitdiff \| tree
2022-02-25	Andrew Reynolds	Simplify and fix how purified terms are managed in...	commit \| commitdiff \| tree
2022-02-25	Andrew Reynolds	Fix dropped bounds on PI (#8164)	commit \| commitdiff \| tree
next

RSS Atom