summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-17Sygus query generator (#2465)Andrew Reynolds
2018-10-08BV instantiator: Factor out util functions. (#2604)Aina Niemetz
2018-10-08 BV inverter: Factor out util functions. (#2603)Aina Niemetz
2018-09-29Stream concrete values for variable agnostic enumerators (#2526)Haniel Barbosa
2018-09-18Move and rename sygus solver classes (#2488)Andrew Reynolds
2018-09-17Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)Andrew Reynolds
2018-09-14Refactor how assertions are added to decision engine (#2396)Andres Noetzli
2018-09-14Add Skolem cache for strings, refactor length registration (#2457)Andrew Reynolds
2018-09-13Generalize CandidateRewriteDatabase to ExprMiner (#2340)Andrew Reynolds
2018-09-12 Initial infrastructure for theory decision manager (#2447)Andrew Reynolds
2018-09-11Support model cores via option --produce-model-cores. (#2407)Andrew Reynolds
2018-09-10Refactor non-clausal simplify preprocessing pass. (#2425)Aina Niemetz
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-08-30Refactor theory preprocess into preprocessing pass. (#2395)Mathias Preiner
2018-08-30Add regular expression elimination module (#2400)Andrew Reynolds
2018-08-29Refactor MipLibTrick preprocessing pass. (#2359)Mathias Preiner
2018-08-28 Split term canonize utility to own file and document (#2398)Andrew Reynolds
2018-08-27Resolution proof: separate printing from proof (#1964)Andres Noetzli
2018-08-25Refactor unconstrained simplification pass (#2374)Andres Noetzli
2018-08-25Refactor quantifier macros preprocessing pass (#1840)yoni206
2018-08-24Refactor nlExtPurify preprocessing pass (#1963)Haniel Barbosa
2018-08-23Refactor ITE simplification preprocessing pass. (#2360)Aina Niemetz
2018-08-22global-negate preprocessing pass (#2317)yoni206
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback