otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2010-12-06	dialyzer: Update documentation	Maria Christakis

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-09-10	Remove warnings for clashes with new autoimported BIFs	Patrik Nyblom

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