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

2019-08-03	Haniel Barbosa	Collapse @ chains in SMT2 printer (#3140)	commit \| commitdiff \| tree
2019-07-31	Haniel Barbosa	Parsing THF and adding several regressions (#3131)	commit \| commitdiff \| tree
2019-07-30	Haniel Barbosa	Code to activate hoelim preprocessing pass (#3129)	commit \| commitdiff \| tree
2019-07-30	Haniel Barbosa	Remove hard coded option for TPTP regressions in run_regress...	commit \| commitdiff \| tree
2019-07-24	Haniel Barbosa	adding runscripts for syguscomp2019 (#3118)	commit \| commitdiff \| tree
2019-06-13	Haniel Barbosa	Fix warning (#3053)	commit \| commitdiff \| tree
2019-04-12	Haniel Barbosa	Referring to prerelease 1.8 (#2943)	commit \| commitdiff \| tree
2019-04-09	Haniel Barbosa	Removing references to cvc4-bugs@... (#2945)	commit \| commitdiff \| tree
2019-04-09	Haniel Barbosa	"prerelease -> release" in INSTALL (#2944)	commit \| commitdiff \| tree
2019-04-08	Haniel Barbosa	fix copyright year in configuration file (#2942)	commit \| commitdiff \| tree
2019-04-05	Haniel Barbosa	prerelease -> release (#2941)	commit \| commitdiff \| tree
2019-04-05	Haniel Barbosa	fix fp issue (#2940)	commit \| commitdiff \| tree
2019-04-04	Haniel Barbosa	adding sygus news (#2934)	commit \| commitdiff \| tree
2019-04-04	Haniel Barbosa	Ignoring FP benchmarks with "unsafe" sizes unless option...	commit \| commitdiff \| tree
2019-04-04	Haniel Barbosa	Update release notes and lib version (#2933)	commit \| commitdiff \| tree
2019-03-29	Haniel Barbosa	removing deprecated rewriting signature / example ...	commit \| commitdiff \| tree
2019-03-28	Haniel Barbosa	fix ex_bv.plf (#2905)	commit \| commitdiff \| tree
2019-03-22	Haniel Barbosa	fix help information on TPTP parsing (#2884)	commit \| commitdiff \| tree
2019-03-15	Haniel Barbosa	New beta-reduction for HOL solving (#2869)	commit \| commitdiff \| tree
2019-03-15	Haniel Barbosa	Adding capture avoiding substitution (#2867)	commit \| commitdiff \| tree
2018-11-07	Haniel Barbosa	Adding default SyGuS grammar construction for arrays...	commit \| commitdiff \| tree
2018-11-03	Haniel Barbosa	Refactor default grammars construction (#2681)	commit \| commitdiff \| tree
2018-10-18	Haniel Barbosa	Introducing internal commands for SyGuS commands (...	commit \| commitdiff \| tree
2018-10-16	Haniel Barbosa	Option for shuffling condition pool in CegisUnif (...	commit \| commitdiff \| tree
2018-10-11	Haniel Barbosa	Fix default setting of CegisUnif options (#2605)	commit \| commitdiff \| tree
2018-10-05	Haniel Barbosa	Fix unif trace (#2550)	commit \| commitdiff \| tree
2018-10-03	Haniel Barbosa	Make CegisUnif with condition independent robust to...	commit \| commitdiff \| tree
2018-10-01	Haniel Barbosa	init scalar class members (coverity issues 1473720...	commit \| commitdiff \| tree
2018-09-29	Haniel Barbosa	Stream concrete values for variable agnostic enumerators...	commit \| commitdiff \| tree
2018-09-26	Haniel Barbosa	Makes SyGuS parsing more robust in invariant problems...	commit \| commitdiff \| tree
2018-09-18	Haniel Barbosa	fix assertion error (#2487)	commit \| commitdiff \| tree
2018-09-13	Haniel Barbosa	Uses information gain heuristic for building better...	commit \| commitdiff \| tree
2018-09-11	Haniel Barbosa	fix (#2446)	commit \| commitdiff \| tree
2018-09-11	Haniel Barbosa	Using a single condition enumerator in sygus-unif ...	commit \| commitdiff \| tree
2018-08-31	Haniel Barbosa	Allows SAT checks of repair const to have different...	commit \| commitdiff \| tree
2018-08-31	Haniel Barbosa	Fix export of bound variables (#2409)	commit \| commitdiff \| tree
2018-08-29	Haniel Barbosa	fix bv total ops printing (#2365)	commit \| commitdiff \| tree
2018-08-25	Haniel Barbosa	Refactor nlExtPurify preprocessing pass (#1963)	commit \| commitdiff \| tree
2018-08-23	Haniel Barbosa	Makes the filename be set in the SMT engine by default...	commit \| commitdiff \| tree
2018-08-22	Haniel Barbosa	Adds regression test for automatic generation of SyGuS...	commit \| commitdiff \| tree
2018-08-21	Haniel Barbosa	Makes the new row propagation system default (#2335)	commit \| commitdiff \| tree
2018-08-17	Haniel Barbosa	cleaning unnecessary timers/dumps (#2327)	commit \| commitdiff \| tree
2018-08-17	Haniel Barbosa	Adding support for bitvector SyGuS problems without...	commit \| commitdiff \| tree
2018-08-16	Haniel Barbosa	Refactor extended rewriter preprocessing pass (#2324)	commit \| commitdiff \| tree
2018-08-16	Haniel Barbosa	Refactor apply2const (#2316)	commit \| commitdiff \| tree
2018-05-23	Haniel Barbosa	Towards better symbolic enumeration in SyGuS (#1971)	commit \| commitdiff \| tree
2018-05-21	Haniel Barbosa	Assign weight 1 for Boolean variables in SyGuS default...	commit \| commitdiff \| tree
2018-05-19	Haniel Barbosa	changing default (#1944)	commit \| commitdiff \| tree
2018-05-17	Haniel Barbosa	Option to force return values of Bool functions to...	commit \| commitdiff \| tree
2018-05-15	Haniel Barbosa	adding regressions (#1925)	commit \| commitdiff \| tree
2018-05-15	Haniel Barbosa	Building and refining solutions with dynamic condition...	commit \| commitdiff \| tree
2018-05-14	Haniel Barbosa	Fix purification in SygusUnifRL (#1912)	commit \| commitdiff \| tree
2018-05-11	Haniel Barbosa	Also exclude ITEs from ITE conditions in SygusUnifStrat...	commit \| commitdiff \| tree
2018-05-10	Haniel Barbosa	Static learn redundant operators in CegisUnif (#1899)	commit \| commitdiff \| tree
2018-05-09	Haniel Barbosa	Piecing solutions together in CegisUnif (#1894)	commit \| commitdiff \| tree
2018-05-08	Haniel Barbosa	Classifying data in SygusUnifRL (#1886)	commit \| commitdiff \| tree
2018-05-08	Haniel Barbosa	only lazy trie changes (#1885)	commit \| commitdiff \| tree
2018-05-04	Haniel Barbosa	Move Lazy trie datastructure to its own file (#1871)	commit \| commitdiff \| tree
2018-05-03	Haniel Barbosa	Make CegisUnif default to Cegis when no unif used ...	commit \| commitdiff \| tree
2018-04-30	Haniel Barbosa	Refactor real2int (#1813)	commit \| commitdiff \| tree
2018-04-28	Haniel Barbosa	Initial implementation of SygusUnifRL (#1829)	commit \| commitdiff \| tree
2018-04-27	Haniel Barbosa	New module for synthesizing functions in a data-driven...	commit \| commitdiff \| tree
2018-02-02	Haniel Barbosa	Option to check solutions produced by SyGuS solver...	commit \| commitdiff \| tree
2017-12-05	Haniel Barbosa	Adding SyGuS grammars for rationals. (#1426)	commit \| commitdiff \| tree
2017-12-03	Haniel Barbosa	Normalize grammars - 2 (#1420)	commit \| commitdiff \| tree
2017-11-23	Haniel Barbosa	Converting defined functions and let expressions from...	commit \| commitdiff \| tree
2017-11-21	Haniel Barbosa	Adding infrastructure for normalizing SyGuS grammars...	commit \| commitdiff \| tree

RSS Atom