Age | Commit message (Expand) | Author |
2017-02-03 | dialyzer: Use less memory for the PLT when analyzing | Hans Bolinder |
2017-02-03 | typer: Fix a bug regarding the -T option | Hans Bolinder |
2017-02-03 | dialyzer: Do not keep the code server's type info on the heap | Hans Bolinder |
2017-02-03 | Merge branch 'maint' | 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-25 | Update test cases for erlang:hash/2 removal | Björn-Egil Dahlberg |
2017-01-12 | Merge branch 'maint' | Hans Bolinder |
2017-01-12 | Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maint | Hans Bolinder |
2017-01-12 | Merge branch '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 |
2017-01-10 | Merge branch 'maint' | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-12-14 | Merge tag 'OTP-19.2' | Dan Gudmundsson |
2016-12-09 | Prepare release | Erlang/OTP |
2016-12-07 | Update copyright-year | Erlang/OTP |
2016-11-23 | Update obsolete author e-mails | Richard Carlsson |
2016-11-23 | Correct copyright and license on dialyzer files | Richard Carlsson |
2016-11-23 | Merge branch 'maint' | Hans Bolinder |
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-02 | Merge branch 'maint' | Hans Bolinder |
2016-11-01 | erts: Correct type declaration of match specification head | Hans Bolinder |
2016-10-21 | Merge branch 'maint' | Hans Bolinder |
2016-10-21 | dialyzer: Fix error handling of bad -dialyzer() attributes | Hans Bolinder |
2016-10-13 | Merge branch 'maint' | Hans Bolinder |
2016-10-13 | Merge branch 'hasse/dialyzer/fix_opaque_bugs/OTP-13693' into maint | Hans Bolinder |
2016-10-12 | Merge branch '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-26 | Use @ in variable names generated by core and kernel | José Valim |
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 |