summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-06-14Fix CONST_RATIONAL conversion in evaluationeval5Andres Noetzli
2018-06-13Merge branch 'sygusComp2018-2' into eval5Andres 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-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
Fix hanging evaluator
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-09EvaluatorAndres Noetzli
2018-06-09Minor fix for computing look-ahead conditionals in PBE i/o.ajreynol
2018-06-08Option for exclusion predicate, more BV rewrites.ajreynol
2018-06-07ITE bitvector rewrites.ajreynol
2018-06-07Remove polarity from ext rew theory passes.ajreynol
2018-06-07Make regression faster.ajreynol
2018-06-06Update CLIA script.ajreynol
2018-06-06Any failed function is full failure during reconstruction.ajreynol
2018-06-06Limit policy for reconstruction, remove all-abort cegqi-si.ajreynol
2018-06-06Formatajreynol
2018-06-06Options for reconstruction.ajreynol
2018-06-05Add missingajreynol
2018-06-05Subfield types, sol recons heuristics.ajreynol
2018-06-05Formatajreynol
2018-06-05Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-05Disable special case for all-abort Booleans.ajreynol
2018-06-05Simplify.ajreynol
2018-06-05Enable factoring, unit resolution.ajreynol
2018-06-04Only enable transcendentals if logic is N[I]RAT (#2052)Andres Noetzli
2018-06-04Work on factoring.ajreynol
2018-06-04More eq chain rewrites.ajreynol
2018-06-04Move assertion. (#2051)Andrew Reynolds
2018-06-04[SMT-COMP] Add new logics to run-scripts (#2022)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback