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

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

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2010-10-08	Morgan Deters	* (define-fun...) now has proper type checking in non...	blob \| commitdiff \| raw \| diff to current
2010-10-07	Morgan Deters	SMT-LIBv2 (define-fun...) command now functional; does...	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-07-27	Christopher L. Conway	Adding optional 'check' parameter to getType() methods	blob \| commitdiff \| raw \| diff to current
2010-07-10	Morgan Deters	add >, <=, and >= comparisons for Exprs and Nodes	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
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-05-31	Christopher L. Conway	First draft implementation of mkAssociative	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	Remove isAtomic() as per 4/27/2010 meeting. Add commen...	blob \| commitdiff \| raw \| diff to current
2010-05-05	Dejan Jovanović	bug fixes for types, old unit tests for types work now	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-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	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	Removing Expr::operator=(uintptr_t n), as it's no longe...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	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