aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2018-02-21dialyzer: Correct a parameterized opaque types bugHans Bolinder
2018-02-14dialyzer: Fix a crashHans Bolinder
2018-01-12dialyzer: Fix bsl/2 bugHans Bolinder
2018-01-09dialyzer: Add a test of erl_tar:table/1,2Hans Bolinder
2018-01-08dialyzer: Correct handling of erlang:abs/1Hans Bolinder
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-11-22dialyzer: Use string:find() instead of string:str()Hans Bolinder
2017-11-10dialyzer: Display error messages without call stackHans Bolinder
2017-09-18Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maintHans Bolinder
2017-09-15dialyzer: Improve check of unknown typesHans Bolinder
2017-09-12dialyzer: Adjust a test caseHans Bolinder
2017-09-12dialyzer: Modify handling of singleton map key typesHans Bolinder
2017-06-13dialyzer: Do not use two records for PLTsHans Bolinder
2017-06-13dialyzer: Warn about unused unknown typesHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2017-05-02Merge branch 'maint'Hans Bolinder
2017-04-26dialyzer: Fix a bug regarding unknown typesHans Bolinder
2017-04-24Merge branch 'zandra/stdlib/optional-callbacks/OTP-13801'Zandra Norman
2017-04-21stdlib: Make gen_server callbacks optionalZandra Norman
2017-04-21Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travisBjörn Gustavsson
2017-04-20Add smoke test for TypERBjörn Gustavsson
2017-04-13stdlib: Add checks of the dialyzer attribute to the linterHans Bolinder
2017-03-14Merge branch 'hasse/fix_erl_anno_use'Hans Bolinder
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-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-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-03dialyzer: Correct PLT testsHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Increase time limit for testsHans Bolinder
2017-01-25Update test cases for erlang:hash/2 removalBjörn-Egil Dahlberg
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-10stdlib: Correct signatures of functions in erl_parseHans Bolinder
2017-01-10Merge branch 'maint'Hans Bolinder
2016-12-21stdlib: Allow characters in types and constant patternsHans Bolinder
2016-12-07Update copyright-yearErlang/OTP
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-11-23Merge branch 'maint'Hans Bolinder
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder