summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_contracts.erl
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Improve a warning messageHans Bolinder2016-11-221-6/+29
* dialyzer: Remove a check that always failsHans Bolinder2016-08-311-11/+1
* dialyzer: Use a cache when translating forms to typesHans Bolinder2016-06-091-64/+97
* Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop.Hans Bolinder2016-06-081-4/+7
* Declare the erl_types:var_table() type as opaqueKostis Sagonas2016-05-041-7/+9
* dialyzer: Use maps instead of dictHans Bolinder2016-05-041-24/+27
* dialyzer_contracts: Consider #{} a violationMagnus Lång2016-04-281-12/+29
* Refactor usage of opaques() typeLuca Favatella2016-01-261-3/+2
* dialyzer: Print constraints using the '::' syntaxHans Bolinder2015-12-151-6/+12
* dialyzer: Generalize an argument of erl_types:t_from_form()Hans Bolinder2015-08-251-50/+52
* dialyzer: Use the recently added orddict:orddict/2 typeHans Bolinder2015-08-181-1/+1
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* dialyzer: Fix a bug in the expansion of formsHans Bolinder2015-06-151-6/+15
* [dialyzer] Fix the conversion of forms to typesHans Bolinder2015-03-101-41/+39
* dialyzer: Introduce module local suppression of warningsHans Bolinder2015-01-141-21/+24
* Merge branch 'maint'Hans Bolinder2014-08-211-4/+3
|\
| * dialyzer: fix a -Wunderspecs bugHans Bolinder2014-08-201-4/+3
* | Merge branch 'maint'Hans Bolinder2014-05-131-8/+1
|\ \ | |/
| * hipe: fix a bug concerning typed record fieldsHans Bolinder2014-05-131-8/+1
* | Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder2014-04-281-9/+11
|/
* dialyzer: generalize guard constraints in a new wayHans Bolinder2014-03-211-5/+73
* Deprecate pre-defined built-in typesHans Bolinder2014-02-231-6/+16
* Introduce parameterized opaque typesHans Bolinder2014-02-221-2/+4
* [dialyzer] Re-work the handling of opaque typesHans Bolinder2014-01-211-35/+55
* Update copyright yearsBjörn-Egil Dahlberg2013-06-121-1/+1
* Include module, function and arity in Dialyzer's "overlapping domain" warningsMagnus Henoch2013-03-061-0/+5
* Report spec discrepancy on mismatching listsStavros Aronis2012-12-201-3/+24
* Update copyright yearsBjörn-Egil Dahlberg2012-08-311-1/+1
* Correct handling of type names in contractsStavros Aronis2012-04-241-16/+63
* Update copyright yearsBjörn-Egil Dahlberg2011-12-091-1/+1
* Add file/line info in a particular Dialyzer crashStavros Aronis2011-11-301-9/+18
* No warnings for underspecs with remote typesStavros Aronis2011-11-301-15/+95
* Store callbacks in codeserver and PLTStavros Aronis2011-11-181-2/+5
* Change category of 'might also return' warningsStavros Aronis2011-10-141-1/+1
* dialyzer: Speed up analysis of nested list comprehensionsKostis Sagonas2010-11-091-13/+16
* Various changes to dialyzer-related files for R14.Kostis Sagonas2010-06-081-38/+38
* Support -export_type() in dialyzer and erl_typesKostis Sagonas2010-06-031-11/+17
* Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP2010-02-171-9/+37
|\
| * dialyzer: New version for the R13B04 releaseKostis Sagonas2010-02-141-4/+32
|/
* The R13B03 release.OTP_R13B03Erlang/OTP2009-11-201-0/+492
View Lorry Controller Status