projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add the symmetry breaker module (#1847)
2018-05-09 PaulMengAdd the symmetry breaker module (#1847)
 commit | commitdiff | tree
2018-04-20 PaulMengSymmetry detection module (#1749)
 commit | commitdiff | tree
2017-04-20 Paul MengSupport for relational operators identity and join...
commit | commitdiff | tree
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master
 commit | commitdiff | tree
2017-03-29 Paul MengRefactor the standard effort of relational solver
 commit | commitdiff | tree
2017-03-20 Paul Mengfixed cvc4 parser for set complement
 commit | commitdiff | tree
2016-11-16 PaulMengMerge pull request #109 from PaulMeng/master
 commit | commitdiff | tree
2016-11-15 Paul Mengrelational solver code refactor and bug fixes
 commit | commitdiff | tree
2016-10-11 Paul MengMerge 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 Mengfixed a few bugs
 commit | commitdiff | tree
2016-09-13 Paul Mengfixed type checking and computing for PRODUCT and JOIN
 commit | commitdiff | tree
2016-09-13 Paul Mengrefactored the code, added more benchmarks and minor...
commit | commitdiff | tree
2016-09-12 Paul Mengfixed capitalized "kind"
 commit | commitdiff | tree
2016-08-30 Paul MengComputed members for tp and product rels even they...
commit | commitdiff | tree
2016-08-30 Paul Mengalso computed members for relations that do not have...
commit | commitdiff | tree
2016-08-30 Paul Mengadded more benchmarks
 commit | commitdiff | tree
2016-08-30 Paul Mengmore fix for TC inference
 commit | commitdiff | tree
2016-08-30 Paul Mengfixed TC inference from graph constructed from a relation...
commit | commitdiff | tree
2016-08-26 PaulMengminor fix
 commit | commitdiff | tree
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master'
 commit | commitdiff | tree
2016-07-12 Paul Mengadded support for expansion of transitive closure
 commit | commitdiff | tree
2016-06-25 PaulMengtest
 commit | commitdiff | tree
2016-06-25 PaulMengreimplemented std effort for TC
 commit | commitdiff | tree
2016-05-05 PaulMengchange to use tuple element representatives to build...
commit | commitdiff | tree
2016-05-04 PaulMengimplemented TC for standard effort
 commit | commitdiff | tree
2016-04-20 PaulMengupdate from the master
 commit | commitdiff | tree
2016-04-20 PaulMengadd utils class for relational theory
 commit | commitdiff | tree
2016-04-20 PaulMengRefactored code
 commit | commitdiff | tree
2016-04-15 PaulMengchange 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 PaulMengadded more benchmarks
 commit | commitdiff | tree
2016-04-12 PaulMengfixed explanation for transitive closure inferences
 commit | commitdiff | tree
2016-04-07 PaulMengimplement standard effort support for product
 commit | commitdiff | tree
2016-04-07 PaulMeng- added standard effort for transpose
 commit | commitdiff | tree
2016-03-23 PaulMengadded typing rule for transitive closure
 commit | commitdiff | tree
2016-03-22 PaulMengminor fix
 commit | commitdiff | tree
2016-03-22 PaulMengminor fix
 commit | commitdiff | tree
2016-03-11 PaulMengminor fix
 commit | commitdiff | tree
2016-03-10 PaulMengminor fix
 commit | commitdiff | tree
2016-03-10 PaulMengfixed the transpose-occur rule
 commit | commitdiff | tree
2016-03-09 PaulMengmake skolems and tuple reduction terms as shared terms
 commit | commitdiff | tree
2016-03-07 PaulMengmodified CVC4 native language parser to accept 1-tuple...
commit | commitdiff | tree
2016-03-04 PaulMengrefactored the code
 commit | commitdiff | tree
2016-03-01 PaulMengsmall fixes for eq rep names
 commit | commitdiff | tree
2016-03-01 PaulMengsmall fix for naming
 commit | commitdiff | tree
2016-03-01 PaulMengfixed product rules
 commit | commitdiff | tree
2016-03-01 PaulMengadapted the solver to accept sets of built-in types...
commit | commitdiff | tree
2016-02-29 PaulMengAdded more benchmarks
 commit | commitdiff | tree
2016-02-28 PaulMengimplemented a basic solving procedure for finite relations...
commit | commitdiff | tree
2016-02-17 PaulMengadded rules for join and transpose operators
 commit | commitdiff | tree
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master'
 commit | commitdiff | tree
2016-02-15 PaulMengextended smt parser for the finite relations
 commit | commitdiff | tree
2016-02-09 PaulMeng- extend cvc4 frontend parser to accept relational...
commit | commitdiff | tree