summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Merge tag 'OTP-18.3'Lars Thorsen2016-03-152-1/+60
|\
| * Prepare releaseErlang/OTP2016-03-142-1/+60
* | Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson2016-02-171-1/+1
* | Merge branch 'maint'Hans Bolinder2016-02-102-90/+194
|\ \ | |/
| * dialyzer: Correct byte_size() and comparisonsHans Bolinder2016-02-092-90/+194
* | Merge branch 'maint'Hans Bolinder2016-02-082-14/+65
|\ \ | |/
| * dialyzer: Fix a bug concerning the option 'plt_remove'Hans Bolinder2016-02-082-14/+65
* | Merge branch 'maint'Zandra2016-02-024-70/+63
|\ \ | |/
| * Merge branch 'aronisstav/dialyzer-missing-callback-info' into maintZandra2016-02-024-76/+65
| |\
| | * Fix inadvertent deletion of callback infoStavros Aronis2016-01-112-2/+58
| | * Eliminate ugly case statementsStavros Aronis2016-01-111-12/+5
| | * Remove dead code related to missing behaviour infoStavros Aronis2016-01-112-62/+2
* | | dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis2016-02-015-6/+6
* | | Clarify usage of coordinator by analysis_callgraphLuca Favatella2016-01-273-29/+36
* | | Reflect more init-loop OTP pattern in dialyzer_workerLuca Favatella2016-01-271-12/+14
* | | Delete dead sequential code in dialyzer_workerLuca Favatella2016-01-271-22/+2
* | | Clarify computation of exported types in DialyzerLuca Favatella2016-01-262-10/+8
* | | Split race_data_server out of dialyzer_callgraphLuca Favatella2016-01-264-91/+153
* | | Refactor dialyzer_analysis_callgraphLuca Favatella2016-01-261-9/+5
* | | Refactor usage of opaques() typeLuca Favatella2016-01-261-3/+2
* | | Clarify that dialyzer_callgraph:callgraph() type is opaqueLuca Favatella2016-01-261-1/+1
* | | Delete a couple of leftover chars in Dialyzer docLuca Favatella2016-01-261-1/+1
* | | dialyzer: Correct a test caseHans Bolinder2016-01-201-1/+2
* | | dialyzer: Improve a typeHans Bolinder2016-01-201-1/+1
* | | Merge branch 'maint'Björn-Egil Dahlberg2016-01-182-0/+16
|\ \ \ | |/ /
| * | dialyzer: Update Maps testsBjörn-Egil Dahlberg2016-01-142-0/+16
| |/
* | Merge branch 'maint'Zandra2015-12-284-2/+50
|\ \ | |/
| * Merge branch 'lucafavatella/dialyzer-fun-call' into maintZandra2015-12-284-2/+50
| |\
| | * Teach Dialyzer call to funs `M:F/A` (literal M, F, A)Luca Favatella2015-10-274-2/+50
* | | Merge tag 'OTP-18.2'Henrik Nord2015-12-161-0/+16
|\ \ \ | |/ /
| * | Update release notesErlang/OTP2015-12-151-0/+16
| * | Update version numbersErlang/OTP2015-12-151-1/+1
* | | dialyzer: Print constraints using the '::' syntaxHans Bolinder2015-12-156-28/+34
* | | Merge branch 'maint'Hans Bolinder2015-11-041-14/+18
|\ \ \ | |/ /
| * | [dialyzer] Correct documentationHans Bolinder2015-11-041-14/+18
| |/
* | hipe/dialyzer: Remove functions from erl_bif_typesHans Bolinder2015-10-303-0/+31
* | Merge branch 'maint'Henrik Nord2015-10-272-0/+162
|\ \ | |/
| * Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maintHenrik Nord2015-10-272-0/+162
| |\
| | * Teach Dialyzer arity of funs with literal arityLuca Favatella2015-07-112-0/+162
* | | Fix errors in dialyzer_{coordinator,worker} specsStavros Aronis2015-10-092-13/+15
* | | Update DialyzerHans Bolinder2015-10-0912-73/+93
* | | Take out automatic insertion of 'undefined' from typed record fieldsKostis Sagonas2015-10-0811-19/+52
* | | Merge tag 'OTP-18.1'Henrik Nord2015-09-231-0/+42
|\ \ \ | |/ /
| * | Prepare releaseErlang/OTP2015-09-211-0/+42
* | | Merge branch 'maint'Hans Bolinder2015-09-161-1/+1
|\ \ \ | |/ /
| * | Update application versionsHans Bolinder2015-09-161-1/+1
* | | stdlib: Remove deprecated functions in erl_parse and erl_scanHans Bolinder2015-09-153-7/+7
|/ /
* | dialyzer: Add a testcaseHans Bolinder2015-09-095-0/+4521
* | dialyzer: Fix erlang:abs/1Hans Bolinder2015-09-042-0/+80
* | Merge branch 'sverk/hipe-fix-literal-crc' into maintSverker Eriksson2015-08-312-4/+4
|\ \
View Lorry Controller Status