summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-06-17address commentreplSubstAndres Noetzli
2018-06-15Rewrite subtring length if used in replacementAndres Noetzli
2018-06-15isconstant predicate.ajreynol
2018-06-15Merge pull request #9 from 4tXJ7f/lengthPreserveAndrew Reynolds
2018-06-15Address commentlengthPreserveAndres Noetzli
2018-06-15String rewriter: Add length preserving rewriteAndres Noetzli
2018-06-15Revertajreynol
2018-06-15Fixajreynol
2018-06-15Merge pull request #2 from HanielB/noite-condAndrew Reynolds
2018-06-15BV rewrite, minor to strings rewriter.ajreynol
2018-06-14Fixesajreynol
2018-06-14Merge pull request #7 from 4tXJ7f/eval5Andrew Reynolds
2018-06-14Fix CONST_RATIONAL conversion in evaluationeval5Andres Noetzli
2018-06-14Optimization for collect model info.ajreynol
2018-06-14Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-13Workaround for incremental unsat cores (#1962)Andres Noetzli
2018-06-13Merge branch 'sygusComp2018-2' into eval5Andres Noetzli
2018-06-13Fix simple regexp consume (#2066)Andrew Reynolds
2018-06-13Disable unconstrainedSimp pass when proofs enabled (#1976)Andres Noetzli
2018-06-13Evaluator: Integer -> RationalAndres Noetzli
2018-06-13Anoterajreynol
2018-06-13Add regressionajreynol
2018-06-13Return on failure.ajreynol
2018-06-13Better arith support in evaluatorAndres Noetzli
2018-06-12Fix strip constant endpoint for ITOS in strings rewriter (#2067)Andrew Reynolds
2018-06-12String support for evaluatorAndres Noetzli
2018-06-12Fix strings rewriter.ajreynol
2018-06-12Formatajreynol
2018-06-12Guard eval by option, fix.ajreynol
2018-06-12Formatajreynol
2018-06-12Reorg evaluator in term database sygus.ajreynol
2018-06-11Merge pull request #6 from 4tXJ7f/eval4Andrew Reynolds
2018-06-11Fix hanging evaluatoreval4Andres Noetzli
2018-06-11Minorajreynol
2018-06-11Evaluator: support other theories for equalityeval3Andres Noetzli
2018-06-11Fix template.ajreynol
2018-06-11Evaluate templates.ajreynol
2018-06-11Merge pull request #4 from 4tXJ7f/eval2Andrew Reynolds
2018-06-11Add eval support for NOTAndres Noetzli
2018-06-11Merge pull request #3 from 4tXJ7f/evalAndrew Reynolds
2018-06-11FallbackevalAndres Noetzli
2018-06-11unit testAndres Noetzli
2018-06-11minor fixAndres Noetzli
2018-06-11More minorajreynol
2018-06-11Minorajreynol
2018-06-10Fix equality conflicts reported by FP (#2064)Andrew Reynolds
2018-06-09Disable test that fails in competition mode (#2063)Andres Noetzli
2018-06-09EvaluatorAndres Noetzli
2018-06-09Minor fix for computing look-ahead conditionals in PBE i/o.ajreynol
2018-06-08Add flag to skip regression if feature enabled (#2062)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback