projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git] / src / preprocessing /
2019-04-25 Aina NiemetzFix compiler warning. (#2975) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-04-17 Andrew ReynoldsMore use of isClosure (#2959) tree | commitdiff
2019-04-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) tree | commitdiff
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) tree | commitdiff
2018-10-31 Andres NoetzliRecord assumption info in AssertionPipeline (#2678) tree | commitdiff
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625) tree | commitdiff
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) tree | commitdiff
2018-10-02 Andres NoetzliMake registration of preprocessing passes explicit... tree | commitdiff
2018-10-01 Andres Noetzli Fix dumping pre/post preprocessing passes (#2469) tree | commitdiff
2018-10-01 Andres NoetzliRefactor preprocessing pass registration (#2468) tree | commitdiff
2018-09-18 Andrew ReynoldsImprovements and fixes for symmetry detection and break... tree | commitdiff
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine... tree | commitdiff
2018-09-11 yoni206Avoid calling size() every iteration (#2450) tree | commitdiff
2018-09-11 Andrew ReynoldsFix global negate (#2449) tree | commitdiff
2018-09-11 Aina NiemetzRefactor non-clausal simplify preprocessing pass. ... tree | commitdiff
2018-08-30 Mathias PreinerRefactor theory preprocess into preprocessing pass... tree | commitdiff
2018-08-29 Mathias PreinerRefactor MipLibTrick preprocessing pass. (#2359) tree | commitdiff
2018-08-26 Andres NoetzliRefactor unconstrained simplification pass (#2374) tree | commitdiff
2018-08-25 yoni206Refactor quantifier macros preprocessing pass (#1840) tree | commitdiff
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) tree | commitdiff
2018-08-23 Aina NiemetzRefactor ITE simplification preprocessing pass. (#2360) tree | commitdiff
2018-08-23 yoni206global-negate preprocessing pass (#2317) tree | commitdiff
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann... tree | commitdiff
2018-08-21 Mathias PreinerMove d_realAssertionsEnd from SmtEnginePrivate to Asser... tree | commitdiff
2018-08-20 Andrew Reynolds Make sygus inference a preprocessing pass (#2334) tree | commitdiff
2018-08-17 Mathias PreinerRefactor eager atoms preprocessing pass. (#2318) tree | commitdiff
2018-08-17 Caleb DonovickMake quantifiers-preprocess preprocessing pass (#2322) tree | commitdiff
2018-08-17 Andres NoetzliRefactor IteRemoval preprocessing pass (#1793) tree | commitdiff
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) tree | commitdiff
2018-08-16 Haniel BarbosaRefactor apply2const (#2316) tree | commitdiff
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309) tree | commitdiff
2018-08-01 Mathias PreinerFix bool-to-bv preprocessing pass for non-{bv,bool... tree | commitdiff
2018-07-23 Andrew ReynoldsGeneralize symmetry detection for 1 symmetry variable... tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-07-11 Caleb DonovickMove rewrite to pass (#2128) tree | commitdiff
2018-07-02 Aina NiemetzRefactor ApplySubsts preprocessing pass. (#2120) tree | commitdiff
2018-06-27 Andrew ReynoldsSynthesize candidate-rewrites from standard inputs... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-21 makaimannHandle IMPLIES in bool-to-bv and test it in regress0... tree | commitdiff
2018-05-16 yoni206Refactor static learning preprocessing pass (#1857) tree | commitdiff
2018-05-11 Aina NiemetzFix ackermannize preprocessing pass. (#1904) tree | commitdiff
2018-05-10 Aina NiemetzRefactored BVAckermann preprocessing pass. (#1889) tree | commitdiff
2018-05-09 yoni206Reorder class members in bv-to-bool and bool-to-bv... tree | commitdiff
2018-05-09 Andrew ReynoldsMake symmetry-breaker-exp into a preprocessing pass... tree | commitdiff
2018-05-09 PaulMengAdd the symmetry breaker module (#1847) tree | commitdiff
2018-05-08 Mathias PreinerRefactor bv-abstraction preprocessing pass. (#1860) tree | commitdiff
2018-05-04 Mathias PreinerRefactor bv-intro-pow2 preprocessing pass. (#1851) tree | commitdiff
2018-04-30 Haniel BarbosaRefactor real2int (#1813) tree | commitdiff
2018-04-30 Andres NoetzliRemove dead code in bv-to-bool preprocessing pass ... tree | commitdiff
2018-04-25 yoni206Refactor bv-to-bool and bool-to-bv preprocessing passes... tree | commitdiff
2018-04-20 PaulMengSymmetry detection module (#1749) tree | commitdiff
2018-04-19 Andres NoetzliRefactor pbRewrites preprocessing pass (#1767) tree | commitdiff
2018-04-11 Aina NiemetzRefactored BVGauss preprocessing pass. (#1766) tree | commitdiff
2018-04-04 Andres NoetzliRefactor IntToBV preprocessing pass (#1716) tree | commitdiff
2017-12-11 justinxu421Add new infrastructure for preprocessing passes (#1053) tree | commitdiff