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

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2018-05-10	Andrew Reynolds	Exclude Boolean connectives from ITE conditions in...	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
2018-01-09	Tim King	Removing throw specifiers from miscellaneous src/expr...	blob \| commitdiff \| raw \| diff to current
2018-01-08	Tim King	Remove throw specifiers from datatype. (#1489)	blob \| commitdiff \| raw \| diff to current
2017-12-01	Andrew Reynolds	Minor additions for sygus (#1419)	blob \| commitdiff \| raw \| diff to current
2017-11-23	Haniel Barbosa	Converting defined functions and let expressions from...	blob \| commitdiff \| raw \| diff to current
2017-11-22	Andrew Reynolds	Sygus Lambda Grammars (#1390)	blob \| commitdiff \| raw \| diff to current
2017-11-15	Andrew Reynolds	Sygus print callbacks (#1348)	blob \| commitdiff \| raw \| diff to current
2017-11-15	Tim King	Initializing members of Datatype. Addresses CIDs 136289...	blob \| commitdiff \| raw \| diff to current
2017-11-10	Andrew Reynolds	(Documentation-only) datatype.h (#1346)	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Merge branch 'master' into cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Moving from the gnu extensions for hash maps to the...	blob \| commitdiff \| raw \| diff to current
2017-07-10	ajreynol	Merge datatype shared selectors/sygus comp 2017 branch...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-22	ajreynol	Work on new approach for sygus involving conditional...	blob \| commitdiff \| raw \| diff to current
2016-12-03	ajreynol	Fix unit test for datatypes, add interface functions...	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-11-01	ajreynol	Working memory leak free version, changes interface...	blob \| commitdiff \| raw \| diff to current
2016-10-31	ajreynol	Minor refactoring in preparation for datatypes node...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	resolved merge conflicts	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-16	ajreynol	More simplification to internal implementation of tuple...	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
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-22	ajreynol	Always split on constructor types for datatypes involvi...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current

RSS Atom