| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | dialyzer_typesig: Fix bad external type | Magnus Lång | 2016-04-28 | 1 | -1/+1 | |
| * | | dialyzer: Fix another pattern literal bug | Magnus Lång | 2016-04-28 | 3 | -6/+73 | |
| * | | Bump Dialyzer version | Magnus Lång | 2016-04-28 | 1 | -1/+1 | |
| * | | dialyzer: Improve map pattern typesetting | Magnus Lång | 2016-04-28 | 6 | -19/+50 | |
| * | | dialyzer_contracts: Consider #{} a violation | Magnus Lång | 2016-04-28 | 3 | -12/+61 | |
| * | | dialyzer_typesig: Fix simplification bug | Magnus Lång | 2016-04-28 | 2 | -4/+14 | |
| * | | dialyzer_dataflow: Fix try in guards | Magnus Lång | 2016-04-28 | 2 | -5/+42 | |
| * | | dialyzer: Unfold cerl patterns containing maps | Magnus Lång | 2016-04-28 | 10 | -34/+108 | |
| * | | dialyzer_dataflow: Add map support | Magnus Lång | 2016-04-28 | 21 | -15/+3109 | |
| * | | dialyzer_typesig: Add map support | Magnus Lång | 2016-04-28 | 28 | -11/+568 | |
| * | | Enhance map specs in erts, stdlib, runtime_tools | Magnus Lång | 2016-04-28 | 1 | -1/+1 | |
| * | | erl_bif_types: Add a selection of maps BIFs | Magnus Lång | 2016-04-28 | 2 | -1/+2 | |
| * | | erl_types: Add a map type representation | Magnus Lång | 2016-04-28 | 4 | -4/+8 | |
| * | | stdlib: Fix warnings | Hans Bolinder | 2016-04-19 | 1 | -12/+0 | |
| * | | update copyright-year | Henrik Nord | 2016-03-15 | 18 | -18/+18 | |
| * | | Merge tag 'OTP-18.3' | Lars Thorsen | 2016-03-15 | 2 | -1/+60 | |
| |\ \ | |/ | ||||||
| | * | Prepare release | Erlang/OTP | 2016-03-14 | 2 | -1/+60 | |
| * | | Eliminate use of test_server.hrl and test_server_line.hrl | Björn Gustavsson | 2016-02-17 | 1 | -1/+1 | |
| * | | Merge branch 'maint' | Hans Bolinder | 2016-02-10 | 2 | -90/+194 | |
| |\ \ | |/ | ||||||
| | * | dialyzer: Correct byte_size() and comparisons | Hans Bolinder | 2016-02-09 | 2 | -90/+194 | |
| * | | Merge branch 'maint' | Hans Bolinder | 2016-02-08 | 2 | -14/+65 | |
| |\ \ | |/ | ||||||
| | * | dialyzer: Fix a bug concerning the option 'plt_remove' | Hans Bolinder | 2016-02-08 | 2 | -14/+65 | |
| * | | Merge branch 'maint' | Zandra | 2016-02-02 | 4 | -70/+63 | |
| |\ \ | |/ | ||||||
| | * | Merge branch 'aronisstav/dialyzer-missing-callback-info' into maint | Zandra | 2016-02-02 | 4 | -76/+65 | |
| | |\ | ||||||
| | | * | Fix inadvertent deletion of callback info | Stavros Aronis | 2016-01-11 | 2 | -2/+58 | |
| | | * | Eliminate ugly case statements | Stavros Aronis | 2016-01-11 | 1 | -12/+5 | |
| | | * | Remove dead code related to missing behaviour info | Stavros Aronis | 2016-01-11 | 2 | -62/+2 | |
| * | | | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis | 2016-02-01 | 5 | -6/+6 | |
| * | | | Clarify usage of coordinator by analysis_callgraph | Luca Favatella | 2016-01-27 | 3 | -29/+36 | |
| * | | | Reflect more init-loop OTP pattern in dialyzer_worker | Luca Favatella | 2016-01-27 | 1 | -12/+14 | |
| * | | | Delete dead sequential code in dialyzer_worker | Luca Favatella | 2016-01-27 | 1 | -22/+2 | |
| * | | | Clarify computation of exported types in Dialyzer | Luca Favatella | 2016-01-26 | 2 | -10/+8 | |
| * | | | Split race_data_server out of dialyzer_callgraph | Luca Favatella | 2016-01-26 | 4 | -91/+153 | |
| * | | | Refactor dialyzer_analysis_callgraph | Luca Favatella | 2016-01-26 | 1 | -9/+5 | |
| * | | | Refactor usage of opaques() type | Luca Favatella | 2016-01-26 | 1 | -3/+2 | |
| * | | | Clarify that dialyzer_callgraph:callgraph() type is opaque | Luca Favatella | 2016-01-26 | 1 | -1/+1 | |
| * | | | Delete a couple of leftover chars in Dialyzer doc | Luca Favatella | 2016-01-26 | 1 | -1/+1 | |
| * | | | dialyzer: Correct a test case | Hans Bolinder | 2016-01-20 | 1 | -1/+2 | |
| * | | | dialyzer: Improve a type | Hans Bolinder | 2016-01-20 | 1 | -1/+1 | |
| * | | | Merge branch 'maint' | Björn-Egil Dahlberg | 2016-01-18 | 2 | -0/+16 | |
| |\ \ \ | |/ / | ||||||
| | * | | dialyzer: Update Maps tests | Björn-Egil Dahlberg | 2016-01-14 | 2 | -0/+16 | |
| | |/ | ||||||
| * | | Merge branch 'maint' | Zandra | 2015-12-28 | 4 | -2/+50 | |
| |\ \ | |/ | ||||||
| | * | Merge branch 'lucafavatella/dialyzer-fun-call' into maint | Zandra | 2015-12-28 | 4 | -2/+50 | |
| | |\ | ||||||
| | | * | Teach Dialyzer call to funs `M:F/A` (literal M, F, A) | Luca Favatella | 2015-10-27 | 4 | -2/+50 | |
| * | | | Merge tag 'OTP-18.2' | Henrik Nord | 2015-12-16 | 1 | -0/+16 | |
| |\ \ \ | |/ / | ||||||
| | * | | Update release notes | Erlang/OTP | 2015-12-15 | 1 | -0/+16 | |
| | * | | Update version numbers | Erlang/OTP | 2015-12-15 | 1 | -1/+1 | |
| * | | | dialyzer: Print constraints using the '::' syntax | Hans Bolinder | 2015-12-15 | 6 | -28/+34 | |
| * | | | Merge branch 'maint' | Hans Bolinder | 2015-11-04 | 1 | -14/+18 | |
| |\ \ \ | |/ / | ||||||
| | * | | [dialyzer] Correct documentation | Hans Bolinder | 2015-11-04 | 1 | -14/+18 | |
| | |/ | ||||||
 |
index : delta/erlang.git | |
| github.com: erlang/otp.git |
| summaryrefslogtreecommitdiff |