projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add substr, contains and equality rewrites (#2665)
[cvc5.git]
/
src
/
smt_util
/
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-01-04
Tim King
Removing miscellaneous throw specifiers. (#1474)
tree
|
commitdiff
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
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-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
tree
|
commitdiff
2016-02-01
Tim King
Fixing a potentially malformed template expansion when...
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2016-01-27
Liana Hadarean
Merged bit-vector and uf proof branch.
tree
|
commitdiff
2016-01-06
Tim King
Moving sexpr.{cpp,h,i} from expr/ back into util/.
tree
|
commitdiff
2016-01-06
Tim King
Add SmtGlobals Class
tree
|
commitdiff
2015-12-30
Tim King
Shuffling around public vs. private headers
tree
|
commitdiff
2015-12-24
Tim King
Miscellaneous fixes
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff