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

[cvc5.git] / src / theory / datatypes / type_enumerator.cpp

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-12-02	Tim King	Merge pull request #95 from 4tXJ7f/fix_sierra_build	blob \| commitdiff \| raw \| diff to current
2016-12-02	Clark Barrett	Merge pull request #113 from 4tXJ7f/remove_extract_rule	blob \| commitdiff \| raw \| diff to current
2016-12-02	ajreynol	Bug fixes and refactoring of parametric datatypes,...	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-05-23	ajreynol	Fix related to parametric sorts whose interpretation...	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-02-15	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-02-15	ajreynol	Eliminate most of the internal representation infrastru...	blob \| commitdiff \| raw \| diff to current
2016-02-08	ajreynol	Updates related to finite model finding and (co)datatyp...	blob \| commitdiff \| raw \| diff to current
2016-01-15	ajreynol	Type enumerators take optional argument indicating...	blob \| commitdiff \| raw \| diff to current
2015-11-10	ajreynol	Fix infinite loop in datatype enumerator. Minor fixes...	blob \| commitdiff \| raw \| diff to current
2015-11-07	Tim King	Changing file permissions to add or remove executable...	blob \| commitdiff \| raw \| diff to current
2015-09-10	ajreynol	Normalization of codatatype constants, codatatype now...	blob \| commitdiff \| raw \| diff to current
2015-09-10	ajreynol	Fix bug 670. Minor.	blob \| commitdiff \| raw \| diff to current
2015-09-09	ajreynol	Working towards a fair enumerator for codatatypes.	blob \| commitdiff \| raw \| diff to current

RSS Atom