Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-09-19 | Update Dialyzer's reference results | Stavros Aronis | |
2011-08-29 | Update r9c/{inets,mnesia} results in dialyzer's test suite | Stavros Aronis | |
2011-08-24 | Merge branch 'sa/dialyzer-server-loop-fix' into dev | Henrik Nord | |
* sa/dialyzer-server-loop-fix: Fix server loop detection OTP-9489 | |||
2011-08-01 | Update Dialyzer's r9c_suite results | Stavros Aronis | |
2011-05-13 | Fix server loop detection | Stavros Aronis | |
Dialyzer does not normally emit warnings for functions that implement non-terminating server loops. This detection failed when some of the elements in an SCC terminated normally (being for example list comprehensions or other generic anonymous functions that were included in the SCC). This patch fixes that. | |||
2011-05-04 | Rename suite data directories | Stavros Aronis | |