projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Adding a missing delete to smt2_compliance.
2015-11-24
Tim King
Adding a missing delete to smt2_compliance.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Adding a missing delete to InstStrategyCegqi destructor.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STREAM...
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Switching travis over to using the containers infrastructure.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Freeing memory allocated for signal handling.
commit
|
commitdiff
|
tree
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
commit
|
commitdiff
|
tree
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
commit
|
commitdiff
|
tree
2015-11-09
Tim King
Replacing an inefficient use of std::find(...) to use...
commit
|
commitdiff
|
tree
2015-11-05
Tim King
Merging the google branch back into master.
commit
|
commitdiff
|
tree
2015-11-05
Tim King
Fixes some initialization and desctruction problems...
commit
|
commitdiff
|
tree
2015-11-03
Tim King
Adding a test to ensure the <build>/src/theory directory...
commit
|
commitdiff
|
tree
2015-10-30
Tim King
Removes an extra dollar sign from src/options/mktagheaders...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit fixes a bug related to a public header...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit removes using absolute paths in the generation...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit moves the scripts for building the Debug_tags...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This fixes a one definition rule violation for reduceDB_lt...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
This removes a bug for reading data that has been popped...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Specify that the default initialization must always...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Switching Options::current() to return a pointer. This...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Changes configure.ac so that the single recurisve invocation...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
This patch slightly generalizes how the std::isfinite...
commit
|
commitdiff
|
tree