aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2016-04-28erl_types: Fix t_subtract/2 correctness bugMagnus Lång
2016-04-28erl_types: Fix crash merging maps with opaque keysMagnus Lång
2016-04-28dialyzer_typesig: Fix bad external typeMagnus Lång
2016-04-28dialyzer: Fix another pattern literal bugMagnus Lång
2016-04-28Bump Dialyzer versionMagnus Lång
2016-04-28dialyzer: Improve map pattern typesettingMagnus Lång
2016-04-28dialyzer_contracts: Consider #{} a violationMagnus Lång
2016-04-28dialyzer_typesig: Fix simplification bugMagnus Lång
2016-04-28dialyzer_dataflow: Fix try in guardsMagnus Lång
2016-04-28dialyzer: Unfold cerl patterns containing mapsMagnus Lång
2016-04-28dialyzer_dataflow: Add map supportMagnus Lång
2016-04-28dialyzer_typesig: Add map supportMagnus Lång
2016-04-28Enhance map specs in erts, stdlib, runtime_toolsMagnus Lång
2016-04-28erl_bif_types: Add a selection of maps BIFsMagnus Lång
2016-04-28erl_types: Add a map type representationMagnus Lång
2016-04-19stdlib: Fix warningsHans Bolinder
2016-03-15update copyright-yearHenrik Nord
2016-03-15Merge tag 'OTP-18.3'Lars Thorsen
2016-03-14Prepare releaseErlang/OTP
2016-02-17Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson
2016-02-10Merge branch 'maint'Hans Bolinder
2016-02-09dialyzer: Correct byte_size() and comparisonsHans Bolinder
2016-02-08Merge branch 'maint'Hans Bolinder
2016-02-08dialyzer: Fix a bug concerning the option 'plt_remove'Hans Bolinder
2016-02-02Merge branch 'maint'Zandra
2016-02-02Merge branch 'aronisstav/dialyzer-missing-callback-info' into maintZandra
2016-02-01dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis
2016-01-27Clarify usage of coordinator by analysis_callgraphLuca Favatella
2016-01-27Reflect more init-loop OTP pattern in dialyzer_workerLuca Favatella
2016-01-27Delete dead sequential code in dialyzer_workerLuca Favatella
2016-01-26Clarify computation of exported types in DialyzerLuca Favatella
2016-01-26Split race_data_server out of dialyzer_callgraphLuca Favatella
2016-01-26Refactor dialyzer_analysis_callgraphLuca Favatella
2016-01-26Refactor usage of opaques() typeLuca Favatella
2016-01-26Clarify that dialyzer_callgraph:callgraph() type is opaqueLuca Favatella
2016-01-26Delete a couple of leftover chars in Dialyzer docLuca Favatella
2016-01-20dialyzer: Correct a test caseHans Bolinder
2016-01-20dialyzer: Improve a typeHans Bolinder
2016-01-18Merge branch 'maint'Björn-Egil Dahlberg
2016-01-14dialyzer: Update Maps testsBjörn-Egil Dahlberg
2016-01-11Fix inadvertent deletion of callback infoStavros Aronis
2016-01-11Eliminate ugly case statementsStavros Aronis
2016-01-11Remove dead code related to missing behaviour infoStavros Aronis
2015-12-28Merge branch 'maint'Zandra
2015-12-28Merge branch 'lucafavatella/dialyzer-fun-call' into maintZandra
2015-12-16Merge tag 'OTP-18.2'Henrik Nord
2015-12-15Update release notesErlang/OTP
2015-12-15Update version numbersErlang/OTP
2015-12-15dialyzer: Print constraints using the '::' syntaxHans Bolinder
2015-11-04Merge branch 'maint'Hans Bolinder
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 00:50:33 +0000