Age | Commit message (Expand) | Author |
2015-10-27 | Merge branch 'maint' | Henrik Nord |
2015-10-27 | Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maint | Henrik Nord |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2015-09-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
2015-07-11 | Teach Dialyzer arity of funs with literal arity | Luca Favatella |
2015-04-30 | dialyzer: Strengthen maps tests | Björn-Egil Dahlberg |
2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
2015-01-14 | dialyzer: Introduce module local suppression of warnings | Hans Bolinder |
2014-11-25 | Merge branch 'maint' | Hans Bolinder |
2014-11-24 | dialyzer: correct record updates | Hans Bolinder |
2014-06-30 | Merge branch 'maint' | Hans Bolinder |
2014-06-26 | hipe: Correct pretty-printing of bitstrings | Hans Bolinder |
2014-06-17 | Merge branch 'maint' | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-05-26 | Merge branch 'maint' | Björn-Egil Dahlberg |
2014-04-29 | dialyzer: Add Maps type mismatch test | Björn-Egil Dahlberg |
2014-04-28 | Introduce the attribute -optional_callbacks in the context of behaviours | Hans Bolinder |
2014-03-28 | Dialyzer now plays nicely with funs that come as "external" arguments | Stavros Aronis |
2014-03-26 | Merge branch 'aronisstav/hipe/opaque_fix' | Hans Bolinder |
2014-03-24 | Don't 'opaque-decorate' a success typing using an incompatible spec | Stavros Aronis |
2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
2013-12-12 | Test named funs | Anthony Ramine |
2013-10-09 | Add some more comments about what the test does | Kostis Sagonas |
2013-03-06 | Include module, function and arity in Dialyzer's "overlapping domain" warnings | Magnus Henoch |
2013-02-21 | Introduce new type file:name_all() | Hans Bolinder |
2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
2013-02-13 | Make the file:filename() type more restrictive | Björn Gustavsson |
2013-01-25 | Testcase expecting newline | Fredrik Gustafsson |
2013-01-25 | Merge branch 'sa/dialyzer-unknown-arity-funs/OTP-10772' | Fredrik Gustafsson |
2013-01-23 | Update one more unused funs result as per ffe582b | Stavros Aronis |
2013-01-23 | Remove pubsub and comm_layer tests from testsuite | Stavros Aronis |
2013-01-23 | Fixed merge issue | Fredrik Gustafsson |
2013-01-23 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-23 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2013-01-22 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-15 | Merge branch 'sa/dialyzer-record-field-type/OTP-10681' | Fredrik Gustafsson |
2013-01-11 | small_SUITE: Update warnings for port functions | Björn Gustavsson |
2012-12-20 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2012-11-17 | Fix precision of record creation violation warnings | Stavros Aronis |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-09-24 | dialyzer: Do not output warnings for unused funs | Hans Bolinder |
2012-05-08 | Merge branch 'sa/dialyzer-contract-variables' into maint | Henrik Nord |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |
2012-04-17 | Correct documentation, erl_bif_types and dialyzer tests | Patrik Nyblom |
2012-04-17 | Extend erlang:port_info/1,2 to show the OS pid of a spawned process | Matthias Lang |
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis |
2011-10-14 | Fix false warning about closure application | Stavros Aronis |