git.libre-soc.org Git - cvc5.git/history - src/theory/type

[cvc5.git] / src / theory / type_enumerator.h

2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw
2018-01-10	Tim King	Removing throw specifiers from type enumerators. (...	blob \| commitdiff \| raw \| diff to current
2018-01-10	Tim King	Cleaning up throw specifiers on Exception and subclasse...	blob \| commitdiff \| raw \| diff to current
2017-11-13	Andrew Reynolds	Implement enumerator for functions. (#1243)	blob \| commitdiff \| raw \| diff to current
2017-10-02	Tim King	Removing throw specifiers from TypeEnumeratorBase's...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-27	Clark Barrett	Merge pull request #137 from 4tXJ7f/throw_quals	blob \| commitdiff \| raw \| diff to current
2017-03-27	Andres Notzli	Remove throw qualifiers in type enumerators	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-04-28	Clark Barrett	Workaround for a problem in clang	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-15	ajreynol	Type enumerators take optional argument indicating...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-09-09	ajreynol	Working towards a fair enumerator for codatatypes.	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Workaround for suspected clang 3.0 codegen bug on Mac	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Fix clang static initialization order issue; fixes...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Tuples and records merge. Resolves bug 270.	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...	blob \| commitdiff \| raw \| diff to current
2012-08-01	Morgan Deters	add isFinished() to type enumerators (so we don't rely...	blob \| commitdiff \| raw \| diff to current
2012-07-14	Morgan Deters	Type enumerator infrastructure and uninterpreted consta...	blob \| commitdiff \| raw \| diff to current

RSS Atom