git.libre-soc.org Git - cvc5.git/history - src/prop/cryptominisat.h

2018-02-07	Mathias Preiner	Cleanup Cryptominisat header. (#1561)	blob \| commitdiff \| raw
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Use new copyright header format.	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-09-02	Tim King	Merge pull request #91 from timothy-king/no-throw	blob \| commitdiff \| raw \| diff to current
2016-09-01	Tim King	Relaxing the throw specifiers for the destructors for...	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-25	Liana Hadarean	Fixed build issue due to dummy Cryptominisat constructor.	blob \| commitdiff \| raw \| diff to current
2016-05-25	Liana Hadarean	Merged cryptominisat from experimental branch.	blob \| commitdiff \| raw \| diff to current