Age | Commit message (Expand) | Author |
2014-01-31 | Add a spec for a function that does not return | Kostis Sagonas |
2014-01-29 | dialyzer: Add maps tests | Björn-Egil Dahlberg |
2014-01-29 | dialyzer: Remove dead code | Björn-Egil Dahlberg |
2014-01-29 | dialyzer: Reflect map_pair core changes in dialyzer | Björn-Egil Dahlberg |
2014-01-28 | dialyzer,hipe,stdlib: Add Maps understanding to Dialyzer | Björn-Egil Dahlberg |
2014-01-28 | Merge branch 'hb/dialyzer/opaque_types_fixes/OTP-10397' | Hans Bolinder |
2014-01-21 | [dialyzer] Re-work the handling of opaque types | Hans Bolinder |
2014-01-14 | Fix an erroneous spec | Kostis Sagonas |
2014-01-12 | fix -Wno_behaviours doc error in dialyzer man page | Steve Vinoski |
2013-12-20 | Merge remote-tracking branch 'origin/kostis/dialyzer_hipe-remove-gs' | Dan Gudmundsson |
2013-12-12 | Test named funs | Anthony Ramine |
2013-12-12 | EEP 37: Funs with names | Anthony Ramine |
2013-12-12 | Support non top level letrecs in dialyzer | José Valim |
2013-11-13 | Remove the --wx option and promore the --gui to use the wx-based GUI | Kostis Sagonas |
2013-11-13 | Remove the GS-based GUI of Dialyzer | Kostis Sagonas |
2013-10-14 | Merge branch 'maint' | Fredrik Gustafsson |
2013-10-14 | Merge branch 'fenollp/treewide_remove_unexpected_0xff/OTP-11323' into maint | Fredrik Gustafsson |
2013-10-14 | Merge branch 'maint' | Fredrik Gustafsson |
2013-10-14 | Merge branch 'kostis/dialyzer_R16B02_fixes/OTP-11374' into maint | Fredrik Gustafsson |
2013-10-10 | Merge branch 'maint' | Fredrik Gustafsson |
2013-10-09 | Fix crash when using remote types in the tail of list types | Kostis Sagonas |
2013-10-09 | Adopt a convention about unknown modules | Kostis Sagonas |
2013-10-09 | No reason for calls to unknown modules | Kostis Sagonas |
2013-10-09 | Use the modern version of is_subtype | Kostis Sagonas |
2013-10-09 | Adopt a convention about unknown modules | Kostis Sagonas |
2013-10-09 | Fix a comment | Kostis Sagonas |
2013-10-09 | Add some more comments about what the test does | Kostis Sagonas |
2013-09-12 | Remove ^L characters hidden randomly in the code. Not those used in text file... | Pierre Fenoll |
2013-09-05 | Fix httpd config option 'script_timeout' | Johannes Weißl |
2013-06-26 | Merge branch 'nox/illegal-bitstring-gen-pattern/OTP-11186' | Fredrik Gustafsson |
2013-06-18 | Merge tag 'OTP_R16B01' | Björn-Egil Dahlberg |
2013-06-17 | Prepare releaseOTP_R16B01 | Erlang/OTP |
2013-06-12 | Merge branch 'maint' | Björn-Egil Dahlberg |
2013-06-12 | Update copyright years | Björn-Egil Dahlberg |
2013-06-05 | Forbid unsized fields in patterns of binary generators | Anthony Ramine |
2013-05-28 | Merge remote-tracking branch 'upstream/maint' | Ingela Anderton Andin |
2013-05-20 | dialyzer: Remove use of deprecated crypto functions | Ingela Anderton Andin |
2013-04-24 | Merge branch 'maint' | Hans Bolinder |
2013-04-24 | [dialyzer] Fix a bug concerning the --gui and --wx options | Hans Bolinder |
2013-04-19 | Convert XML files to UTF-8 | Hans Bolinder |
2013-04-19 | Remove the "coding: utf-8" comment from all Erlang source files | Hans Bolinder |
2013-04-17 | Encode Erlang source files with non-ascii characters in UTF-8 | Björn Gustavsson |
2013-04-10 | Merge branch 'sa/dialyzer-bitstring-fixes/OTP-11027' into maint | Fredrik Gustafsson |
2013-04-08 | Minor refactorings | Stavros Aronis |
2013-04-08 | Fix minor error in natively compiled module list | Stavros Aronis |
2013-04-08 | Fix notification for duplicate modules | Stavros Aronis |
2013-04-08 | Fix an error in the type inference of bitstring data | Stavros Aronis |
2013-03-26 | Improve Dialyzer output for scan errors | Magnus Henoch |
2013-03-06 | Include module, function and arity in Dialyzer's "overlapping domain" warnings | Magnus Henoch |
2013-02-25 | Prepare releaseOTP_R16B | Erlang/OTP |