otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
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.
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
	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