summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Run more of analyses in subprocessHans Bolinder2017-06-131-38/+44
* dialyzer: Do not use two records for PLTsHans Bolinder2017-06-1310-268/+351
* dialyzer: Improve compression of an ETS tableHans Bolinder2017-06-133-16/+46
* dialyzer: Minor optimizationsHans Bolinder2017-06-135-99/+112
* dialyzer: Warn about unused unknown typesHans Bolinder2017-06-133-2/+29
* dialyzer: Correct a mistakeHans Bolinder2017-06-131-21/+23
* dialyzer: Rearrange some code to save memoryHans Bolinder2017-06-131-2/+2
* dialyzer: Optimize by avoiding some table lookupsHans Bolinder2017-06-131-26/+33
* dialyzer: Improve handling of UnicodeHans Bolinder2017-06-0922-287/+301
* Revert "Prepare release"Hans Nilsson2017-05-312-64/+1
* Prepare releaseErlang/OTP2017-05-302-1/+64
* Revert "Prepare release"Raimo Niskanen2017-05-052-51/+1
* Prepare releaseErlang/OTP2017-05-042-1/+51
* Update copyright yearRaimo Niskanen2017-05-044-4/+4
* Merge branch 'maint'Hans Bolinder2017-05-025-11/+36
|\
| * Prepare releaseErlang/OTP2017-04-282-1/+17
| * dialyzer: Fix a bug regarding unknown typesHans Bolinder2017-04-264-10/+19
* | dialyzer: Fix unknown typeHans Bolinder2017-04-271-7/+7
* | Merge pull request #1367 from josevalim/jv-dbgi-chunkBjörn Gustavsson2017-04-264-231/+200
|\ \
| * | Store abstract code in the Dbgi chunkJosé Valim2017-04-254-231/+200
* | | Merge branch 'zandra/stdlib/optional-callbacks/OTP-13801'Zandra Norman2017-04-243-6/+0
|\ \ \ | |/ / |/| |
| * | stdlib: Make gen_server callbacks optionalZandra Norman2017-04-213-6/+0
* | | Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travisBjörn Gustavsson2017-04-218-4/+1436
|\ \ \
| * | | Add smoke test for TypERBjörn Gustavsson2017-04-202-1/+160
| * | | Add back TypEr to the main OTP repositoryBjörn Gustavsson2017-04-206-3/+1276
* | | | stdlib: Add checks of the dialyzer attribute to the linterHans Bolinder2017-04-133-17/+30
|/ / /
* | | Merge branch 'maint'Rickard Green2017-03-142-1/+43
|\ \ \ | | |/ | |/|
| * | Prepare releaseErlang/OTP2017-03-142-1/+43
| * | Update copyright yearRickard Green2017-03-108-8/+8
* | | Merge branch 'hasse/fix_erl_anno_use'Hans Bolinder2017-03-141-1/+2
|\ \ \
| * | | dialyzer: Fix handling of annotations in a testHans Bolinder2017-03-081-1/+2
* | | | dialyzer: Correct a test caseHans Bolinder2017-03-081-2/+4
|/ / /
* | | Merge branch 'maint'Hans Bolinder2017-03-066-13/+76
|\ \ \ | |/ / | | / | |/ |/|
| * Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maintHans Bolinder2017-03-066-14/+77
| |\
| | * dialyzer: Improve a warningHans Bolinder2017-02-281-2/+2
| | * dialyzer: Fix a weird warningHans Bolinder2017-02-282-0/+22
| | * dialyzer: Fix an opaque bugHans Bolinder2017-02-284-5/+48
| | * dialyzer: Minor fixHans Bolinder2017-02-281-9/+7
* | | Merge branch 'maint'Siri Hansen2017-03-061-1/+5
|\ \ \ | |/ /
| * | Merge branch 'siri/ct_hooks/callbacks-on-skip/OTP-10599' into maintSiri Hansen2017-03-061-1/+5
| |\ \
| | * | Add dummy end_per_suite/1Siri Hansen2017-02-201-1/+5
| | |/
* | | Merge branch 'maint'Björn Gustavsson2017-03-031-6/+2
|\ \ \ | |/ /
| * | dialyzer, observer: Use portable lookup of home directoryBjörn Gustavsson2017-03-021-6/+2
* | | Merge pull request #1359 from myronmarston/fix-length-typoBjörn Gustavsson2017-03-031-1/+1
|\ \ \
| * | | Fix typos: lenght -> lengthMyron Marston2017-03-011-1/+1
* | | | Merge branch 'maint'Hans Bolinder2017-03-021-2/+2
|\ \ \ \ | |/ / / |/| / / | |/ /
| * | dialyzer: Update runtime dependenciesHans Bolinder2017-03-021-2/+2
| |/
* | dialyzer: Correct test cases after removal of erlang:hash/2Hans Bolinder2017-02-212-0/+3
* | Fixed typos in lib/dialyzerAndrew Dryga2017-02-1440-55/+55
* | Merge branch 'maint'Hans Bolinder2017-02-091-9/+14
|\ \ | |/
View Lorry Controller Status