projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Remove hard coded option for TPTP regressions in run_regression (#3128)
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 Reynolds
Refactor and document quantifiers variable elimination...
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Minor 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 Reynolds
Remove printing support for sygus enumeration types...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Finer-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 Reynolds
Remove redundant strings rewrite. (#2422)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Minor improvements to theory model builder interface...
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Make quantifiers strategies exit immediately when in...
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Refactor ceg conjecture initialization (#2411)
commit
|
commitdiff
|
tree
2018-08-31
Andrew Reynolds
Refactor and document alpha equivalence. (#2402)
commit
|
commitdiff
|
tree
2018-08-30
Andrew Reynolds
Add 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 Reynolds
Solve equalities between Boolean variables in presolve...
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Fix 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 Reynolds
Fix warning in sygus io. (#2391)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Refactor extended rewriter, move rewrites to aggressive...
commit
|
commitdiff
|
tree
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
commit
|
commitdiff
|
tree
2018-08-26
Andrew Reynolds
Fix unsigned integer type issues in strings (#2380)
commit
|
commitdiff
|
tree
2018-08-25
Andrew Reynolds
Clean 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 Reynolds
Fix regression requiring proof build. (#2364)
commit
|
commitdiff
|
tree
2018-08-23
Andrew Reynolds
More 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 Reynolds
Fix option for real2int regression. (#2353)
commit
|
commitdiff
|
tree
2018-08-22
Andrew Reynolds
Fix 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 Reynolds
Warn and enable quantifiers when using sygus + logics...
commit
|
commitdiff
|
tree
2018-08-21
Andrew Reynolds
Use cbqi-full for sygus (#2346)
commit
|
commitdiff
|
tree
2018-08-21
Andrew Reynolds
More 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 Reynolds
Add regressions that increase coverage (#2337)
commit
|
commitdiff
|
tree
2018-08-20
Andrew Reynolds
Minor 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 Reynolds
Remove support for flipDecision (#2319)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Remove miscellaneous unused code (#2333)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Add sygus stream regressions (#2330)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Split 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 Reynolds
Minor fixes and improvement for sygus to builtin. ...
commit
|
commitdiff
|
tree
2018-08-15
Andrew Reynolds
Make 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 Reynolds
Disable argument relevance for sygus by default (#2288)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Add debug test for sygus subcall verify calls. (#2287)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Move uf model code from uf to quantifiers (#2095)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Do beta-reduction in expandDefinitions (#2286)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Simplify and improve the sygus parser (#2266)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Document/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 Reynolds
Fix inference of pre and post conditions for non variable...
commit
|
commitdiff
|
tree
2018-08-07
Andrew Reynolds
Make flat form inferences optional in strings (#2277)
commit
|
commitdiff
|
tree
2018-08-07
Andrew Reynolds
Add 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 Reynolds
Remove support for Enum sygus syntax. (#2264)
commit
|
commitdiff
|
tree
2018-08-06
Andrew Reynolds
Fixes 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 Reynolds
Fix degenerate case of sygus grammar construction for...
commit
|
commitdiff
|
tree
2018-08-03
Andrew Reynolds
Eliminate option for sygus UF evaluation functions...
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Parse standard separation logic inputs (#2257)
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Improve CEGQI heuristics involving equality and multiple...
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Fix candidate rewrite utilities for non-first-class...
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Make 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 Reynolds
Fix API call for reg exp. (#2248)
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Improvements and fixes in cegqi arithmetic (#2247)
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Fix issues with printing parametric datatypes in smt2...
commit
|
commitdiff
|
tree
2018-08-01
Andrew Reynolds
Fix 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 Reynolds
Make conjecture generator's uf term enumeration safer...
commit
|
commitdiff
|
tree
2018-08-01
Andrew Reynolds
Make candidate rewrite match filtering handle polymorphic...
commit
|
commitdiff
|
tree
2018-07-27
Andrew Reynolds
Fix 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 Reynolds
Fix Node::hasFreeVar for function variables (#2216)
commit
|
commitdiff
|
tree
2018-07-26
Andrew Reynolds
Fix rewriter for lambda (#2211)
commit
|
commitdiff
|
tree
2018-07-26
Andrew Reynolds
Fix a few issues in the sygus sampler related to evaluation...
commit
|
commitdiff
|
tree
2018-07-25
Andrew Reynolds
Move reg exp rewrites from prerewrite to postrewrite...
commit
|
commitdiff
|
tree
2018-07-24
Andrew Reynolds
Improvements to sets + cardinality + quantifiers (...
commit
|
commitdiff
|
tree
2018-07-23
Andrew Reynolds
Improve rewriter for regular expression concatenation...
commit
|
commitdiff
|
tree
2018-07-23
Andrew Reynolds
Generalize symmetry detection for 1 symmetry variable...
commit
|
commitdiff
|
tree
2018-07-23
Andrew Reynolds
sygusComp2018: add regressions (#2191)
commit
|
commitdiff
|
tree
2018-07-23
Andrew Reynolds
Fix warning in sygus PBE (#2190)
commit
|
commitdiff
|
tree
2018-07-22
Andrew Reynolds
sygusComp2018: Improvements to CEGIS loop (#2187)
commit
|
commitdiff
|
tree
2018-07-21
Andrew Reynolds
Optimizations and fixes for computing whether a type...
commit
|
commitdiff
|
tree
2018-07-21
Andrew Reynolds
sygusComp2018: refactor and improve sygus io utility...
commit
|
commitdiff
|
tree
2018-07-20
Andrew Reynolds
Cleanup and additions for candidate generator (#2173)
commit
|
commitdiff
|
tree
2018-07-20
Andrew Reynolds
sygusComp2018: minor changes to repair constant utility...
commit
|
commitdiff
|
tree
2018-07-17
Andrew Reynolds
sygusComp2018: pbe multi-enumerator fairness option...
commit
|
commitdiff
|
tree
2018-07-17
Andrew Reynolds
Minor cleanup and fixes for conflict-based instantiation...
commit
|
commitdiff
|
tree
2018-07-17
Andrew Reynolds
Do extended rewrite on results of quantifier elimination...
commit
|
commitdiff
|
tree
next