summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Prepare releaseErlang/OTP2015-05-122-1/+87
* Merge branch 'aronisstav/dialyzer-inv-mult'Zandra Hird2015-05-082-4/+19
|\
| * Fix a bug related to constraints generated for erlang:'*'/2Stavros Aronis2015-05-052-4/+19
* | Merge branch 'egil/strengthen-dialyzer-tests'Björn-Egil Dahlberg2015-05-052-0/+35
|\ \ | |/ |/|
| * dialyzer: Strengthen maps testsBjörn-Egil Dahlberg2015-04-302-0/+35
* | dialyzer: Use module erl_annoHans Bolinder2015-04-301-3/+4
|/
* dialyzer: Add new option 'unknown'Hans Bolinder2015-04-2711-37/+48
* dialyzer: Add new option 'no_missing_calls'Hans Bolinder2015-04-275-4/+27
* Merge branch 'hb/dialyzer/fix_plt_bug/OTP-12637'Hans Bolinder2015-04-073-43/+92
|\
| * dialyzer: Move a testcase to plt_SUITEHans Bolinder2015-04-022-40/+31
| * dialyzer: Update the PLT properly when a module is changedHans Bolinder2015-04-012-5/+63
* | Merge tag 'OTP-17.5'Henrik Nord2015-04-012-1/+16
|\ \ | |/ |/|
| * Prepare releaseErlang/OTP2015-03-312-1/+16
* | Merge branch 'rickard/time_api/OTP-11997'Rickard Green2015-03-202-6/+6
|\ \
| * | Replace usage of erlang:now() with usage of new APIRickard Green2015-03-202-6/+6
* | | Merge branch 'maint'Björn-Egil Dahlberg2015-03-181-0/+1
|\ \ \ | | |/ | |/|
| * | dialyzer: Add missing clause for map in find_terminalsBjörn-Egil Dahlberg2015-03-171-0/+1
* | | [dialyzer] Correct handling of limited opaque typesHans Bolinder2015-03-101-7/+13
* | | [dialyzer] Add testcasesHans Bolinder2015-03-103-0/+1100
* | | [dialyzer] Fix the conversion of forms to typesHans Bolinder2015-03-106-117/+133
* | | [dialyzer] Fix a bug concerning map() typesHans Bolinder2015-02-121-0/+23
|\ \ \ | |/ /
| * | [dialyzer] Fix a bug concerning map() typesHans Bolinder2015-02-101-0/+23
| |/
* | dialyzer: Introduce module local suppression of warningsHans Bolinder2015-01-1423-216/+735
* | Merge tag 'OTP-17.4'Marcus Arendt2014-12-102-1/+39
|\ \ | |/
| * Prepare releaseErlang/OTP2014-12-092-1/+39
| * dialyzer: Test recoalesced map keysBjörn-Egil Dahlberg2014-12-011-0/+36
* | Merge branch 'maint'Hans Bolinder2014-11-252-0/+12
|\ \ | |/
| * dialyzer: correct record updatesHans Bolinder2014-11-242-0/+12
* | Merge branch 'siri/sup-spec-maps/OTP-11043'Siri Hansen2014-11-062-2/+2
|\ \
| * | Update dialyzer test with maps in supervisor propertiesSiri Hansen2014-11-062-2/+2
* | | dialyzer: remove recognition of the compiler option 'asm'Hans Bolinder2014-10-211-1/+0
* | | Merge branch 'maint'Hans Bolinder2014-10-101-16/+13
|\ \ \ | |/ / |/| / | |/
| * dialyzer: do a minor re-factoringHans Bolinder2014-10-081-16/+11
| * dialyzer: Ignore ERL_COMPILER_OPTIONS when compilingHans Bolinder2014-10-081-2/+2
| * dialyzer: fix bug concerning compiler option 'warnings_as_errors'Hans Bolinder2014-10-081-0/+2
* | Merge branch 'maint'Marcus Arendt2014-09-251-1/+4
|\ \ | |/
| * Add note about known issue with -Wrace_conditionsMagnus Henoch2014-09-191-1/+4
* | Merge tag 'OTP-17.3'Henrik Nord2014-09-172-1/+31
|\ \ | |/
| * Update release notesErlang/OTP2014-09-151-0/+30
| * Update version numbersErlang/OTP2014-09-151-1/+1
* | Merge branch 'maint'Henrik Nord2014-09-093-4/+89
|\ \ | |/
| * Merge branch 'fishcakez/dialyzer_beam_opts' into maintHenrik Nord2014-09-093-4/+89
| |\
| | * Use compile options when dialyzing beam filesJames Fish2014-07-163-4/+89
* | | Merge branch 'maint'Hans Bolinder2014-08-213-4/+44
|\ \ \ | |/ /
| * | dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder2014-08-213-4/+44
* | | Merge branch 'maint'Hans Bolinder2014-08-213-4/+48
|\ \ \ | |/ /
| * | dialyzer: fix a -Wunderspecs bugHans Bolinder2014-08-203-4/+48
* | | Merge branch 'maint'Hans Bolinder2014-06-302-0/+11
|\ \ \ | |/ /
| * | hipe: Correct pretty-printing of bitstringsHans Bolinder2014-06-262-0/+11
* | | Merge tag 'OTP-17.1'Marcus Arendt2014-06-242-1/+39
|\ \ \ | |/ /
View Lorry Controller Status