summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-06-17Fix interface for bindingsnext_model_cherry_fixAndres Noetzli
2019-06-17document nodesToBlockyoni206
2019-06-17passing reference instead of pointeryoni206
2019-06-17minoryoni206
2019-06-17better interfaceyoni206
2019-06-17remove includeyoni206
2019-06-17model blocker with get valuesyoni206
2019-06-07Merge pull request #17 from yoni206/next_modelAndrew Reynolds
2019-06-06more fixesyoni206
2019-06-06fixesyoni206
2019-06-06compilingyoni206
2019-06-06Merge branch 'modelBlocker' of https://github.com/ajreynol/CVC4 into next_modelyoni206
2019-06-06Bug fix, docajreynol
2019-05-17Merge remote-tracking branch 'ajreynol/modelBlocker' into next_modelyoni206
2019-05-17Formatajreynol
2019-05-17Fix docajreynol
2019-05-17Merge branch 'master' of https://github.com/CVC4/CVC4 into modelBlockerajreynol
2019-05-17Fix degenerate caseajreynol
2019-05-17Merge remote-tracking branch 'ajreynol/modelBlocker' into next_modelyoni206
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-05-15cmake: Install JAR and JNI files for Java bindings. (#3002)Mathias Preiner
2019-05-15 BV: Do not enable abstraction when eager bit-blasting by default. (#3001)Aina Niemetz
2019-05-15Fix model of Boolean vars with eager bit-blaster (#2998)Andres Noetzli
2019-05-15Fix printing of bvurem (#2963)Andrew Reynolds
2019-05-10Disable relational triggers (#2994)Andrew Reynolds
2019-05-09Fixes for relational triggers (#2967)Andrew Reynolds
2019-05-06Add support for re.all (#2980)Andres Noetzli
2019-05-02Simple optimizations to core strings theory. (#2988)Andrew Reynolds
2019-05-01Fix re-elim-agg regressions (#2987)Andrew Reynolds
2019-05-01 Use total versions of div/mod in re-elim-agg (#2986)Andrew Reynolds
2019-04-30Fix concat-find regexp elimination (#2983)Andres Noetzli
2019-04-30Remove stoi solve rewrite (#2985)Andrew Reynolds
2019-04-30Fix use of APPLY kind in examples (#2984)Andres Noetzli
2019-04-29Eliminate APPLY kind (#2976)Andrew Reynolds
2019-04-29Optimization for evaluation with unfolding (#2979)Andrew Reynolds
2019-04-25New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar. (#2977)Aina Niemetz
2019-04-24Fix compiler warning. (#2975)Aina Niemetz
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-04-24Dco fix (#2973)Clark Barrett
2019-04-24README: Remove project leaders, history.Aina Niemetz
2019-04-24CONTRIBUTING: Fix project leaders link.Aina Niemetz
2019-04-23[BV] An option for SAT proof optimization (#2915)Alex Ozdemir
2019-04-23Refactor normal forms in strings (#2897)Andrew Reynolds
2019-04-22Add CONTRIBUTING file. (#2968)Aina Niemetz
2019-04-18Fail fast strategy for propagating instances (#2939)Andrew Reynolds
2019-04-18 Less aggressive caching in equality engine when proofs are enabled (#2964)Andrew Reynolds
2019-04-17Cache explanations in the equality engine (#2937)Andrew Reynolds
2019-04-17More use of isClosure (#2959)Andrew Reynolds
2019-04-17Fix extended function decomposition (#2960)Andrew Reynolds
2019-04-16Add interface for term enumeration (#2956)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback