git.libre-soc.org Git - cvc5.git/history - src/expr/expr_manager

[cvc5.git] / src / expr / expr_manager_template.cpp

2011-04-20	Morgan Deters	Tuesday end-of-day commit.	blob \| commitdiff \| raw
2011-04-18	Morgan Deters	mostly CVC presentation language parsing and printing	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current
2011-04-15	Morgan Deters	partial merge from portfolio branch, adding conversions...	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-28	Morgan Deters	minor doxygen build target fixes	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	fix serious regression breakage (segfaults) caused...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Dejan Jovanović	adding the variables count to the statistics in the...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Dejan Jovanović	adding statistics about how many different kinds of...	blob \| commitdiff \| raw \| diff to current
2010-10-31	Morgan Deters	enable dependence graphs in doxygen; fix lots of doxyge...	blob \| commitdiff \| raw \| diff to current
2010-10-28	Christopher L. Conway	Changing NodeBuilder::debugCheckType() to maybeCheckType()	blob \| commitdiff \| raw \| diff to current
2010-10-08	Morgan Deters	* (define-fun...) now has proper type checking in non...	blob \| commitdiff \| raw \| diff to current
2010-10-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw \| diff to current
2010-10-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-10-04	Morgan Deters	remove/shuffle some #include dependencies; fix some...	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-21	Morgan Deters	remove assertion in TNode destructor and ensure all...	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	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-27	Christopher L. Conway	Adding optional 'check' parameter to getType() methods	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-06-01	Christopher L. Conway	Fixing test failures in production build	blob \| commitdiff \| raw \| diff to current
2010-06-01	Christopher L. Conway	Fixing failing test in r521	blob \| commitdiff \| raw \| diff to current
2010-05-31	Christopher L. Conway	First draft implementation of mkAssociative	blob \| commitdiff \| raw \| diff to current
2010-05-27	Christopher L. Conway	Adding NodeManager::prepareToBeDestroyed() (Fixes:...	blob \| commitdiff \| raw \| diff to current
2010-05-04	Dejan Jovanović	Type-checking classes and hooks (not tested yet).	blob \| commitdiff \| raw \| diff to current
2010-04-29	Dejan Jovanović	Added the capability to construct expressions by passin...	blob \| commitdiff \| raw \| diff to current
2010-04-28	Dejan Jovanović	adding integer and real types to the public interface	blob \| commitdiff \| raw \| diff to current
2010-04-26	Dejan Jovanović	Adding the intermediary TypeNode to represent (and...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	blob \| commitdiff \| raw \| diff to current
2010-04-06	Morgan Deters	* Add some protected ContextObj accessors for ContextOb...	blob \| commitdiff \| raw \| diff to current
2010-04-05	Christopher L. Conway	Minor refactorings, in response to code review (Bug...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	Recommit revision 365 (undoing revision 375, which...	blob \| commitdiff \| raw \| diff to current
2010-04-03	Christopher L. Conway	Reverting r365	blob \| commitdiff \| raw \| diff to current
2010-04-01	Christopher L. Conway	Changing min/maxArity to use metakind info.	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	* Minor code formatting stuff in src/expr/type.{h,cpp...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current

RSS Atom