git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/sygus/ce_guided

[cvc5.git] / src / theory / quantifiers / sygus / ce_guided_conjecture.cpp

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2018-05-25	Andrew Reynolds	Reenable repair const (#1983)	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Repair constants using symbolic constructors (#1960)	blob \| commitdiff \| raw \| diff to current
2018-05-17	Andrew Reynolds	Internal propagation for refinement lemmas (#1932)	blob \| commitdiff \| raw \| diff to current
2018-05-10	Andrew Reynolds	Sygus repair constants (#1812)	blob \| commitdiff \| raw \| diff to current
2018-05-09	Andrew Reynolds	Better option names for PBE (#1891)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Link cegis unif with the enumeration manager (#1859)	blob \| commitdiff \| raw \| diff to current
2018-04-27	Haniel Barbosa	New module for synthesizing functions in a data-driven...	blob \| commitdiff \| raw \| diff to current
2018-04-25	Andrew Reynolds	Move candidate rewrite code to own file (#1804)	blob \| commitdiff \| raw \| diff to current
2018-04-20	Andrew Reynolds	Reenable filtering based on ordering in sygus sampler...	blob \| commitdiff \| raw \| diff to current
2018-04-16	Andrew Reynolds	Skolemize candidate rewrite rule checks (#1777)	blob \| commitdiff \| raw \| diff to current
2018-04-14	Andrew Reynolds	Another fix for sygus rr stats. (#1768)	blob \| commitdiff \| raw \| diff to current
2018-04-10	Andrew Reynolds	Improve accuracy of stats for sygus sampler (#1755)	blob \| commitdiff \| raw \| diff to current
2018-03-26	Andrew Reynolds	Synth-check and accelerate options for sygus-rr (#1691)	blob \| commitdiff \| raw \| diff to current
2018-03-06	Andrew Reynolds	Refactor symmetry breaking in datatypes sygus (#1640)	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Optimization for sygus streaming mode (#1636)	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Simplify sygus wrt miniscoping (#1634)	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Print candidate rewrites in terms of original grammar...	blob \| commitdiff \| raw \| diff to current
2018-03-02	Andrew Reynolds	Create infrastructure for sygus modules (#1632)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom