summaryrefslogtreecommitdiff
path: root/src/rebar_prv_dialyzer.erl
Commit message (Collapse)AuthorAgeFilesLines
* Enable path reformatting for DialyzerFred Hebert2017-01-211-3/+4
| | | | | | | | Fixes issue #880 May break backwards compat with projects that manually called the dialyzer formatter, but we never documented or expected this to be exposed.
* Add exclude_apps/mods, plt_extra_mods, base_plt_mods configJames Fish2016-11-031-57/+105
| | | | | | | * exclude_apps - never use applications for PLT/analysis * base_plt_mods - add modules to base PLT (overrules exclude_apps) * plt_extra_mods - add modules to PLT (overrules exclude_apps) * exclude_mods - never use modules for PLT/analysis (overrules all)
* Fix return error on `not_valid` to force .plt file regenerationGuillaume Bour2016-07-301-2/+1
|
* Fix support for `not_valid` dialyzer errorGuillaume Bour2016-07-221-0/+3
|
* Avoid PLT rebuild when files deleted on new dialyzerJames Fish2016-07-111-3/+16
|
* Don't error when analyzing empty appJames Fish2016-07-111-4/+7
|
* Handle empty PLTsJames Fish2016-07-111-1/+12
|
* rebranding: update links rebar/rebar3 -> erlang/rebar3Pierre Fenoll2016-03-191-1/+1
|
* Ignore unknown warning when dialyzer < 2.8James Fish2016-02-021-1/+22
|
* Rebuild PLT when beams no longer existJames Fish2015-10-311-5/+16
|
* Return legnth of the original warnings no the formated onesHeinz N. Gies2015-09-291-1/+1
|
* Group dialyzer warnings by file and concentrate outputHeinz N. Gies2015-09-291-5/+1
|
* Write original messages not fancy ones to diskHeinz N. Gies2015-09-221-2/+2
|
* Colorize the first dialyzer messageHeinz N. Gies2015-09-211-12/+2
|
* Merge pull request #783 from sile/dialyzer_include_all_deps_optionFred Hebert2015-09-151-11/+47
|\ | | | | Add plt_include_all_deps dialyzer option
| * Change option name from "plt_include_all_deps" to "plt_apps"Takeru Ohta2015-09-121-16/+17
| |
| * Fix error handlings for unknown applicationsTakeru Ohta2015-09-121-2/+2
| |
| * Add `plt_include_all_deps` dialyzer config optionTakeru Ohta2015-09-081-1/+36
| |
* | fix dialyzer warningsTristan Sloughter2015-09-091-1/+1
|/
* Some fixes after reviewViacheslav V. Kovalev2015-06-261-2/+1
|
* Fix dialyzer tests on windowsViacheslav V. Kovalev2015-06-261-1/+1
|
* Fix dialyzer tests on windowsViacheslav V. Kovalev2015-06-261-0/+9
|
* Use the same dialyzer rebar.config options as rebarJames Fish2015-06-061-35/+58
| | | | | | | | | | | | | | | | | | | | * All configuration is moved to `{dialyzer, PropList}` * `dialyzer_warnings` renamed `warnings` * `dialyzer_plt_warnings` renamed `get_warnings` * `dialyzer_plt_apps` renamed `plt_extra_apps` * `dialyzer_plt_dir` renamed `plt_location` * `{plt_location, local}` uses profile base directory * `dialyzer_plt` removed * `dialyzer_plt_prefix` sets prefix of PLT name (default "rebar3") * `dialyzer_base_plt_apps` renamed `base_plt_apps` * `dialyzer_base_plt_dir` renamed `base_plt_location` * `{base_plt_location, global}` uses rebar3's global cache directory * `dialyzer_base_plt` removed * `base_plt_prefix` sets prefix of PLT name (default "rebar3") PLT files are always named `<prefix>_<otp_version>_plt` to match rebar. `plt_prefix` and `base_plt_prefix` are not available in rebar, where the prefix is always set to the project's top level application.
* Include same files in PLT as rebar2James Fish2015-06-021-99/+39
| | | | | | | | * Only include direct dependencies + base plt * Error on missing direct dependency * Always use beams in ebin instead of reading .app file (copying rebar2) * Remove fake unknown warnings (will clash with unknown warning in 18.0) * Remove redundant search for .app file (code path includes deps)
* fix bareness issuesFred Hebert2015-05-311-1/+1
| | | | | | - Crashes in providers lib when no providers in a namespace are bare - Making sure bareness matches semantics; i.e. a bare provider is visible, a non-bare provider is hidden.
* print and format error message for bad .app files and all bad configsTristan Sloughter2015-05-221-2/+2
|
* Write dialyzer warnings to fileJames Fish2015-04-281-56/+95
|
* Error on dialyzer unknown warnings like rebar2James Fish2015-04-281-67/+86
|
* real bootstrappingTristan Sloughter2015-04-221-1/+1
|
* track and cleanup code paths for different contextsTristan Sloughter2015-04-211-0/+3
|
* use PRV_ERROR for formattable errorsFred Hebert2015-03-161-2/+3
| | | | Also expose it in rebar_api
* Store base PLT in ~/.cache/rebar3/James Fish2015-03-121-2/+2
|
* update all examples in providers to use rebar3Tristan Sloughter2015-03-071-1/+1
|
* Merge pull request #227 from fishcakez/dialyzer_pltTristan Sloughter2015-03-051-20/+3
|\ | | | | Change PLT name and directory
| * Shorten default PLT nameJames Fish2015-03-051-1/+1
| |
| * Fix dialyzer active otp release detectionJames Fish2015-03-051-18/+1
| |
| * Change default project PLT location to base directoryJames Fish2015-03-051-2/+2
| | | | | | | | | | | | Previously dialyzer stored the project PLT in ./build/, which meant the same PLT was used for all profiles. This could mean partial rebuilding of a PLT when switching between profiles.
* | Add debug statements to dialyzer providerJames Fish2015-03-051-1/+5
|/
* Do not automatically check pltJames Fish2015-03-031-2/+7
|
* follow xdg standard. fixes #122Tristan Sloughter2015-02-191-2/+1
|
* Remove extra default warningsJames Fish2015-02-161-7/+1
| | | | | | It is not convenient for everyone to handle unmatched_returns and underspecs warnings. Extra default warnings are removed to match dialyzer's behaviour.
* Fix dialyzer when only updating pltJames Fish2015-02-151-1/+1
| | | | Previously dialyzer would crash when not doing success typing analysis.
* Fix {dialyzer_plt_warnings, false} returning warningsJames Fish2015-02-141-6/+26
| | | | | | When dialyzer_plt_warnings is false no warnings should be returned when updating a PLT. Previously any callgraph warnings would be returned when updating a PLT regardless of the get_warnings option.
* Merge pull request #132 from fishcakez/dialyzer_failTristan Sloughter2015-02-081-28/+51
|\ | | | | Dialyzer fails if any warnings
| * Fix dialyzer plt checking typoJames Fish2015-02-071-1/+1
| |
| * Display full path in dialyzer warningssJames Fish2015-02-071-1/+1
| |
| * Fail if any dialyzer warnings aren't unknownsJames Fish2015-02-071-25/+48
| |
* | Fix dialyzer erts file lookup for releases prior to R16B02James Fish2015-02-081-0/+7
|/ | | | | erts.app was introduced in R16B02 so read all beam files from the erts ebin directory if erts.app file does not exist.
* Ensure dir for plt exists when copyingJames Fish2014-12-171-0/+1
|
* move dir functions from utils to new module rebar_dirTristan Sloughter2014-12-011-1/+1
|
generated by cgit v1.1 at 2024-12-26 21:14:17 +0000