index
:
delta/erlang.git
HansN-patch-1
HansN/common_test/rephrase_ct_prop_test_doc
IngelaAndin-httpc-typo
KennethL-patch-1
KennethL/erl_docgen/erlref_update
baserock/morph
baserock/ps/proto-web-system
baserock/ps/try-erlang
bjorn/contributing
bjorn/contributing-1
bjorn/work
bmk/kernel/20200514/sctp_and_udp_recv_hangs_on_close/OTP-16654
dgud-string-depr
dgud/stdlib/gen-async-call
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
kenneth/asn1_paramtype/OTP-17227
klarna/mnesia_ext
kuba/ssl/doc_typeos_using_ssl
lukas/erts/win32-read_file_info-links
lukas/kernel/docs-assert
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-23
maint-24
maint-25
maint-26
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
master-pu
meta
pu
sverker-erts-alloc-doc-fix
sverker-ets-doc-1
sverker-ets-patch-1
sverker/doc-fix-billion
sverker/enif_open_resource_type-doc
github.com: erlang/otp.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
dialyzer
/
test
Mode
Name
Size
-rw-r--r--
Makefile
1203
log
plain
-rw-r--r--
README
1483
log
plain
-rw-r--r--
abstract_SUITE.erl
3753
log
plain
d---------
behaviour_SUITE_data
108
log
plain
d---------
callgraph_SUITE_data
108
log
plain
-rw-r--r--
cplt_SUITE.erl
36879
log
plain
d---------
cplt_SUITE_data
41
log
plain
d---------
default_ignore_overlapping_contract_SUITE_data
108
log
plain
-rw-r--r--
dialyzer.cover
96
log
plain
-rw-r--r--
dialyzer.spec
35
log
plain
-rw-r--r--
dialyzer_SUITE.erl
8020
log
plain
-rw-r--r--
dialyzer_cl_SUITE.erl
5021
log
plain
d---------
dialyzer_cl_SUITE_data
161
log
plain
-rw-r--r--
dialyzer_common.erl
13747
log
plain
-rw-r--r--
dialyzer_test_constants.hrl
34
log
plain
-rw-r--r--
dialyzer_utils_SUITE.erl
1270
log
plain
-rw-r--r--
erl_types_SUITE.erl
14014
log
plain
d---------
extra_return_SUITE_data
108
log
plain
-rw-r--r--
file_utils.erl
4180
log
plain
-rw-r--r--
incremental_SUITE.erl
41861
log
plain
d---------
incremental_SUITE_data
280
log
plain
d---------
indent2_SUITE_data
108
log
plain
d---------
indent_SUITE_data
108
log
plain
-rw-r--r--
iplt_SUITE.erl
31295
log
plain
d---------
iplt_SUITE_data
41
log
plain
d---------
line_SUITE_data
108
log
plain
d---------
map_SUITE_data
108
log
plain
d---------
missing_return_SUITE_data
108
log
plain
d---------
nowarn_function_SUITE_data
108
log
plain
d---------
opaque_SUITE_data
108
log
plain
d---------
options1_SUITE_data
145
log
plain
d---------
options2_SUITE_data
108
log
plain
d---------
options3_SUITE_data
108
log
plain
d---------
overlapping_contract_SUITE_data
108
log
plain
d---------
overspecs_SUITE_data
108
log
plain
d---------
property_test
46
log
plain
d---------
r9c_SUITE_data
108
log
plain
d---------
small_SUITE_data
149
log
plain
d---------
specdiffs_SUITE_data
108
log
plain
-rw-r--r--
typer_SUITE.erl
8280
log
plain
d---------
underspecs_SUITE_data
108
log
plain
d---------
unmatched_returns_SUITE_data
108
log
plain
d---------
user_SUITE_data
108
log
plain