Age | Commit message (Expand) | Author |
2016-08-31 | dialyzer: Increase time limit of suites | Hans Bolinder |
2016-08-31 | dialyzer: Remove a check that always fails | Hans Bolinder |
2016-07-26 | Improve format_warning/1 spec | Brujo Benavides |
2016-07-04 | dialyzer: Suppress warns on generated case stmts | Magnus Lång |
2016-06-29 | Update release notes | Erlang/OTP |
2016-06-29 | Update version numbers | Erlang/OTP |
2016-06-28 | erl_types: Normalise X:=none() pairs in t_map/3 | Magnus Lång |
2016-06-21 | Prepare release | Erlang/OTP |
2016-06-10 | Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547' | Hans Bolinder |
2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder |
2016-06-09 | dialyzer: Minor adjustments | Hans Bolinder |
2016-06-09 | dialyzer: Suppress unmatched_return for send/2 | Hans Bolinder |
2016-06-09 | dialyzer: Use a cache when translating forms to types | Hans Bolinder |
2016-06-09 | dialyzer: Correct types | Hans Bolinder |
2016-06-09 | Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092' | Hans Bolinder |
2016-06-08 | Fix a bug in Dialyzer related to call-site analysis | Stavros Aronis |
2016-06-08 | Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop. | Hans Bolinder |
2016-06-02 | Revert "Prepare release" | Erlang/OTP |
2016-06-02 | Prepare release | Erlang/OTP |
2016-05-16 | Merge branch 'kostis/dialyzer/opaque_type/OTP-13586/PR-1047' | Hans Bolinder |
2016-05-13 | Update application versions | Hans Bolinder |
2016-05-13 | Use the newly defined types in a record declaration | Kostis Sagonas |
2016-05-13 | Strengthen the spec of analyze/1 | Kostis Sagonas |
2016-05-13 | Fix dependency calculation when encountering an erroneous 'apply' | Kostis Sagonas |
2016-05-12 | Revert "Prepare release" | Erlang/OTP |
2016-05-11 | Prepare release | Erlang/OTP |
2016-05-04 | Declare the erl_types:var_table() type as opaque | Kostis Sagonas |
2016-05-04 | dialyzer: Update runtime dependencies | Hans Bolinder |
2016-05-04 | dialyzer: Use maps instead of dict | Hans Bolinder |
2016-05-04 | dialyzer: Optimize the evaluation of SCC:s in module typesig | Hans Bolinder |
2016-05-04 | Merge branch 'experimental/correct_dialyzer_spelling/PR-1007/OTP-13544' | Hans Bolinder |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
2016-04-28 | erl_types: Don't consider opaque keys singleton | Magnus Lång |
2016-04-28 | erl_types: Fix t_subtract/2 correctness bug | Magnus Lång |
2016-04-28 | erl_types: Fix crash merging maps with opaque keys | Magnus Lång |
2016-04-28 | dialyzer_typesig: Fix bad external type | Magnus Lång |
2016-04-28 | dialyzer: Fix another pattern literal bug | Magnus Lång |
2016-04-28 | Bump Dialyzer version | Magnus Lång |
2016-04-28 | dialyzer: Improve map pattern typesetting | Magnus Lång |
2016-04-28 | dialyzer_contracts: Consider #{} a violation | Magnus Lång |
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Fix try in guards | Magnus Lång |
2016-04-28 | dialyzer: Unfold cerl patterns containing maps | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Add map support | Magnus Lång |
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång |
2016-04-28 | Enhance map specs in erts, stdlib, runtime_tools | Magnus Lång |
2016-04-28 | erl_bif_types: Add a selection of maps BIFs | Magnus Lång |
2016-04-28 | erl_types: Add a map type representation | Magnus Lång |
2016-04-19 | stdlib: Fix warnings | Hans Bolinder |
2016-04-07 | Correct mispelling in Dialyzer's acronym definition | eksperimental |