Age | Commit message (Expand) | Author |
2017-02-03 | dialyzer: Correct PLT tests | Hans Bolinder |
2017-02-03 | dialyzer: Fix a Dialyzer warning | Hans Bolinder |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2017-02-01 | dialyzer: Optimize typesig | Hans Bolinder |
2017-02-01 | dialyzer: Optimize evaluation of complex code | Hans Bolinder |
2017-01-12 | Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maint | Hans Bolinder |
2017-01-11 | dialyzer: Compact 'file' annotations in Core code | Hans Bolinder |
2017-01-11 | dialyzer: Try to reduce memory usage | Hans Bolinder |
2017-01-11 | dialyzer: Use less memory when translating contracts | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instaed of dict | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instead of dict for module contracts map | Hans Bolinder |
2017-01-11 | dialyzer: Compress a few more ETS tables | Hans Bolinder |
2017-01-11 | dialyzer: Optimize memory consumption | Hans Bolinder |
2017-01-11 | dialyzer: Reduce memory consumption during 'remote' phase | Hans Bolinder |
2017-01-11 | dialyzer: Update code for finding parallelism | Hans Bolinder |
2017-01-11 | dialyzer: Reduce ETS usage during the typesig phase | Hans Bolinder |
2017-01-11 | dialyzer: Optimize graph condensation | Hans Bolinder |
2017-01-11 | dialyzer: Do not send full PLTs as messages | Hans Bolinder |
2017-01-10 | stdlib: Correct signatures of functions in erl_parse | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-12-09 | Prepare release | Erlang/OTP |
2016-12-07 | Update copyright-year | Erlang/OTP |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
2016-11-22 | dialyzer: Correct a warnings message | Hans Bolinder |
2016-11-01 | erts: Correct type declaration of match specification head | Hans Bolinder |
2016-10-21 | dialyzer: Fix error handling of bad -dialyzer() attributes | Hans Bolinder |
2016-10-13 | Merge branch 'hasse/dialyzer/fix_opaque_bugs/OTP-13693' into maint | Hans Bolinder |
2016-10-11 | Update Dialyzer documentation | xsipewe |
2016-10-06 | dialyzer: Fix opaque bug | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bugs | Hans Bolinder |
2016-09-20 | Prepare release | Erlang/OTP |
2016-09-12 | Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in... | Hans Bolinder |
2016-09-07 | erl_bif_types: Properly unopaque maps:merge/2 args | Magnus Lång |
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 |