summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Fix opaque bugHans Bolinder2016-10-063-3/+222
* dialyzer: Fix opaque bugsHans Bolinder2016-10-067-1/+16942
* Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in...Hans Bolinder2016-09-121-0/+13
|\
| * erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång2016-09-071-0/+13
* | dialyzer: Increase time limit of suitesHans Bolinder2016-08-312-0/+2
* | dialyzer: Suppress warns on generated case stmtsMagnus Lång2016-07-043-3/+111
|/
* erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång2016-06-282-0/+12
* Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'Hans Bolinder2016-06-101-0/+11
|\
| * dialyzer: Suppress unmatched_return for send/2Hans Bolinder2016-06-091-0/+11
* | Remove support for '...' in Maps typesHans Bolinder2016-06-096-7/+7
|/
* Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092'Hans Bolinder2016-06-094-3/+32
|\
| * Fix a bug in Dialyzer related to call-site analysisStavros Aronis2016-06-084-3/+32
* | Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop.Hans Bolinder2016-06-081-0/+17
|/
* dialyzer: Fix a bug in the translation of forms to typesHans Bolinder2016-04-296-0/+4530
* erl_types: Don't consider opaque keys singletonMagnus Lång2016-04-281-4/+0
* erl_types: Fix t_subtract/2 correctness bugMagnus Lång2016-04-282-8/+6
* erl_types: Fix crash merging maps with opaque keysMagnus Lång2016-04-283-0/+187
* dialyzer: Fix another pattern literal bugMagnus Lång2016-04-281-1/+50
* dialyzer: Improve map pattern typesettingMagnus Lång2016-04-285-19/+19
* dialyzer_contracts: Consider #{} a violationMagnus Lång2016-04-282-0/+32
* dialyzer_typesig: Fix simplification bugMagnus Lång2016-04-281-1/+0
* dialyzer_dataflow: Fix try in guardsMagnus Lång2016-04-281-3/+0
* dialyzer: Unfold cerl patterns containing mapsMagnus Lång2016-04-287-25/+24
* dialyzer_dataflow: Add map supportMagnus Lång2016-04-2817-1/+2985
* dialyzer_typesig: Add map supportMagnus Lång2016-04-2826-6/+417
* Enhance map specs in erts, stdlib, runtime_toolsMagnus Lång2016-04-281-1/+1
* erl_bif_types: Add a selection of maps BIFsMagnus Lång2016-04-282-1/+2
* erl_types: Add a map type representationMagnus Lång2016-04-284-4/+8
* stdlib: Fix warningsHans Bolinder2016-04-191-12/+0
* update copyright-yearHenrik Nord2016-03-153-3/+3
* Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson2016-02-171-1/+1
* Merge branch 'maint'Hans Bolinder2016-02-102-90/+194
|\
| * dialyzer: Correct byte_size() and comparisonsHans Bolinder2016-02-092-90/+194
* | Merge branch 'maint'Hans Bolinder2016-02-081-4/+39
|\ \ | |/
| * dialyzer: Fix a bug concerning the option 'plt_remove'Hans Bolinder2016-02-081-4/+39
* | Merge branch 'maint'Zandra2016-02-021-1/+57
|\ \ | |/
| * Merge branch 'aronisstav/dialyzer-missing-callback-info' into maintZandra2016-02-021-1/+57
| |\
| | * Fix inadvertent deletion of callback infoStavros Aronis2016-01-111-1/+57
* | | dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis2016-02-015-6/+6
* | | dialyzer: Correct a test caseHans Bolinder2016-01-201-1/+2
* | | Merge branch 'maint'Björn-Egil Dahlberg2016-01-182-0/+16
|\ \ \ | |/ /
| * | dialyzer: Update Maps testsBjörn-Egil Dahlberg2016-01-142-0/+16
| |/
* | Merge branch 'maint'Zandra2015-12-282-0/+3
|\ \ | |/
| * Teach Dialyzer call to funs `M:F/A` (literal M, F, A)Luca Favatella2015-10-272-0/+3
* | dialyzer: Print constraints using the '::' syntaxHans Bolinder2015-12-155-22/+22
* | hipe/dialyzer: Remove functions from erl_bif_typesHans Bolinder2015-10-303-0/+31
* | Merge branch 'maint'Henrik Nord2015-10-272-0/+162
|\ \ | |/
| * Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maintHenrik Nord2015-10-272-0/+162
| |\
| | * Teach Dialyzer arity of funs with literal arityLuca Favatella2015-07-112-0/+162
* | | Update DialyzerHans Bolinder2015-10-091-2/+0
View Lorry Controller Status