summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
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
2018-02-09Class to reduce printing of redundant candidate rewrites (#1588)Andrew Reynolds
2018-02-05Statically eliminate redundant sygus constructors (#1560)Andrew Reynolds
2018-02-01Use sygus to synthesize/verify rewrite rules (#1547)Andrew Reynolds
2018-01-03Global negate (#1466)Andrew Reynolds
2017-12-10Add new infrastructure for preprocessing passes (#1053)justinxu421
2017-12-08Document and clean datatypes rewriter (#1437)Andrew Reynolds
2017-12-06Remove CDChunkList (#1414)Andres Noetzli
2017-11-30Add Gaussian Elimination as a preprocessing pass for BV. (#1342)Aina Niemetz
2017-11-24(Refactor) Instantiate utility (#1387)Andrew Reynolds
2017-11-22Sygus Lambda Grammars (#1390)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback