Age | Commit message (Expand) | Author |
---|---|---|
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-14 | Fix an erroneous spec | Kostis Sagonas |
2013-12-12 | Support non top level letrecs in dialyzer | José Valim |
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP |
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP |