summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_cl_parse.erl
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #7154 from TD5/dialyzer_configBjörn Gustavsson2023-04-261-0/+28
|\
| * dialyzer: Expand Dialyzer config file optionsTom Davies2023-04-251-0/+28
* | [dialyzer] Use argparse to parse command lineMaxim Fedorov2023-04-191-546/+275
|/
* dialyzer: Add missing option help entriesTom2023-03-161-2/+17
* dialyzer: Add the --no_spec option for ignoring specsBjörn Gustavsson2023-03-011-2/+5
* dialyzer: make -Wunknown a default; add -Wno_unknown flagKiko Fernandez-Reyes2023-02-081-7/+5
* dialyzer: overlapping_domain option is opt-inKiko Fernandez-Reyes2023-01-111-0/+2
* Merge branch 'maint'Björn Gustavsson2022-10-011-0/+18
|\
| * Merge branch 'bjorn/dialyzer/input-list-file/ERIERL-821/OTP-18263/otp24-25' i...Björn Gustavsson2022-10-011-0/+18
| |\
| | * Merge branch 'bjorn/dialyzer/input-list-file/ERIERL-821/OTP-18263/otp23' into...Björn Gustavsson2022-09-281-0/+18
| | |\
| | | * dialyzer: Introduce the --input_list_file optionBjörn Gustavsson2022-09-281-0/+18
* | | | Merge branch 'maint'Björn Gustavsson2022-08-031-0/+6
|\ \ \ \ | |/ / /
| * | | dialyzer: Add warning_options `missing_return` and `extra_return`vtm92022-08-031-0/+6
* | | | dialyzer: Add incremental analysis modeTom Davies2022-07-271-13/+50
|/ / /
* | | dialyzer: Add warning_options `no_missing_return` and `no_extra_return`Gonzalo Bella2022-06-131-0/+4
* | | dialyzer: Eliminate the `race_conditions` optionBjörn Gustavsson2021-12-091-2/+0
|/ /
* | dialyzer: Add option to be used with attribute -dialyzerHans Bolinder2021-02-161-0/+6
* | dialyzer: Add option 'error_location'Hans Bolinder2021-02-091-43/+61
* | dialyzer: Use types and specs for documentationHans Bolinder2021-02-041-12/+7
* | otp: Remove HiPE and HiPE-related accessoriesJohn Högberg2020-11-091-5/+0
|/
* kernel: Add erts to code:lib_dir lookupLukas Larsson2020-02-241-6/+10
* Allow native compilation when calling Dialyzer from ErlangMagnus Henoch2019-06-121-1/+3
* dialyzer: Add an --no_indentation optionHans Bolinder2019-05-071-1/+9
* dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder2018-02-051-2/+2
* dialyzer: Improve handling of UnicodeHans Bolinder2017-09-051-1/+1
* dialyzer: Improve handling of UnicodeHans Bolinder2017-06-091-2/+3
* Correct copyright and license on dialyzer filesRichard Carlsson2016-11-231-7/+0
* dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder2016-11-221-2/+2
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* Dialyzer to cache results of HiPE compilationMagnus Henoch2015-05-281-1/+9
* dialyzer: Add new option 'unknown'Hans Bolinder2015-04-271-1/+8
* dialyzer: Add new option 'no_missing_calls'Hans Bolinder2015-04-271-0/+2
* [dialyzer] Correct docs about optionsHans Bolinder2014-06-031-5/+8
* Remove the --wx option and promore the --gui to use the wx-based GUIKostis Sagonas2013-11-131-12/+7
* Add an undocumented option [--solver [v1 | v2]]Hans Bolinder2012-08-211-2/+7
* Logfile-like statistics (enabled with --resources)Stavros Aronis2012-05-211-0/+4
* Change --time to --statistics and include more infoStavros Aronis2012-05-211-4/+5
* Add --time option to DialyzerStavros Aronis2012-05-211-1/+8
* Wrap up behaviours patch for DialyzerStavros Aronis2011-11-181-3/+6
* Merge branch 'sa/dialyzer-missing-spec' into devHenrik Nord2011-03-111-0/+2
|\
| * Add spec to dialyzer_cl_parse:get_lib_dir/1Stavros Aronis2011-03-101-0/+2
* | Renamed error/1 function and added specsKostis Sagonas2011-03-111-17/+23
|/
* Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into devLukas Larsson2011-03-091-2/+5
|\
| * Add 'apps' option to the erlang interfaceStavros Aronis2011-02-281-2/+5
* | Add a --fullpath option to DialyzerKostis Sagonas2011-01-201-2/+9
|/
* dialyzer: Update documentationMaria Christakis2010-12-061-27/+36
* dialyzer: Add support for multiple PLTsMaria Christakis2010-11-301-13/+31
* Remove warnings for clashes with new autoimported BIFsPatrik Nyblom2010-09-101-0/+2
* Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP2010-02-171-17/+39
|\
| * dialyzer: New version for the R13B04 releaseKostis Sagonas2010-02-141-12/+34
|/
View Lorry Controller Status