projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Decision strategy: incorporate cegis unif (#2482)
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 Andrew ReynoldsMake strings model construction robust to lengths that...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate UF with cardinality...
commit | commitdiff | tree
2018-09-17 Andrew ReynoldsDecision strategy: incorporate sygus feasible and sygus...
commit | commitdiff | tree
2018-09-14 Andrew ReynoldsAdd Skolem cache for strings, refactor length registration...
commit | commitdiff | tree
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (...
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 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 Andrew ReynoldsSupport model cores via option --produce-model-cores...
commit | commitdiff | tree
2018-09-11 Andrew ReynoldsFix global negate (#2449)
 commit | commitdiff | tree
2018-09-10 Andrew ReynoldsSquash implementation of counterexample-guided instantiation...
commit | commitdiff | tree
2018-09-07 Andrew Reynolds Make isClosedEnumerable a member of TypeNode (#2434)
 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 ReynoldsRemove redundant strings rewrite. (#2422)
 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 Andrew ReynoldsRefactor ceg conjecture initialization (#2411)
 commit | commitdiff | tree
2018-08-31 Andrew ReynoldsRefactor and document alpha equivalence. (#2402)
 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 Andrew ReynoldsFix sort inference for quantified variables of interpreted...
commit | commitdiff | tree
2018-08-28 Andrew Reynolds Address more coverity warnings (#2394)
 commit | commitdiff | tree
2018-08-28 Andrew ReynoldsFix warning in sygus io. (#2391)
 commit | commitdiff | tree
2018-08-28 Andrew ReynoldsRefactor extended rewriter, move rewrites to aggressive...
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 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 Andrew Reynolds Fixing some coverity warnings (#2357)
 commit | commitdiff | tree
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364)
 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 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 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 Reynolds Add sygus stream regressions (#2330)
 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 Andrew Reynolds Fix arithmetic division by zero in sygus repair constant...
commit | commitdiff | tree
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normalization...
commit | commitdiff | tree
2018-08-16 Andrew ReynoldsMinor fixes and improvement for sygus to builtin. ...
commit | commitdiff | tree
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309)
 commit | commitdiff | tree
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver...
commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288)
 commit | commitdiff | tree
2018-08-08 Andrew ReynoldsAdd debug test for sygus subcall verify calls. (#2287)
 commit | commitdiff | tree
2018-08-08 Andrew ReynoldsMove uf model code from uf to quantifiers (#2095)
 commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDo beta-reduction in expandDefinitions (#2286)
 commit | commitdiff | tree
2018-08-08 Andrew ReynoldsSimplify and improve the sygus parser (#2266)
 commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDocument/refactor datatypes sygus simple symmetry breaking...
commit | commitdiff | tree
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281)
 commit | commitdiff | tree
2018-08-07 Andrew Reynolds Wait to do sygus qe preprocess until full effort check...
commit | commitdiff | tree
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variable...
commit | commitdiff | tree
2018-08-07 Andrew ReynoldsMake flat form inferences optional in strings (#2277)
 commit | commitdiff | tree
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276)
 commit | commitdiff | tree
2018-08-07 Andrew Reynolds Move sygus quantifier elimination step for non-ground...
commit | commitdiff | tree
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264)
 commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFixes for sygus inference (#2238)
 commit | commitdiff | tree
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference...
commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for...
commit | commitdiff | tree
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions...
commit | commitdiff | tree
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257)
 commit | commitdiff | tree
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multiple...
commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix candidate rewrite utilities for non-first-class...
commit | commitdiff | tree
2018-08-02 Andrew ReynoldsMake strings robust to regular expression variables...
commit | commitdiff | tree
2018-08-02 Andrew Reynolds Remove references to deprecated propagate as decision...
commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix API call for reg exp. (#2248)
 commit | commitdiff | tree
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247)
 commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2...
commit | commitdiff | tree
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219)
 commit | commitdiff | tree
2018-08-01 Andrew Reynolds Fix assertion in conjecture generator (#2246)
 commit | commitdiff | tree
2018-08-01 Andrew ReynoldsMake conjecture generator's uf term enumeration safer...
commit | commitdiff | tree
2018-08-01 Andrew ReynoldsMake candidate rewrite match filtering handle polymorphic...
commit | commitdiff | tree
2018-07-27 Andrew ReynoldsFix for candidate rewrite rule filtering. (#2220)
 commit | commitdiff | tree
2018-07-27 Andrew Reynolds Make check-synth robust for assertions that are not...
commit | commitdiff | tree
2018-07-27 Andrew ReynoldsFix Node::hasFreeVar for function variables (#2216)
 commit | commitdiff | tree
next