projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add the symmetry breaker module (#1847)
2018-05-09
PaulMeng
Add the symmetry breaker module (#1847)
commit
|
commitdiff
|
tree
2018-04-20
PaulMeng
Symmetry detection module (#1749)
commit
|
commitdiff
|
tree
2017-04-20
Paul Meng
Support for relational operators identity and join...
commit
|
commitdiff
|
tree
2017-03-29
PaulMeng
Merge pull request #138 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-03-29
Paul Meng
Refactor the standard effort of relational solver
commit
|
commitdiff
|
tree
2017-03-20
Paul Meng
fixed cvc4 parser for set complement
commit
|
commitdiff
|
tree
2016-11-16
PaulMeng
Merge pull request #109 from PaulMeng/master
commit
|
commitdiff
|
tree
2016-11-15
Paul Meng
relational solver code refactor and bug fixes
commit
|
commitdiff
|
tree
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
commit
|
commitdiff
|
tree
2016-10-11
Paul Meng
- fixed a memory leak issue with context dependent...
commit
|
commitdiff
|
tree
2016-09-23
Paul Meng
fixed a few bugs
commit
|
commitdiff
|
tree
2016-09-13
Paul Meng
fixed type checking and computing for PRODUCT and JOIN
commit
|
commitdiff
|
tree
2016-09-13
Paul Meng
refactored the code, added more benchmarks and minor...
commit
|
commitdiff
|
tree
2016-09-12
Paul Meng
fixed capitalized "kind"
commit
|
commitdiff
|
tree
2016-08-30
Paul Meng
Computed members for tp and product rels even they...
commit
|
commitdiff
|
tree
2016-08-30
Paul Meng
also computed members for relations that do not have...
commit
|
commitdiff
|
tree
2016-08-30
Paul Meng
added more benchmarks
commit
|
commitdiff
|
tree
2016-08-30
Paul Meng
more fix for TC inference
commit
|
commitdiff
|
tree
2016-08-30
Paul Meng
fixed TC inference from graph constructed from a relation...
commit
|
commitdiff
|
tree
2016-08-26
PaulMeng
minor fix
commit
|
commitdiff
|
tree
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2016-07-12
Paul Meng
added support for expansion of transitive closure
commit
|
commitdiff
|
tree
2016-06-25
PaulMeng
test
commit
|
commitdiff
|
tree
2016-06-25
PaulMeng
reimplemented std effort for TC
commit
|
commitdiff
|
tree
2016-05-05
PaulMeng
change to use tuple element representatives to build...
commit
|
commitdiff
|
tree
2016-05-04
PaulMeng
implemented TC for standard effort
commit
|
commitdiff
|
tree
2016-04-20
PaulMeng
update from the master
commit
|
commitdiff
|
tree
2016-04-20
PaulMeng
add utils class for relational theory
commit
|
commitdiff
|
tree
2016-04-20
PaulMeng
Refactored code
commit
|
commitdiff
|
tree
2016-04-15
PaulMeng
change transitive closure operator name to TCLOUSRE
commit
|
commitdiff
|
tree
2016-04-15
PaulMeng
- Implement constant rewriter for relational operators...
commit
|
commitdiff
|
tree
2016-04-12
PaulMeng
added more benchmarks
commit
|
commitdiff
|
tree
2016-04-12
PaulMeng
fixed explanation for transitive closure inferences
commit
|
commitdiff
|
tree
2016-04-07
PaulMeng
implement standard effort support for product
commit
|
commitdiff
|
tree
2016-04-07
PaulMeng
- added standard effort for transpose
commit
|
commitdiff
|
tree
2016-03-23
PaulMeng
added typing rule for transitive closure
commit
|
commitdiff
|
tree
2016-03-22
PaulMeng
minor fix
commit
|
commitdiff
|
tree
2016-03-22
PaulMeng
minor fix
commit
|
commitdiff
|
tree
2016-03-11
PaulMeng
minor fix
commit
|
commitdiff
|
tree
2016-03-10
PaulMeng
minor fix
commit
|
commitdiff
|
tree
2016-03-10
PaulMeng
fixed the transpose-occur rule
commit
|
commitdiff
|
tree
2016-03-09
PaulMeng
make skolems and tuple reduction terms as shared terms
commit
|
commitdiff
|
tree
2016-03-07
PaulMeng
modified CVC4 native language parser to accept 1-tuple...
commit
|
commitdiff
|
tree
2016-03-04
PaulMeng
refactored the code
commit
|
commitdiff
|
tree
2016-03-01
PaulMeng
small fixes for eq rep names
commit
|
commitdiff
|
tree
2016-03-01
PaulMeng
small fix for naming
commit
|
commitdiff
|
tree
2016-03-01
PaulMeng
fixed product rules
commit
|
commitdiff
|
tree
2016-03-01
PaulMeng
adapted the solver to accept sets of built-in types...
commit
|
commitdiff
|
tree
2016-02-29
PaulMeng
Added more benchmarks
commit
|
commitdiff
|
tree
2016-02-28
PaulMeng
implemented a basic solving procedure for finite relations...
commit
|
commitdiff
|
tree
2016-02-17
PaulMeng
added rules for join and transpose operators
commit
|
commitdiff
|
tree
2016-02-15
PaulMeng
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2016-02-15
PaulMeng
extended smt parser for the finite relations
commit
|
commitdiff
|
tree
2016-02-09
PaulMeng
- extend cvc4 frontend parser to accept relational...
commit
|
commitdiff
|
tree