Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-11-13 | Remove the --wx option and promore the --gui to use the wx-based GUI | Kostis Sagonas | |
2011-04-11 | dialyzer/doc: synchronize manual.txt and dialyzer.xml | Tuncer Ayaz | |
2011-04-11 | dialyzer/doc: fix whitespace errors | Tuncer Ayaz | |
2011-01-20 | Add a --fullpath option to Dialyzer | Kostis Sagonas | |
This change adds a --fullpath option to Dialyzer, which makes the warning messages contain the full path of the corresponding file. Original patch submitted by Magnus Henoch (legoscia) on 15/9/2010 and cooked to death in the 'pu' branch all this time. The patch was essentially correct and most of it has been used as is, but there have been some changes to make the code slightly prettier, avoid some code duplication, and add documentation to dialyzer's doc files and to its help message. | |||
2010-12-06 | dialyzer: Update documentation | Maria Christakis | |
2010-11-30 | dialyzer: Add support for multiple PLTs | Maria Christakis | |
This new feature is able to take multiple PLTs, merge them during the start of the analysis, and work from there. This works provided that the PLTs do not have a module with the same name appearing in more than one PLT. The PLTs are created in the usual way: dialyzer --build_plt --output_plt PLT_1 FILES_TO_INCLUDE ... dialyzer --build_plt --output_plt PLT_N FILES_TO_INCLUDE and then can be used in either of the following ways: dialyzer FILES_TO_ANALYZE --plts PLT_1 ... PLT_N or: dialyzer --plts PLT_1 ... PLT_N -- FILES_TO_ANALYZE (Note the -- delimiter in the second case) | |||
2010-04-09 | Dialyzer docs: Fix minor typo | Kostis Sagonas | |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |