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

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