projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Statistics on instantiations per quantified formula. (#4719)
[cvc5.git]
/
src
/
theory
/
datatypes
/
2020-07-11
Andrew Reynolds
(proof-new) Update Theory interface for proof-new ...
tree
|
commitdiff
2020-06-30
Ying Sheng
Interpolation step 1 (#4638)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-13
Andrew Reynolds
Move sygus datatype utility functions to their own...
tree
|
commitdiff
2020-06-06
Andrew Reynolds
Smt2 parsing support for nested recursive datatypes...
tree
|
commitdiff
2020-06-05
Andrew Reynolds
Datatypes with nested recursion are not handled in...
tree
|
commitdiff
2020-06-04
Andrew Reynolds
Add sygus datatype substitution utility method (#4390)
tree
|
commitdiff
2020-04-21
Andrew Reynolds
Make option names related to CEGQI consistent (#4316)
tree
|
commitdiff
2020-04-17
Mathias Preiner
SyGuS instantiation quantifiers module (#3910)
tree
|
commitdiff
2020-04-11
Andrew Reynolds
Ensure exported sygus solutions match grammar (#4270)
tree
|
commitdiff
2020-04-08
Andres Noetzli
Perform theory widening eagerly (#4044)
tree
|
commitdiff
2020-04-03
Andres Noetzli
Update theory rewriter ownership, add stats to strings...
tree
|
commitdiff
2020-04-02
Andres Noetzli
Initialize theory rewriters in theories (#4197)
tree
|
commitdiff
2020-03-30
Andrew Reynolds
Remove ref skolem datatype option (#4185)
tree
|
commitdiff
2020-03-13
Andrew Reynolds
Removing a few deprecated options (#4052)
tree
|
commitdiff
2020-03-11
Andrew Reynolds
Guard against null relevancy condition in SyGuS (#4033)
tree
|
commitdiff
2020-03-10
Andrew Reynolds
Rename sygus option name (#3977)
tree
|
commitdiff
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
tree
|
commitdiff
2020-02-27
Andrew Reynolds
Initial work towards -Wshadow (#3817)
tree
|
commitdiff
2020-02-20
Andrew Reynolds
Minor removals (#3786)
tree
|
commitdiff
2020-02-19
Andrew Reynolds
Fix symmetry breaking for multiple sygus types (#3775)
tree
|
commitdiff
2020-02-11
Andrew Reynolds
Use example evaluation cache instead of sygus PBE ...
tree
|
commitdiff
2019-12-17
Mathias Preiner
Generate code for options with modes. (#3561)
tree
|
commitdiff
2019-12-13
Andrew Reynolds
Eliminate Expr-level calls in TypeNode (#3562)
tree
|
commitdiff
2019-12-12
Andrew Reynolds
Use the node-level datatypes API (#3556)
tree
|
commitdiff
2019-12-09
Andres Noetzli
Make theory rewriters non-static (#3547)
tree
|
commitdiff
2019-12-06
Andrew Reynolds
Optimize the rewriter for DT_SYGUS_EVAL (#3529)
tree
|
commitdiff
2019-12-04
Andrew Reynolds
New grammar construction modes for SyGuS (#3486)
tree
|
commitdiff
2019-11-15
Andrew Reynolds
Introduce SyGuS datatype API (#3465)
tree
|
commitdiff
2019-11-11
Andrew Reynolds
Eliminate remaining references to type/expr in datatype...
tree
|
commitdiff
2019-11-06
Andrew Reynolds
Migrate more datatype methods to the Node level (#3443)
tree
|
commitdiff
2019-11-05
Andrew Reynolds
Refactor type matcher utility (#3439)
tree
|
commitdiff
2019-11-01
Andrew Reynolds
Fix non-termination in datatype type enumerator (#3369)
tree
|
commitdiff
2019-11-01
Andrew Reynolds
Eagerly beta reduce during sygus to builtin term conver...
tree
|
commitdiff
2019-11-01
Andrew Reynolds
Rename datatypes sygus solver (#3417)
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-10-17
Andrew Reynolds
Move datatype utility functions to own file (#3397)
tree
|
commitdiff
2019-10-04
Andrew Reynolds
Avoid duplicate lemmas in datatypes (#3310)
tree
|
commitdiff
2019-09-28
Andrew Reynolds
Support smt2 language "match" term (#3258)
tree
|
commitdiff
2019-09-16
Andrew Reynolds
Sygus type info class (#3187)
tree
|
commitdiff
2019-08-05
Andrew Reynolds
Remove forward declarations in quantifiers engine ...
tree
|
commitdiff
2019-06-11
Andrew Reynolds
Do not require sygus constructors to be flattened ...
tree
|
commitdiff
2019-04-30
Andrew Reynolds
Eliminate APPLY kind (#2976)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-03-26
Andrew Reynolds
Fix a few warnings (#2898)
tree
|
commitdiff
2019-03-21
Andrew Reynolds
Rewrite selectors correctly applied to constructors...
tree
|
commitdiff
2019-03-14
Andrew Reynolds
Generalize sygus-rr-verify for fast enumerator (#2829)
tree
|
commitdiff
2019-03-12
Andrew Reynolds
Move tuple/record update elimination from ppRewrite...
tree
|
commitdiff
2019-01-15
Andrew Reynolds
Only check disequal terms with sygus-rr-verify (#2793)
tree
|
commitdiff
2019-01-09
Andrew Reynolds
Do not rewrite 1-constructor sygus testers to true...
tree
|
commitdiff
2018-12-20
Aina Niemetz
Add missing type rules for parameterized operator kinds...
tree
|
commitdiff
2018-11-27
Andrew Reynolds
Make (T)NodeTrie a general utility (#2489)
tree
|
commitdiff
2018-11-27
Andrew Reynolds
Fix coverity warnings in datatypes (#2553)
tree
|
commitdiff
2018-11-21
Andrew Reynolds
Support string replace all (#2704)
tree
|
commitdiff
2018-11-06
Andrew Reynolds
Incorporate static PBE symmetry breaking lemmas into...
tree
|
commitdiff
2018-10-23
Andrew Reynolds
Do not use lazy trie for sygus-rr-verify (#2668)
tree
|
commitdiff
2018-10-11
Andrew Reynolds
Synthesize rewrite rules from inputs (#2608)
tree
|
commitdiff
2018-10-09
Andrew Reynolds
Support for basic actively-generated enumerators ...
tree
|
commitdiff
2018-10-05
Andrew Reynolds
Update default options for sygus (#2586)
tree
|
commitdiff
2018-10-03
Andrew Reynolds
Add actively generated sygus enumerators (#2552)
tree
|
commitdiff
2018-09-26
Andrew Reynolds
Symmetry breaking for variable agnostic enumerators...
tree
|
commitdiff
2018-09-25
Andrew Reynolds
Fix warnings uncovered by cmake build (#2521)
tree
|
commitdiff
2018-09-25
Andrew Reynolds
Allow partial models for multiple sygus enumerators...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Remove unused CMakeLists.txt
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-18
Andrew Reynolds
Move and rename sygus solver classes (#2488)
tree
|
commitdiff
2018-09-17
Andrew Reynolds
Decision strategy: incorporate datatypes sygus solver...
tree
|
commitdiff
2018-08-28
Andrew Reynolds
Address more coverity warnings (#2394)
tree
|
commitdiff
2018-08-24
Andrew Reynolds
Fix more simple coverity warnings (#2372)
tree
|
commitdiff
2018-08-24
Andres Noetzli
Add tests that enumerate and verify rewrite rules ...
tree
|
commitdiff
2018-08-21
Andrew Reynolds
More unused code elimination (#2339)
tree
|
commitdiff
2018-08-20
Andrew Reynolds
Minor improvements to the interface for sygus sampler...
tree
|
commitdiff
2018-08-16
Andrew Reynolds
Minor fixes and improvement for sygus to builtin. ...
tree
|
commitdiff
2018-08-08
Andrew Reynolds
Document/refactor datatypes sygus simple symmetry break...
tree
|
commitdiff
2018-08-03
Andrew Reynolds
Eliminate option for sygus UF evaluation functions...
tree
|
commitdiff
2018-07-21
Andrew Reynolds
Optimizations and fixes for computing whether a type...
tree
|
commitdiff
2018-07-17
Andrew Reynolds
sygusComp2018: pbe multi-enumerator fairness option...
tree
|
commitdiff
2018-07-17
Andrew Reynolds
sygusComp2018: Improvements to datatypes sygus solver...
tree
|
commitdiff
2018-07-13
Andrew Reynolds
sygusComp2018: optimization for collect model info...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-06-07
Andrew Reynolds
Clear pending inferences during datatypes splitting...
tree
|
commitdiff
2018-05-28
Andrew Reynolds
Builtin evaluation functions for sygus (#1991)
tree
|
commitdiff
2018-05-24
Andrew Reynolds
Improve simple constant symmetry breaking for sygus...
tree
|
commitdiff
2018-05-23
Haniel Barbosa
Towards better symbolic enumeration in SyGuS (#1971)
tree
|
commitdiff
2018-05-23
Andrew Reynolds
Repair constants using symbolic constructors (#1960)
tree
|
commitdiff
2018-05-10
Andrew Reynolds
Sygus repair constants (#1812)
tree
|
commitdiff
2018-05-09
Andrew Reynolds
Better option names for PBE (#1891)
tree
|
commitdiff
2018-05-04
Andrew Reynolds
Document datatypes sygus (#1818)
tree
|
commitdiff
2018-03-26
Andrew Reynolds
Abort when sygus-verify finds unsoundness. (#1717)
tree
|
commitdiff
2018-03-25
Andrew Reynolds
Cleanup various exit calls (#1692)
tree
|
commitdiff
2018-03-20
Andrew Reynolds
Minor refactor datatypes sygus (#1673)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-06
Andrew Reynolds
Refactor symmetry breaking in datatypes sygus (#1640)
tree
|
commitdiff
2018-03-06
Andrew Reynolds
Update semantics for string indexof and replace (#1630)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-03-02
Andrew Reynolds
Print candidate rewrites in terms of original grammar...
tree
|
commitdiff
2018-02-27
Andrew Reynolds
Improvements to sygus sampling (#1621)
tree
|
commitdiff
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
tree
|
commitdiff
2018-02-11
Andrew Reynolds
More minor improvements to synth-rr (#1597)
tree
|
commitdiff
next