Age | Commit message (Expand) | Author |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2012-05-21 | Fix a spec in plt | Stavros Aronis |
2012-05-21 | Keep mini plt for warnings pass | Stavros Aronis |
2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis |
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis |
2012-05-21 | Refactoring in plt | Stavros Aronis |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg |
2012-02-22 | Review by Kostis Sagonas and fixes | Stavros Aronis |
2012-02-22 | Simplify external vs bad calls check | Stavros Aronis |
2012-02-22 | Remove redundant code | Stavros Aronis |
2012-02-22 | Prettify spec | Stavros Aronis |
2011-11-18 | Add lookup function for callbacks | Stavros Aronis |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis |
2011-03-29 | Fix the name of an error function | Maria Christakis |
2011-03-11 | Update copyright years | Björn-Egil Dahlberg |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas |
2010-11-30 | dialyzer: Add support for multiple PLTs | Maria Christakis |
2010-10-04 | Dialyzer: Fix erroneous type and use the same definition in two places | Kostis Sagonas |
2010-09-10 | Remove warnings for clashes with new autoimported BIFs | Patrik Nyblom |
2010-06-08 | Various changes to dialyzer-related files for R14. | Kostis Sagonas |
2010-06-03 | Support -export_type() in dialyzer and erl_types | Kostis Sagonas |
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 |