projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
More aggressive caching of string skolems. (#2491)
2018-09-18 Andrew ReynoldsMore aggressive caching of string skolems. (#2491)
 commit | commitdiff | tree
2018-09-18 Andrew ReynoldsMove and rename sygus solver classes (#2488)
 commit | commitdiff | tree
2018-09-18 Andrew ReynoldsClean remaining references to getNextDecisionRequest...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsMove inst_strategy_cbqi to inst_strategy_cegqi (#2477)
 commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate cegis unif (#2482)
 commit | commitdiff | tree
2018-09-17 Andrew Reynolds Decision strategy: incorporate bounded integers (...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate datatypes sygus solver...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsMore aggressive skolem caching for strings, document...
commit | commitdiff | tree
2018-09-17 Andres NoetzliFollow redirects with cURL in contrib/get* scripts...
commit | commitdiff | tree
2018-09-17 Andres NoetzliRemove broken dumping support from portfolio build...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate sygus feasible and sygus...
commit | commitdiff | tree
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine...
commit | commitdiff | tree
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (...
commit | commitdiff | tree
2018-09-13 Mathias PreinerFix #include for minisat headers in bvminisat. (#2463)
 commit | commitdiff | tree
2018-09-13 Haniel BarbosaUses information gain heuristic for building better...
commit | commitdiff | tree
2018-09-13 Andrew ReynoldsSimplify storing of transcendental function applications...
commit | commitdiff | tree
2018-09-13 Andrew Reynolds Decision strategy: incorporate CEGQI (#2460)
 commit | commitdiff | tree
2018-09-12 Aina NiemetzNew C++ API: Try to fix (false positive) Coverity warnings...
commit | commitdiff | tree
2018-09-12 Aina NiemetzExamples: Remove obsolete flag CVC4_MAKE_EXAMPLES....
commit | commitdiff | tree
2018-09-12 Andrew Reynolds Initial infrastructure for theory decision manager...
commit | commitdiff | tree
2018-09-12 Andrew ReynoldsFix for when strings process loop is disabled. (#2456)
 commit | commitdiff | tree
2018-09-11 Aina NiemetzFixe compiler warning in line_buffer.cpp. (#2453)
 commit | commitdiff | tree
2018-09-11 Andres NoetzliSet NodeManager to nullptr when exporting vars (#2445)
 commit | commitdiff | tree
2018-09-11 Aina NiemetzRefactor non-clausal simplify preprocessing pass. ...
commit | commitdiff | tree
2018-09-10 Andrew ReynoldsSquash implementation of counterexample-guided instantiation...
commit | commitdiff | tree
2018-09-07 Mathias PreinerReplace boost::integer_traits with std::numeric_limits...
commit | commitdiff | tree
2018-09-06 Andrew Reynolds Further simplify and fix initialization of ce guided...
commit | commitdiff | tree
2018-09-06 Andrew ReynoldsRefactor and document quantifiers variable elimination...
commit | commitdiff | tree
2018-09-06 Andrew ReynoldsMinor improvements to interface for rep set. (#2435)
 commit | commitdiff | tree
2018-09-05 Andrew Reynolds More extended rewrites for strings equality (#2431)
 commit | commitdiff | tree
2018-09-05 Andrew Reynolds Eliminate select over store in quantifier bodies ...
commit | commitdiff | tree
2018-09-05 Andrew ReynoldsRemove printing support for sygus enumeration types...
commit | commitdiff | tree
2018-09-05 Andrew ReynoldsFiner-grained inference of substitutions in incremental...
commit | commitdiff | tree
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427)
 commit | commitdiff | tree
2018-09-04 Andrew ReynoldsMinor improvements to theory model builder interface...
commit | commitdiff | tree
2018-09-04 Andrew ReynoldsMake quantifiers strategies exit immediately when in...
commit | commitdiff | tree
2018-09-04 Aina NiemetzTransfer ownership of learned literals from SMT engine...
commit | commitdiff | tree
2018-09-04 Andrew ReynoldsRefactor ceg conjecture initialization (#2411)
 commit | commitdiff | tree
2018-08-31 Haniel BarbosaAllows SAT checks of repair const to have different...
commit | commitdiff | tree
2018-08-31 Andrew ReynoldsRefactor and document alpha equivalence. (#2402)
 commit | commitdiff | tree
2018-08-31 Haniel BarbosaFix export of bound variables (#2409)
 commit | commitdiff | tree
2018-08-30 Mathias PreinerRefactor theory preprocess into preprocessing pass...
commit | commitdiff | tree
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400)
 commit | commitdiff | tree
2018-08-28 Andrew Reynolds Split term canonize utility to own file and document...
commit | commitdiff | tree
2018-08-28 Andrew Reynolds Fix for get constraints method in fmf-fun (#2399)
 commit | commitdiff | tree
2018-08-28 Andrew ReynoldsSolve equalities between Boolean variables in presolve...
commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in fp_converter (#2388)
 commit | commitdiff | tree
2018-08-28 Andrew ReynoldsFix sort inference for quantified variables of interpreted...
commit | commitdiff | tree
2018-08-28 Andrew ReynoldsFix warning in sygus io. (#2391)
 commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in evaluator (#2389)
 commit | commitdiff | tree
2018-08-27 Andres NoetzliResolution proof: separate printing from proof (#1964)
 commit | commitdiff | tree
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367)
 commit | commitdiff | tree
2018-08-26 Andrew ReynoldsFix unsigned integer type issues in strings (#2380)
 commit | commitdiff | tree
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963)
 commit | commitdiff | tree
2018-08-25 Andrew ReynoldsClean up quantifiers engine initialization. (#2371)
 commit | commitdiff | tree
2018-08-24 Andrew Reynolds Fix more simple coverity warnings (#2372)
 commit | commitdiff | tree
2018-08-24 Andrew Reynolds Remove spurious disabling of cbqi-all (#2368)
 commit | commitdiff | tree
2018-08-24 Andrew Reynolds Do not print internally generated datatypes in external...
commit | commitdiff | tree
2018-08-23 Haniel BarbosaMakes the filename be set in the SMT engine by default...
commit | commitdiff | tree
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364)
 commit | commitdiff | tree
2018-08-23 Aina NiemetzRefactor ITE simplification preprocessing pass. (#2360)
 commit | commitdiff | tree
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354)
 commit | commitdiff | tree
2018-08-22 Andrew Reynolds More unused code elimination (#2358)
 commit | commitdiff | tree
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann...
commit | commitdiff | tree
2018-08-22 Tim KingWrapping TheorySetsPrivate in a unique_ptr. (#2356)
 commit | commitdiff | tree
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353)
 commit | commitdiff | tree
2018-08-22 Andrew ReynoldsFix invalid iterator comparisons (#2349)
 commit | commitdiff | tree
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus...
commit | commitdiff | tree
2018-08-21 Andrew ReynoldsWarn and enable quantifiers when using sygus + logics...
commit | commitdiff | tree
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346)
 commit | commitdiff | tree
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (...
commit | commitdiff | tree
2018-08-21 Aina NiemetzFix initialization of d_smt in ValidityChecker for...
commit | commitdiff | tree
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339)
 commit | commitdiff | tree
2018-08-20 Andrew Reynolds Remove support for prototype (non-sygus) synthesis...
commit | commitdiff | tree
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337)
 commit | commitdiff | tree
2018-08-20 Andrew ReynoldsMinor improvements to the interface for sygus sampler...
commit | commitdiff | tree
2018-08-20 Andrew Reynolds Make sygus inference a preprocessing pass (#2334)
 commit | commitdiff | tree
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319)
 commit | commitdiff | tree
2018-08-17 Andrew ReynoldsRemove miscellaneous unused code (#2333)
 commit | commitdiff | tree
2018-08-17 Andrew ReynoldsSplit sygus grammar to its own ANTLR grammar (#2307)
 commit | commitdiff | tree
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331)
 commit | commitdiff | tree
2018-08-17 Haniel Barbosacleaning unnecessary timers/dumps (#2327)
 commit | commitdiff | tree
2018-08-17 Haniel BarbosaAdding support for bitvector SyGuS problems without...
commit | commitdiff | tree
2018-08-17 Andres NoetzliRefactor IteRemoval preprocessing pass (#1793)
 commit | commitdiff | tree
2018-08-16 Andrew ReynoldsMinor fixes and improvement for sygus to builtin. ...
commit | commitdiff | tree
2018-08-16 Haniel BarbosaRefactor apply2const (#2316)
 commit | commitdiff | tree
2018-08-15 Tim KingRemoving attribute cleanups. (#2300)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused tuple classes (#2313)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused class DynamicArray (#2312)
 commit | commitdiff | tree
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused declaration (#2310)
 commit | commitdiff | tree
2018-08-14 Aina Niemetzautotools: Remove personal builds, rename build 'default...
commit | commitdiff | tree
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301)
 commit | commitdiff | tree
2018-08-13 Tim KingRemoving support for T* and const T* attributes. (...
commit | commitdiff | tree
2018-08-11 Andres NoetzliMake attributes robust to static init orderings (#2295)
 commit | commitdiff | tree
2018-08-10 Aina NiemetzFix portfolio command executor for changes from #2240...
commit | commitdiff | tree
2018-08-10 Andres NoetzliDo not use static initialization in CxxTest runner...
commit | commitdiff | tree
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290)
 commit | commitdiff | tree
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240)
 commit | commitdiff | tree
2018-08-09 Tim KingFixing documentation nit from PR#2232. (#2289)
 commit | commitdiff | tree
next