summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/opaque_SUITE_data
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Remove quotes around operatorsHans Bolinder2019-05-071-1/+1
* dialyzer: Add test cases with indentationHans Bolinder2019-05-071-1/+1
* dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder2019-04-292-6/+6
* dialyzer: Fix pretty printing of binariesHans Bolinder2019-04-081-2/+2
* dialyzer: Fix maps as parameter of opaque typesHans Bolinder2019-02-213-0/+24
* Merge branch 'maint'Hans Bolinder2018-02-232-0/+28
|\
| * dialyzer: Correct a parameterized opaque types bugHans Bolinder2018-02-212-0/+28
* | dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder2018-02-051-5/+5
|/
* Merge branch 'maint'Hans Bolinder2017-03-064-0/+57
|\
| * dialyzer: Improve a warningHans Bolinder2017-02-281-2/+2
| * dialyzer: Fix a weird warningHans Bolinder2017-02-282-0/+22
| * dialyzer: Fix an opaque bugHans Bolinder2017-02-283-0/+35
* | Fixed typos in lib/dialyzerAndrew Dryga2017-02-141-1/+1
* | Merge branch 'maint'Hans Bolinder2017-02-031-1/+1
|\ \ | |/
| * dialyzer: Increase time limit for testsHans Bolinder2017-02-011-1/+1
| * Update copyright-yearErlang/OTP2016-12-072-2/+2
* | Correct copyright and license on dialyzer filesRichard Carlsson2016-11-238-56/+0
|/
* dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder2016-11-2221-81/+81
* dialyzer: Improve a warning messageHans Bolinder2016-11-222-3/+3
* dialyzer: Correct a warnings messageHans Bolinder2016-11-221-1/+1
* dialyzer: Fix opaque bugHans Bolinder2016-10-063-3/+222
* dialyzer: Fix opaque bugsHans Bolinder2016-10-067-1/+16942
* dialyzer: Increase time limit of suitesHans Bolinder2016-08-311-0/+1
* update copyright-yearHenrik Nord2016-03-152-2/+2
* dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis2016-02-011-2/+2
* dialyzer: Correct a test caseHans Bolinder2016-01-201-1/+2
* Take out automatic insertion of 'undefined' from typed record fieldsKostis Sagonas2015-10-082-6/+6
* dialyzer: Add a testcaseHans Bolinder2015-09-095-0/+4521
* dialyzer: Optimize expansion of parameters of opaque typesHans Bolinder2015-08-252-0/+1049
* dialyzer: Fix a bug concerning parameterized opaque typesHans Bolinder2015-08-192-0/+32
* fix errors caused by changed line numbersBruce Yinhe2015-06-221-1/+0
* Change license text to APLv2Bruce Yinhe2015-06-182-19/+21
* dialyzer: Modify warning for comparison of opaque typesHans Bolinder2015-06-155-8/+79
* dialyzer: Modify the handling of parametrized opaque typesHans Bolinder2015-06-155-5/+257
* dialyzer: Fix a bug in the expansion of formsHans Bolinder2015-06-153-0/+848
* dialyzer: Add new option 'unknown'Hans Bolinder2015-04-271-1/+1
* dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder2014-08-211-0/+10
* [dialyzer] Fix handling of literal recordsHans Bolinder2014-06-174-17/+68
* Introduce a new warning option, 'no_unknown'Hans Bolinder2014-03-201-1/+1
* Remove "coding: utf-8" from test filesSiri Hansen2014-03-171-1/+1
* Deprecate pre-defined built-in typesHans Bolinder2014-02-2327-60/+501
* [dialyzer] Re-work the handling of opaque typesHans Bolinder2014-01-2129-13/+3342
* Bug fixes and improvements of dialyzer_typesigHans Bolinder2012-06-011-0/+1
* Allow t_opaque_structure to handle multiple opaque typesStavros Aronis2012-02-222-0/+10
* Change category of 'might also return' warningsStavros Aronis2011-10-141-1/+0
* Add opaque/ewgi,ewgi2Stavros Aronis2011-05-047-0/+707
* Add opaque/schuett_bugStavros Aronis2011-05-041-0/+28
* Update opaque/zoltan_kis* sourcesStavros Aronis2011-05-044-8/+7
* Rename suite data directoriesStavros Aronis2011-05-0460-0/+2832
View Lorry Controller Status