otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2015-01-14	dialyzer: Introduce module local suppression of warnings	Hans Bolinder
	The -dialyzer() attribute can be used for suppressing warnings in a module by specifying functions or warning options. It can also be used for requesting warnings in a module.
2014-04-28	Introduce the attribute -optional_callbacks in the context of behaviours	Hans Bolinder

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.
2013-02-22	Update copyright years	Björn-Egil Dahlberg

2013-02-19	Code simplifications + take out obsolete note	Kostis Sagonas

2012-09-26	Remove old untested experimental extension	Stavros Aronis
	This extension allowed minimal detection of race conditions that were passing through behaviour API calls, but had no tests in any suite and also caused a crash in R15B02.
2012-05-21	Better reflect side-effect based code in dialyzer_callgraph	Stavros Aronis

2012-05-21	Simplify behaviour checking code	Stavros Aronis

2012-05-21	Keep mini plt for warnings pass	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	Support alternative spelling of behaviour	Stavros Aronis

2011-12-09	Update copyright years	Björn-Egil Dahlberg

2011-12-01	Refine warning about callback specs with extra ranges	Stavros Aronis

2011-12-01	Fix bug in Dialyzer's behaviours analysis	Stavros Aronis

2011-11-18	Wrap up behaviours patch for Dialyzer	Stavros Aronis
	Enable warnings by default, add two options for suppressing them, fix warning formatting and update testsuites.
2011-11-18	Detection of callback-spec discrepancies	Stavros Aronis

2011-11-18	Allow none() as return value in callbacks	Stavros Aronis

2011-11-18	Behaviour callback discrepancy detection for Dialyzer	Stavros Aronis

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