projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #28 from kbansal/sets
[cvc5.git]
/
src
/
theory
/
idl
/
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-22
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-01-22
Morgan Deters
Delay QuantifiersEngine and UF strong solver initializa...
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Minor code cleanup.
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-13
Morgan Deters
Documentation fixes, some code typo fixes, file perms...
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-07-29
Morgan Deters
Fix numerous compiler warnings on various platforms
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-07
Dejan Jovanović
small parese issue in IDL
tree
|
commitdiff
2013-06-06
Dejan Jovanović
typo
tree
|
commitdiff
2013-06-06
Dejan Jovanović
IDL example theory (to be used with --use-theory=idl).
tree
|
commitdiff