git.libre-soc.org Git - cvc5.git/search

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