aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src/dialyzer.xml
AgeCommit message (Collapse)Author
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
Suggested by Kostis.
2016-10-11Update Dialyzer documentationxsipewe
Language cleaned up by the technical writer xsipewe from Combitech. Proofreading and corrections by Hans Bolinder.
2016-01-26Delete a couple of leftover chars in Dialyzer docLuca Favatella
2015-06-18Change license text to APLv2Bruce Yinhe
2015-05-28Dialyzer to cache results of HiPE compilationMagnus Henoch
Cache the results of native compilation in $XDG_CACHE_HOME/dialyzer_hipe_cache. This can reduce the startup time significantly. If XDG_CACHE_HOME is unset, it defaults to $HOME/.cache. See the XDG Base Directory spec for more details: http://standards.freedesktop.org/basedir-spec/basedir-spec-0.7.html Under that directory, create a subdirectory called ARCH-VERSION-CHECKSUM, where ARCH is the HiPE architecture, VERSION is the HiPE version number, and CHECKSUM is the return value of hipe_bifs:system_crc/0. Caching can be disabled by specifying --no_native_cache on the command line.
2015-05-20dialyzer: 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-27dialyzer: Add new option 'unknown'Hans Bolinder
Replace the undocumented option 'no_unknown' with the documented option 'unknown'.
2015-04-27dialyzer: Add new option 'no_missing_calls'Hans Bolinder
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
The -dialyzer() attribute can be used for suppressing warnings in a module by specifying functions or warning options. It can also be used for requesting warnings in a module.
2014-09-19Add note about known issue with -Wrace_conditionsMagnus Henoch
As noted on the erlang-bugs mailing list: http://erlang.org/pipermail/erlang-bugs/2014-July/004518.html
2014-06-17[dialyzer] Correct a doc bug introduced in 0b041238Hans Bolinder
2014-06-03[dialyzer] Correct docs about optionsHans Bolinder
2014-02-14Merge branch 'vinoski/dialyzer-doc-fix'Henrik Nord
* vinoski/dialyzer-doc-fix: fix -Wno_behaviours doc error in dialyzer man page OTP-11706
2014-01-12fix -Wno_behaviours doc error in dialyzer man pageSteve Vinoski
The description of the -Wno_behaviours in the dialyzer man page incorrectly includes a "***" footnote marker, indicating that it's an option that turns on a warning rather than turning it off. Since the option actually turns off a warning, remove the marker. This fix makes the documentation match that obtained from dialyzer --help.
2013-11-13Remove the --wx option and promore the --gui to use the wx-based GUIKostis Sagonas
2013-04-19Convert XML files to UTF-8Hans Bolinder
2013-02-15Update Dialyzer's documentationStavros Aronis
2013-01-09Fix some FOP warningsHans Bolinder
Examples overflowing the width of PDF pages have been fixed. The remaining warnings are due to table cells, and require more work.
2011-04-11dialyzer/doc: synchronize manual.txt and dialyzer.xmlTuncer Ayaz
2011-04-11dialyzer/doc: fix whitespace errorsTuncer Ayaz
2011-04-11dialyzer/doc: use consistent colons in type specsTuncer Ayaz
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-01-20Add a --fullpath option to DialyzerKostis 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-06dialyzer: Update documentationMaria Christakis
2010-11-09Fix two typos in Dialyzer documentationTuncer Ayaz
2010-10-26Add missing Dialyzer warning options to docTuncer Ayaz
-Wno_opaque, -Wrace_conditions and -Wbehaviours are only documented in the Dialyzer command line help text. Add them to the documentation.
2010-04-09Dialyzer docs: Fix minor typoKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP