projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Updates to theory preprocess equality (#5776)
[cvc5.git]
/
src
/
theory
/
datatypes
/
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
2018-02-08
Andrew Reynolds
Minor improvements to sygus sampling. (#1577)
tree
|
commitdiff
2018-02-06
Tim King
Resolving warnings from -Winconsistent-missing-override...
tree
|
commitdiff
2018-02-06
Andrew Reynolds
Statically eliminate redundant sygus constructors ...
tree
|
commitdiff
2018-02-03
Andrew Reynolds
Option to use sampling for CEGIS (#1555)
tree
|
commitdiff
2018-02-01
Andrew Reynolds
Use sygus to synthesize/verify rewrite rules (#1547)
tree
|
commitdiff
2018-01-30
Andrew Reynolds
Further clean and document datatypes rewriter (#1548)
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers from type enumerators. (...
tree
|
commitdiff
2017-12-08
Andrew Reynolds
Document and clean datatypes rewriter (#1437)
tree
|
commitdiff
2017-12-08
Andrew Reynolds
Make collect model info return a Bool (#1421)
tree
|
commitdiff
2017-12-07
Andrew Reynolds
Fixes related to SyGuS + real arithmetic (#1432)
tree
|
commitdiff
2017-12-06
Andres Noetzli
Remove CDChunkList (#1414)
tree
|
commitdiff
2017-12-01
Andrew Reynolds
Minor additions for sygus (#1419)
tree
|
commitdiff
2017-11-14
Andrew Reynolds
(Refactor) Split sygus term db (#1335)
tree
|
commitdiff
2017-11-07
Tim King
Initializing EquivSygusInvarianceTest::d_conj in the...
tree
|
commitdiff
2017-10-28
Andrew Reynolds
Sygus process conjecture (#1286)
tree
|
commitdiff
2017-10-20
Andrew Reynolds
SyGuS term size limit (#1262)
tree
|
commitdiff
2017-10-17
Tim King
Fixing 2 instances of an unused variable. (#1253)
tree
|
commitdiff
2017-10-17
Andrew Reynolds
Sygus enumerators to conjecture (#1237)
tree
|
commitdiff
2017-10-10
Andrew Reynolds
Split term database (#1206)
tree
|
commitdiff
2017-09-14
Andrew Reynolds
Remove unhandled subtypes (#1098)
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-08
ajreynol
Use cache for datatypes cycle check, add regression.
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
tree
|
commitdiff
2017-07-12
ajreynol
Make type rules more strict for operators whose type...
tree
|
commitdiff
2017-07-10
ajreynol
Separate sygus term utilities to new file, minor cleanu...
tree
|
commitdiff
2017-07-10
ajreynol
Merge datatype shared selectors/sygus comp 2017 branch...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-06-30
ajreynol
Minor change to trigger selection, fixes related to...
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-15
ajreynol
Ensure uninterpreted constants do not escape datatypes...
tree
|
commitdiff
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
tree
|
commitdiff
2017-04-21
ajreynol
Handle subtypes in sets. Bug fixes for tuples with...
tree
|
commitdiff
2017-04-04
ajreynol
Simplify Theory::collectModelInfo interface to not...
tree
|
commitdiff
2017-03-27
Clark Barrett
Merge pull request #137 from 4tXJ7f/throw_quals
tree
|
commitdiff
2017-03-27
Andres Notzli
Remove throw qualifiers in type enumerators
tree
|
commitdiff
2017-03-24
ajreynol
Refactor model building for quantifiers to be a single...
tree
|
commitdiff
2017-03-21
ajreynol
Improve computeCareGraph functions to check shared...
tree
|
commitdiff
2017-03-03
ajreynol
Fix for collectModelInfo related to finite types +...
tree
|
commitdiff
2017-03-02
ajreynol
Minor cleanup and reorganization related to last commit.
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-12-02
Tim King
Merge pull request #95 from 4tXJ7f/fix_sierra_build
tree
|
commitdiff
2016-12-02
Clark Barrett
Merge pull request #113 from 4tXJ7f/remove_extract_rule
tree
|
commitdiff
2016-12-02
ajreynol
Bug fixes and refactoring of parametric datatypes,...
tree
|
commitdiff
2016-11-02
ajreynol
Fix a few obvious memory leaks in sygus and quantifiers...
tree
|
commitdiff
2016-11-01
ajreynol
Working memory leak free version, changes interface...
tree
|
commitdiff
2016-10-31
ajreynol
Minor refactoring in preparation for datatypes node...
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
next