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

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

RSS Atom