git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/nl/Makefile.am

2017-07-10	ajreynol	Merge ntExt branch. Adds support for transcendental...	blob \| commitdiff \| raw
2017-07-05	ajreynol	Non-linear supported in ALL logics. Minor fixes for...	blob \| commitdiff \| raw \| diff to current
2017-05-17	Clark Barrett	Merge pull request #155 from makaimann/conditional_coverage	blob \| commitdiff \| raw \| diff to current
2017-05-16	Clark Barrett	Merge pull request #161 from 4tXJ7f/fix_parser	blob \| commitdiff \| raw \| diff to current
2017-05-16	Andrew Reynolds	Merge pull request #156 from 4tXJ7f/fix_safe_print	blob \| commitdiff \| raw \| diff to current
2017-05-15	ajreynol	Cleanup handling of division (possible fix for bugs...	blob \| commitdiff \| raw \| diff to current
2017-04-28	ajreynol	Fix bug for real division.	blob \| commitdiff \| raw \| diff to current
2017-04-06	Clark Barrett	Merge pull request #143 from FabianWolff/master	blob \| commitdiff \| raw \| diff to current
2017-04-05	ajreynol	Fix bug 698.	blob \| commitdiff \| raw \| diff to current
2017-04-05	ajreynol	Add non-linear regressions, disable nlAlgSubs, do not...	blob \| commitdiff \| raw \| diff to current