aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2017-04-13stdlib: Add checks of the dialyzer attribute to the linterHans Bolinder
2017-03-14Merge branch 'maint'Rickard Green
2017-03-14Prepare releaseErlang/OTP
2017-03-14Merge branch 'hasse/fix_erl_anno_use'Hans Bolinder
2017-03-10Update copyright yearRickard Green
2017-03-08dialyzer: Correct a test caseHans Bolinder
2017-03-08dialyzer: Fix handling of annotations in a testHans Bolinder
2017-03-06Merge branch 'maint'Hans Bolinder
2017-03-06Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maintHans Bolinder
2017-03-06Merge branch 'maint'Siri Hansen
2017-03-06Merge branch 'siri/ct_hooks/callbacks-on-skip/OTP-10599' into maintSiri Hansen
2017-03-03Merge branch 'maint'Björn Gustavsson
2017-03-03Merge pull request #1359 from myronmarston/fix-length-typoBjörn Gustavsson
2017-03-02dialyzer, observer: Use portable lookup of home directoryBjörn Gustavsson
2017-03-02Merge branch 'maint'Hans Bolinder
2017-03-02dialyzer: Update runtime dependenciesHans Bolinder
2017-03-01Fix typos: lenght -> lengthMyron Marston
2017-02-28dialyzer: Improve a warningHans Bolinder
2017-02-28dialyzer: Fix a weird warningHans Bolinder
2017-02-28dialyzer: Fix an opaque bugHans Bolinder
2017-02-28dialyzer: Minor fixHans Bolinder
2017-02-21dialyzer: Correct test cases after removal of erlang:hash/2Hans Bolinder
2017-02-20Add dummy end_per_suite/1Siri Hansen
2017-02-14Fixed typos in lib/dialyzerAndrew Dryga
2017-02-09Merge branch 'maint'Hans Bolinder
2017-02-06Merge branch 'hasse/dialyzer/memory_opt/OTP-14127'Hans Bolinder
2017-02-03dialyzer: Correct PLT testsHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-03dialyzer: Fix a Dialyzer warningHans Bolinder
2017-02-03dialyzer: Attempt to reduce memory consumptionHans Bolinder
2017-02-03dialyzer: Do not spawn all workers at onceHans Bolinder
2017-02-03dialyzer: Write PLT in subprocessHans Bolinder
2017-02-03dialyzer: Remove code for non-started workersHans Bolinder
2017-02-03dialyzer: Sort graphs topologicallyHans Bolinder
2017-02-03dialyzer: Compress some PLT tablesHans Bolinder
2017-02-03dialyzer: Check return value of digrahp:add_edge()Hans Bolinder
2017-02-03dialyzer: Use less memory for the PLT when analyzingHans Bolinder
2017-02-03typer: Fix a bug regarding the -T optionHans Bolinder
2017-02-03dialyzer: Do not keep the code server's type info on the heapHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Increase time limit for testsHans Bolinder
2017-02-01dialyzer: Optimize typesigHans Bolinder
2017-02-01dialyzer: Optimize evaluation of complex codeHans Bolinder
2017-01-25Update test cases for erlang:hash/2 removalBjörn-Egil Dahlberg
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-12Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maintHans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Compact 'file' annotations in Core codeHans Bolinder
2017-01-11dialyzer: Try to reduce memory usageHans Bolinder
2017-01-11dialyzer: Use less memory when translating contractsHans Bolinder
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-15 03:20:21 +0000