Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-05-20 | dialyzer: Document dialyzer:gui() option 'check_plt' | Hans Bolinder | |
* Mention the option 'check_plt' among gui() options. * No longer check a PLT twice when the analysis type is 'plt_check'. * No longer raise a case_clause error when checking a PLT finds warnings. Thanks to James Fish. | |||
2015-04-02 | dialyzer: Move a testcase to plt_SUITE | Hans Bolinder | |
2015-04-01 | dialyzer: Update the PLT properly when a module is changed | Hans Bolinder | |
Thanks to James Fish for the bug report, and to Stavros Aronis for fixing the bug. | |||
2011-05-04 | Rename suite data directories | Stavros Aronis | |