projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use new copyright header format.
[cvc5.git]
/
src
/
theory
/
sets
/
theory_sets_rels.h
2017-07-07
Mathias Preiner
Use new copyright header format.
blob
|
commitdiff
|
raw
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
blob
|
commitdiff
|
raw
|
diff to current
2017-04-20
Paul Meng
Support for relational operators identity and join...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-29
PaulMeng
Merge pull request #138 from PaulMeng/master
blob
|
commitdiff
|
raw
|
diff to current
2017-03-29
Paul Meng
Refactor the standard effort of relational solver
blob
|
commitdiff
|
raw
|
diff to current
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
blob
|
commitdiff
|
raw
|
diff to current
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
blob
|
commitdiff
|
raw
|
diff to current
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-11
Clark Barrett
Merge pull request #131 from makaimann/fix_702
blob
|
commitdiff
|
raw
|
diff to current
2017-01-11
ajreynol
Fix for when variables are (partially) bound in multipl...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-16
Clark Barrett
Merge pull request #108 from timothy-king/smt2-parser...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-16
PaulMeng
Merge pull request #109 from PaulMeng/master
blob
|
commitdiff
|
raw
|
diff to current
2016-11-15
Paul Meng
relational solver code refactor and bug fixes
blob
|
commitdiff
|
raw
|
diff to current
2016-10-26
Andrew Reynolds
Merge pull request #98 from 4tXJ7f/fix_dist_build
blob
|
commitdiff
|
raw
|
diff to current
2016-10-26
ajreynol
New implementation of sets+cardinality. Merge Paul...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
blob
|
commitdiff
|
raw
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Paul Meng
- fixed a memory leak issue with context dependent...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-23
Paul Meng
fixed a few bugs
blob
|
commitdiff
|
raw
|
diff to current
2016-09-13
Paul Meng
refactored the code, added more benchmarks and minor...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Paul Meng
Computed members for tp and product rels even they...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Paul Meng
also computed members for relations that do not have...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2016-07-28
Paul Meng
fixed construction of TC graph
blob
|
commitdiff
|
raw
|
diff to current
2016-07-28
PaulMeng
fixed construction of TC graph
blob
|
commitdiff
|
raw
|
diff to current
2016-07-24
PaulMeng
more code refactor
blob
|
commitdiff
|
raw
|
diff to current
2016-07-23
Paul Meng
refactored code
blob
|
commitdiff
|
raw
|
diff to current
2016-07-20
PaulMeng
bug fixes for reachablity check
blob
|
commitdiff
|
raw
|
diff to current
2016-07-12
Paul Meng
added support for expansion of transitive closure
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
PaulMeng
fixes bugs in std effort for TC
blob
|
commitdiff
|
raw
|
diff to current
2016-06-25
PaulMeng
test
blob
|
commitdiff
|
raw
|
diff to current
2016-06-25
PaulMeng
reimplemented std effort for TC
blob
|
commitdiff
|
raw
|
diff to current
2016-05-05
PaulMeng
change to use tuple element representatives to build...
blob
|
commitdiff
|
raw
|
diff to current
2016-05-04
PaulMeng
implemented TC for standard effort
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
Refactored code
blob
|
commitdiff
|
raw
|
diff to current
2016-04-15
PaulMeng
- Implement constant rewriter for relational operators...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-12
PaulMeng
fixed explanation for transitive closure inferences
blob
|
commitdiff
|
raw
|
diff to current
2016-04-07
PaulMeng
implement standard effort support for product
blob
|
commitdiff
|
raw
|
diff to current
2016-04-07
PaulMeng
- added standard effort for transpose
blob
|
commitdiff
|
raw
|
diff to current
2016-03-11
PaulMeng
minor fix
blob
|
commitdiff
|
raw
|
diff to current
2016-03-10
PaulMeng
fixed the transpose-occur rule
blob
|
commitdiff
|
raw
|
diff to current
2016-03-09
PaulMeng
make skolems and tuple reduction terms as shared terms
blob
|
commitdiff
|
raw
|
diff to current
2016-03-07
PaulMeng
modified CVC4 native language parser to accept 1-tuple...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-04
PaulMeng
refactored the code
blob
|
commitdiff
|
raw
|
diff to current
2016-03-01
PaulMeng
small fixes for eq rep names
blob
|
commitdiff
|
raw
|
diff to current
2016-03-01
PaulMeng
small fix for naming
blob
|
commitdiff
|
raw
|
diff to current
2016-03-01
PaulMeng
fixed product rules
blob
|
commitdiff
|
raw
|
diff to current
2016-03-01
PaulMeng
adapted the solver to accept sets of built-in types...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-29
PaulMeng
Added more benchmarks
blob
|
commitdiff
|
raw
|
diff to current
2016-02-28
PaulMeng
implemented a basic solving procedure for finite relati...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-17
PaulMeng
added rules for join and transpose operators
blob
|
commitdiff
|
raw
|
diff to current
2016-02-15
PaulMeng
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2016-02-15
PaulMeng
extended smt parser for the finite relations
blob
|
commitdiff
|
raw
|
diff to current
2016-02-09
PaulMeng
- extend cvc4 frontend parser to accept relational...
blob
|
commitdiff
|
raw
|
diff to current