summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2018-08-20 Make sygus inference a preprocessing pass (#2334)Andrew Reynolds
2018-08-16Refactor eager atoms preprocessing pass. (#2318)Mathias Preiner
2018-08-16Make quantifiers-preprocess preprocessing pass (#2322)Caleb Donovick
2018-08-16Refactor IteRemoval preprocessing pass (#1793)Andres Noetzli
2018-08-16Refactor extended rewriter preprocessing pass (#2324)Haniel Barbosa
2018-08-16Refactor apply2const (#2316)Haniel Barbosa
2018-08-15Make sort inference a preprocessing pass (#2309)Andrew Reynolds
2018-08-07Document/refactor datatypes sygus simple symmetry breaking (#2233)Andrew Reynolds
2018-08-02Remove Subversion build info (#2250)Andres Noetzli
2018-07-26Removing unused CDTrailHashmap. (#2221)Tim King
2018-07-17Refactor sep-pre-skolem-emp preprocessing passyoni206
2018-07-10Move rewrite to pass (#2128)Caleb Donovick
2018-07-06Split ext theory to own file and document (#1809)Andrew Reynolds
2018-07-04Reorganize candidate rewrite rule filtering (#2116)Andrew Reynolds
2018-07-04Remove unused CDVector (#2139)Andres Noetzli
2018-07-02Refactor ApplySubsts preprocessing pass. (#2120)Aina Niemetz
2018-06-28New C++ API: Implementation of Result. (#2112)Aina Niemetz
2018-06-28Split and document ceg theory instantiators (#2094)Andrew Reynolds
2018-06-27Synthesize candidate-rewrites from standard inputs (#1918)Andrew Reynolds
2018-06-26sygusComp2018: Add evaluator (#2090)Andres Noetzli
2018-06-20Resolve CVC4_USE_SYMFPU in headers at config-time (#2077)Andres Noetzli
2018-05-21Refactor sygus eval unfold (#1946)Andrew Reynolds
2018-05-15Refactor static learning preprocessing pass (#1857)yoni206
2018-05-10Sygus repair constants (#1812)Andrew Reynolds
2018-05-10Refactored BVAckermann preprocessing pass. (#1889)Aina Niemetz
2018-05-09Add the symmetry breaker module (#1847)PaulMeng
2018-05-08Refactor bv-abstraction preprocessing pass. (#1860)Mathias Preiner
2018-05-03Refactor bv-intro-pow2 preprocessing pass. (#1851)Mathias Preiner
2018-05-03Move Lazy trie datastructure to its own file (#1871)Haniel Barbosa
2018-05-02Remove (dummy) SMT1 printer (#1854)Andres Noetzli
2018-04-30Refactor real2int (#1813)Haniel Barbosa
2018-04-30Remove subsort symmetry breaking (#1807)Andrew Reynolds
2018-04-27New module for synthesizing functions in a data-driven SyGuS approach (#1819)Haniel Barbosa
2018-04-25Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)yoni206
2018-04-25Move candidate rewrite code to own file (#1804)Andrew Reynolds
2018-04-20Symmetry detection module (#1749)PaulMeng
2018-04-19Refactor pbRewrites preprocessing pass (#1767)Andres Noetzli
2018-04-10Refactored BVGauss preprocessing pass. (#1766)Aina Niemetz
2018-04-03Refactor IntToBV preprocessing pass (#1716)Andres Noetzli
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-04-03Make sygus unif I/O an subclass of sygus unif (#1741)Andrew Reynolds
2018-04-02Reorganize bitblaster code. (#1695)Mathias Preiner
2018-03-30Split strategy representation from SygusUnif (#1730)Andrew Reynolds
2018-03-27Make sygus unif utility (#1720)Andrew Reynolds
2018-03-23Remove unused code (#1700)Andrew Reynolds
2018-03-23Minor reorganization for ematching (#1701)Andrew Reynolds
2018-03-20Add support for CaDiCaL as eager BV SAT solver. (#1675)Mathias Preiner
2018-03-01Create infrastructure for sygus modules (#1632)Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
2018-02-13Remove unused cd_set_collection.h (#1606)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback