summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_behaviours.erl
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Fix unsound behaviour subtype checksTom Davies2022-09-061-17/+17
* Dialyzer: Fix checking of behavioursBjörn Gustavsson2022-07-041-65/+74
* dialyzer: Track type & behaviour dependenciesTom Davies2021-12-141-3/+5
* dialyzer: Substitute Anno for LineHans Bolinder2021-01-261-14/+14
* dialyzer: Assign better start locations to messagesHans Bolinder2021-01-261-10/+3
* dialyzer: Use column numbers in messagesHans Bolinder2021-01-261-5/+10
* dialyzer: Make minimal adjustments for column numbersHans Bolinder2021-01-261-0/+1
* Merge branch 'maint'Hans Bolinder2017-01-121-5/+8
|\
| * dialyzer: Compact 'file' annotations in Core codeHans Bolinder2017-01-111-5/+8
* | Correct copyright and license on dialyzer filesRichard Carlsson2016-11-231-7/+0
|/
* update copyright-yearHenrik Nord2016-03-151-1/+1
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* dialyzer: Introduce module local suppression of warningsHans Bolinder2015-01-141-9/+9
* Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder2014-04-281-3/+7
* Deprecate pre-defined built-in typesHans Bolinder2014-02-231-3/+5
* Update copyright yearsBjörn-Egil Dahlberg2013-02-221-1/+1
* Code simplifications + take out obsolete noteKostis Sagonas2013-02-191-21/+14
* Remove old untested experimental extensionStavros Aronis2012-09-261-104/+2
* Better reflect side-effect based code in dialyzer_callgraphStavros Aronis2012-05-211-2/+2
* Simplify behaviour checking codeStavros Aronis2012-05-211-11/+8
* Keep mini plt for warnings passStavros Aronis2012-05-211-2/+3
* Update copyright yearsBjörn-Egil Dahlberg2012-03-301-1/+1
* Review by Kostis Sagonas and fixesStavros Aronis2012-02-221-2/+2
* Support alternative spelling of behaviourStavros Aronis2012-02-221-3/+5
* Update copyright yearsBjörn-Egil Dahlberg2011-12-091-1/+1
* Refine warning about callback specs with extra rangesStavros Aronis2011-12-011-4/+6
* Fix bug in Dialyzer's behaviours analysisStavros Aronis2011-12-011-2/+5
* Wrap up behaviours patch for DialyzerStavros Aronis2011-11-181-12/+35
* Detection of callback-spec discrepanciesStavros Aronis2011-11-181-18/+40
* Allow none() as return value in callbacksStavros Aronis2011-11-181-5/+10
* Behaviour callback discrepancy detection for DialyzerStavros Aronis2011-11-181-185/+106
* Various changes to dialyzer-related files for R14.Kostis Sagonas2010-06-081-20/+43
* Support -export_type() in dialyzer and erl_typesKostis Sagonas2010-06-031-5/+8
* Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP2010-02-171-1/+1
* dialyzer: New version for the R13B04 releaseKostis Sagonas2010-02-141-0/+324
View Lorry Controller Status