git.libre-soc.org Git - cvc5.git/history - test/unit/theory/theory_engine

[cvc5.git] / test / unit / theory / theory_engine_white.h

2012-05-03	Dejan Jovanović	Some cleanup starting off from trying to understand...	blob \| commitdiff \| raw
2012-04-28	Morgan Deters	New LogicInfo functionality.	blob \| commitdiff \| raw \| diff to current
2012-02-22	Morgan Deters	Added OutputChannel::propagateAsDecision() functionalit...	blob \| commitdiff \| raw \| diff to current
2011-12-06	Morgan Deters	LemmaStatus changes, as agreed to during 12/2 meeting.	blob \| commitdiff \| raw \| diff to current
2011-10-23	Morgan Deters	Implement changes from yesterday morning's meeting...	blob \| commitdiff \| raw \| diff to current
2011-09-29	Morgan Deters	Some base infrastructure for user push/pop; a few bugfi...	blob \| commitdiff \| raw \| diff to current
2011-09-15	Dejan Jovanović	additional stuff for sharing,	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-04-16	Morgan Deters	unit test fixes for new NodeManager constructor (relate...	blob \| commitdiff \| raw \| diff to current
2011-04-01	Morgan Deters	This commit is a merge from the "betterstats" branch...	blob \| commitdiff \| raw \| diff to current
2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Merge from theory-break-dependences branch to break...	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	fix for build errors	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current
2010-11-16	Tim King	Added Theory::presolve().	blob \| commitdiff \| raw \| diff to current
2010-10-22	Christopher L. Conway	Merging main/getopt.cpp, main/usage.h, and smt/options...	blob \| commitdiff \| raw \| diff to current
2010-10-21	Christopher L. Conway	* Option --no-type-checking now disables type checks...	blob \| commitdiff \| raw \| diff to current
2010-10-12	Morgan Deters	minor unit test fix-ups	blob \| commitdiff \| raw \| diff to current
2010-10-12	Morgan Deters	hooked up "we are incomplete" flag after conversation...	blob \| commitdiff \| raw \| diff to current
2010-10-10	Morgan Deters	additional model gen and SMT-LIBv2 compliance work...	blob \| commitdiff \| raw \| diff to current
2010-10-09	Morgan Deters	fix to unit tests	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-28	Morgan Deters	fix pre-registration of operator, previously committed...	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-29	Morgan Deters	fix TheoryEngineWhite, add documentation; related to...	blob \| commitdiff \| raw \| diff to current
2010-07-28	Christopher L. Conway	Forcing a type check on Node construction in debug...	blob \| commitdiff \| raw \| diff to current
2010-07-28	Morgan Deters	fixed theory engine white test for new (old) theoryOf...	blob \| commitdiff \| raw \| diff to current
2010-07-22	Morgan Deters	incorporate a fix from smtcomp2010 version for handling...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identif...	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	With "-d extra-checking", rewrites are now checked...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	* Added white-box TheoryEngine test that tests the...	blob \| commitdiff \| raw \| diff to current

RSS Atom