Age | Commit message (Expand) | Author |
---|---|---|
2017-04-13 | stdlib: Add checks of the dialyzer attribute to the linter | Hans Bolinder |
2017-03-08 | dialyzer: Correct a test case | Hans Bolinder |
2017-02-03 | dialyzer: Correct PLT tests | Hans Bolinder |
2016-10-21 | dialyzer: Fix error handling of bad -dialyzer() attributes | Hans Bolinder |
2016-02-08 | dialyzer: Fix a bug concerning the option 'plt_remove' | Hans Bolinder |
2016-01-11 | Fix inadvertent deletion of callback info | Stavros Aronis |
2015-05-20 | dialyzer: Document dialyzer:gui() option 'check_plt' | Hans Bolinder |
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 |
2011-05-04 | Rename suite data directories | Stavros Aronis |