aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2018-03-24Avoid overflowing the atom tableBjörn Gustavsson
2018-03-16mikpe/process_info-1-no-messages/PR-1745/OTP-14986Lukas Larsson
2018-03-13Merge branch 'hasse/dialyzer/extra-range/OTP-14970'Hans Bolinder
2018-03-10make erlang:process_info/1 not retrieve messagesMikael Pettersson
2018-02-23Merge branch 'maint'Hans Bolinder
2018-02-21dialyzer: Correct a parameterized opaque types bugHans Bolinder
2018-02-20Dialyzer should not throw away spec information because of overspecRichard Carlsson
2018-02-15Merge branch 'maint'Hans Bolinder
2018-02-14dialyzer: Fix a crashHans Bolinder
2018-02-07Merge branch 'hasse/no_get_stacktrace/OTP-14861'Hans Bolinder
2018-02-06dialyzer: Assign a type to the primop build_stacktraceHans Bolinder
2018-02-05dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder
2018-01-19Merge branch 'maint'Hans Bolinder
2018-01-12dialyzer: Fix bsl/2 bugHans Bolinder
2018-01-10Merge branch 'maint'Hans Bolinder
2018-01-09dialyzer: Add a test of erl_tar:table/1,2Hans Bolinder
2018-01-09Merge branch 'maint'Hans Bolinder
2018-01-08dialyzer: Correct handling of erlang:abs/1Hans Bolinder
2017-11-28Merge branch 'maint'Hans 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-20Merge branch 'lukas/stdlib/maps_iterators/OTP-14012'Lukas Larsson
2017-11-14Merge branch 'maint'Hans Bolinder
2017-11-10dialyzer: Display error messages without call stackHans Bolinder
2017-10-13erts: Implement maps path iteratorLukas Larsson
2017-09-18Merge branch 'maint'Hans Bolinder
2017-09-18Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maintHans Bolinder
2017-09-15Merge branch 'siri/string-new-api'Siri Hansen
2017-09-15dialyzer (test): Do not use deprecated functions in string(3)Dan Gudmundsson
2017-09-15Merge branch 'maint'Hans 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-08-05Add {continue, Term} and handle_continue/2 to gen_serverJosé Valim
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 02:25:56 +0000