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

2022-03-28	Andrew Reynolds	Mark more methods as experimental (#8426)	commit \| commitdiff \| tree
2022-03-28	Andrew Reynolds	Fix synth result python unit test (#8418)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Fix spurious assertion failure (#8404)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Throw logic exception for set.map (#8403)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	More minor cleaning of options (#8401)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Fixes for API kind documentation (#8397)	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Update checkSynth and checkSynthNext to return SynthResult...	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Change output of abduction/interpolation for failed...	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Fixes related to set defaults for sygus/proofs (#8395)	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Properly guard commands in the SyGuS API (#8390)	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Recategorize options (#8386)	commit \| commitdiff \| tree
2022-03-25	Andrew Reynolds	Fixes for theory reference for datatypes (#8380)	commit \| commitdiff \| tree
2022-03-24	Andrew Reynolds	Minor updates for quantifiers options (#8385)	commit \| commitdiff \| tree
2022-03-24	Andrew Reynolds	Standardize more instances of skolems (#8351)	commit \| commitdiff \| tree
2022-03-24	Andrew Reynolds	Fix a couple of parse error messages for sygus (#8381)	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Clean options (#8309)	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Add SynthResult to the API (#8370)	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Make IDOF_MAX rewrite only apply when all children...	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Add internal synth result class (#8352)	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Initial documentation on LFSC (#8365)	commit \| commitdiff \| tree
2022-03-23	Andrew Reynolds	Fix non-termination issue in sygus enumerator (#8340)	commit \| commitdiff \| tree
2022-03-22	Andrew Reynolds	Change null terminator for regular expression intersection...	commit \| commitdiff \| tree
2022-03-22	Andrew Reynolds	Updates for the theory reference for separation logic...	commit \| commitdiff \| tree
2022-03-22	Andrew Reynolds	Fixes for witness terms appearing in CEGQI instantiations...	commit \| commitdiff \| tree
2022-03-22	Andrew Reynolds	Refactor result class (#8313)	commit \| commitdiff \| tree
2022-03-21	Andrew Reynolds	Fix return value for candidate rewrite database (#8354)	commit \| commitdiff \| tree
2022-03-21	Andrew Reynolds	Fix LFSC conversion for seq unit (#8353)	commit \| commitdiff \| tree
2022-03-21	Andrew Reynolds	Fix learned literals for top-level AND (#8336)	commit \| commitdiff \| tree
2022-03-17	Andrew Reynolds	Update care graph computations to use standard node...	commit \| commitdiff \| tree
2022-03-16	Andrew Reynolds	Fix getModelValue for arithmetic (#8316)	commit \| commitdiff \| tree
2022-03-16	Andrew Reynolds	Ensure trusted steps are given for skolem lemmas when...	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Make learned literal computation more robust (#8308)	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Add unit test involving seq concat term (#8257)	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Fix issues involving multiple sources of model substitutions...	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Properly guard sort instantiate (#8247)	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Remove unecessary separation logic options (#8269)	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Fix to consider leafs of theory sets to be variables...	commit \| commitdiff \| tree
2022-03-15	Andrew Reynolds	Simplify reductions for set and bag choose (#8304)	commit \| commitdiff \| tree
2022-03-14	Andrew Reynolds	Fixes for skolem definition management (#8301)	commit \| commitdiff \| tree
2022-03-14	Andrew Reynolds	Remove unecessary methods from the API (#8260)	commit \| commitdiff \| tree
2022-03-14	Andrew Reynolds	Add rewrite for allchar beneath union + star (#8299)	commit \| commitdiff \| tree
2022-03-14	Andrew Reynolds	Run preprocess rewrite on equalities until fixed point...	commit \| commitdiff \| tree
2022-03-13	Andrew Reynolds	Minor sync from proof-new (#8293)	commit \| commitdiff \| tree
2022-03-12	Andrew Reynolds	Introduce new splitting inference in sets + cardinality...	commit \| commitdiff \| tree
2022-03-12	Andrew Reynolds	Add algorithm for finding pairs of paths in a node...	commit \| commitdiff \| tree
2022-03-12	Andrew Reynolds	Improvements for sygus query generation (#8224)	commit \| commitdiff \| tree
2022-03-12	Andrew Reynolds	Document type rules (#8248)	commit \| commitdiff \| tree
2022-03-12	Andrew Reynolds	Always ensure literal when requiring phase via inference...	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Remove old decision justification heurstic (#8275)	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Update abduction and interpolation API to not use pass...	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Fix maximum value for pedantic proof level (#8246)	commit \| commitdiff \| tree
2022-03-11	Andrew Reynolds	Guard parametric datatypes instantiated by non-first...	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-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	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-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	Andrew Reynolds	Do not expand APPLY_SELECTOR (#8174)	commit \| commitdiff \| tree
2022-03-08	Andrew Reynolds	Guard another case of non-termination in quantifiers...	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-07	Andrew Reynolds	Proper error message for non-first-class sets (#8245)	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	Andrew Reynolds	Enable NL tangent planes by default (#8233)	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	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	Andrew Reynolds	Generalize LFSC string signature to sequences (#8220)	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-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	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-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	Andrew Reynolds	Fix lambda lifting + proofs (#8152)	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
next

RSS Atom