projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Cleanup: use Assert rather than C assert. (#1052)
2017-08-22
Aina Niemetz
Cleanup: use Assert rather than C assert. (#1052)
commit
|
commitdiff
|
tree
2017-08-14
Aina Niemetz
Merge pull request #214 from CVC4/fix_warn_nonlinear
commit
|
commitdiff
|
tree
2017-08-12
Aina Niemetz
Fix compiler warnings in theory/arith/nonlinear_extension.cpp
commit
|
commitdiff
|
tree
2017-08-09
Aina Niemetz
Fix help message for disable-unit-testing in configure...
commit
|
commitdiff
|
tree
2017-08-09
Aina Niemetz
Fix Assertion (compiler warning) in theory/bv/theory_bv.cpp
commit
|
commitdiff
|
tree
2017-08-08
Aina Niemetz
Fix compiler warning in theory/quantifiers/term_database_syg...
commit
|
commitdiff
|
tree
2017-08-05
Aina Niemetz
Reorganized bitvector.h
commit
|
commitdiff
|
tree
2017-08-04
Aina Niemetz
Fix comments
commit
|
commitdiff
|
tree
2017-08-04
Aina Niemetz
Fix typos in comments
commit
|
commitdiff
|
tree
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
commit
|
commitdiff
|
tree
2017-07-13
Aina Niemetz
autoconf: make -std=gnu++11 mandatory
commit
|
commitdiff
|
tree
2017-07-06
Aina Niemetz
cut-release: git co -> git checkout
commit
|
commitdiff
|
tree
2017-07-06
Aina Niemetz
cut-release: option handling, get-antlr
commit
|
commitdiff
|
tree