summaryrefslogtreecommitdiff
path: root/src/rebar_prv_dialyzer.erl
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup dialyzer providerJames Fish2014-11-211-37/+38
|
* Add crypto to base plt by defaultJames Fish2014-11-211-0/+1
|
* Clarify how apps are selected for the plt filesJames Fish2014-11-211-4/+6
|
* Introduce dialyzer otp versioned plts and base pltsJames Fish2014-11-201-88/+120
| | | | | | | Adds a base plt per OTP version that is stored in $HOME/.rebar3/. The base plt is copied to new projects that don't have a plt for the active OTP version. Modules are added/removed to the project's copy based on the project's .app files.
* Prepare dialyzer command for public useJames Fish2014-11-201-11/+36
| | | | | | * Add description * Make configuration constitent (prefix with dialyzer_) * Make printed info consistent
* Add options to skip updating plt or success typingJames Fish2014-11-201-2/+21
| | | | | * --update-plt=true|false (false skips updating plt) * --succ-typings=true|false (false skips success typing analysis)
* Improve default dialyzer PLT by trying to guess dependenciesJames Fish2014-11-201-11/+51
| | | | | | | | | | Try to automatically detect all application dependencies when `plt_apps` is not included in `rebar.config`. Note that this will not follow `runtime_dependencies` in OTP applications. This can be resolved by adding any missing `runtime_dependencies` to `applications` in the .app.src file or including `plt_apps` in `rebar.config`.
* Improve formatting of dialyzer errorsJames Fish2014-11-201-1/+9
| | | | Strip ":0: " from unknown type/function/behaviour warnings
* Refactor dialyzer PLT useJames Fish2014-11-201-45/+164
| | | | | | * Only include `plt_apps` (defaults to deps) in a single PLT * Update PLT when `plt_apps` (or deps) are changed or updated * Print warnings for all dialyzer runs (not just `succ_typings`)
* Fix default dialyzer warningsJames Fish2014-11-201-9/+1
| | | | | | | * Nolonger supress standard warnings * Nolonger include race_conditions by default[1] [1] http://erlang.org/pipermail/erlang-bugs/2014-July/004518.html
* move back to using format_error/1Tristan Sloughter2014-11-091-6/+6
|
* add deps pltTristan Sloughter2014-11-091-6/+8
|
* strip newline from end of dialyzer format warningsTristan Sloughter2014-11-081-1/+2
|
* add dialyzer providerTristan Sloughter2014-11-081-0/+105