Age | Commit message (Expand) | Author |
2014-02-24 | Merge branch 'fenollp/otp-edoc-usage-fixes' | Henrik Nord |
2014-02-24 | Merge branch 'hb/dialyzer/fix_on_load/OTP-11743' | Hans Bolinder |
2014-02-24 | Merge branch 'hb/dialyzer/deprecate_types/OTP-10342' | Hans Bolinder |
2014-02-24 | Merge branch 'schlagert/fix_basic_appups' | Siri Hansen |
2014-02-24 | FIx handling of 'on_load' attribute | Hans Bolinder |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
2014-02-18 | Fix library application appup files | Tobias Schlager |
2014-02-17 | Merge branch 'bjorn/lc-warnings/OTP-11626' | Björn Gustavsson |
2014-02-14 | Fix edoc usage errors | Pierre Fenoll |
2014-02-07 | Merge branch 'kostis/dialyzer-r17c0-fixes' | Henrik Nord |
2014-02-06 | Add app-test and correct dialyzer.app.src | Hans Bolinder |
2014-02-05 | dialyzer: Silence useless warnings about list comprehensions | Björn Gustavsson |
2014-01-31 | Shut off a dialyzer unmatched return warning | Kostis Sagonas |
2014-01-31 | Add a spec for a function that does not return | Kostis Sagonas |
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 |
2013-12-20 | Merge remote-tracking branch 'origin/kostis/dialyzer_hipe-remove-gs' | Dan Gudmundsson |
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-06-12 | Update copyright years | Björn-Egil Dahlberg |
2013-04-24 | [dialyzer] Fix a bug concerning the --gui and --wx options | Hans Bolinder |
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-22 | Update copyright years | Björn-Egil Dahlberg |
2013-02-20 | Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865' | Fredrik Gustafsson |
2013-02-19 | Native code compilation changes | Kostis Sagonas |
2013-02-19 | Code simplification | Kostis Sagonas |
2013-02-19 | Simplify a case construct using inequality | Kostis Sagonas |
2013-02-19 | Simplify a case construct using a boolean operator | Kostis Sagonas |
2013-02-19 | Code simplifications + take out obsolete note | Kostis Sagonas |
2013-02-15 | Minor refactoring | Stavros Aronis |
2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
2013-01-22 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-15 | Implement ./otp_build configure --enable-silent-rules | Anthony Ramine |
2012-12-20 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2012-11-23 | Update copyright years | Björn-Egil Dahlberg |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix a crash in race condition detection | Stavros Aronis |
2012-09-26 | Remove old untested experimental extension | Stavros Aronis |