otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2014-03-24	Correct some type declarations	Kostis Sagonas
	The types of some record fields were wrong. This file uses some module local format of race warnings and when the analysis is done transforms this format into the format of general dialyzer warnings. This change fixes the type declaration of the race_warning field of the #races{} record which was wrong. In addition, declared the type of the state field in some other record that, long ago, could not be declared since mutually recursive types were not supported by Dialyzer's analysis.
2014-02-23	Deprecate pre-defined built-in types	Hans Bolinder
	The types array(), dict(), digraph(), gb_set(), gb_tree(), queue(), set(), and tid() have been deprecated. They will be removed in OTP 18.0. Instead the types array:array(), dict:dict(), digraph:graph(), gb_set:set(), gb_tree:tree(), queue:queue(), sets:set(), and ets:tid() can be used. (Note: it has always been necessary to use ets:tid().) It is allowed in OTP 17.0 to locally re-define the types array(), dict(), and so on. New types array:array/1, dict:dict/2, gb_sets:set/1, gb_trees:tree/2, queue:queue/1, and sets:set/1 have been added.
2012-09-26	Fix a crash in race condition detection	Stavros Aronis
	Analysis is not always able to find the variable labels and names for any kind of arguments passed to the ets module functions.
2012-05-21	Separate race related fields of callgraph	Stavros Aronis

2012-05-21	Remove unused race detection related code	Stavros Aronis

2012-03-30	Update copyright years	Björn-Egil Dahlberg

2012-02-22	Review by Kostis Sagonas and fixes	Stavros Aronis

2010-10-14	dialyzer: Fix so warnings will be emitted for all public ETS tables	Maria Christakis

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