Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-06-18 | Change license text to APLv2 | Bruce Yinhe | |
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 | |