| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis | |
| Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables. | |||
| 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 | |
| This new feature is able to take multiple PLTs, merge them during the start of the analysis, and work from there. This works provided that the PLTs do not have a module with the same name appearing in more than one PLT. The PLTs are created in the usual way: dialyzer --build_plt --output_plt PLT_1 FILES_TO_INCLUDE ... dialyzer --build_plt --output_plt PLT_N FILES_TO_INCLUDE and then can be used in either of the following ways: dialyzer FILES_TO_ANALYZE --plts PLT_1 ... PLT_N or: dialyzer --plts PLT_1 ... PLT_N -- FILES_TO_ANALYZE (Note the -- delimiter in the second case) | |||
| 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 | |
| Bumped version number and wrote RELEASE_NOTES. Included all changes described in release notes. Some spec-related changes to some files in lib/hipe/cerl. | |||
| 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 | |
| * ks/hipe: dialyzer: Fix system_limit exception in race analysis syntax_tools: Add types and specs for most exported functions syntax_tools: Support the --enable-native-libs configure option syntax_tools: Remove $Id$ annotations dialyzer: New version for the R13B04 release hipe: Miscellaneous additions typer: New version for the R13B04 release Fix a HiPE compiler bug evaluating an expression that throws system_limit OTP-8460 ks/hipe | |||
| 2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
| 2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |
 |
index : otp.git | |
| Mirror of Erlang/OTP repository. | OTP Team |
| aboutsummaryrefslogtreecommitdiffstats |