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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Change license text to APLv2
Bruce Yinhe
2015-06-18
150
-1354
/
+1505
*
dialyzer: Modify warning for comparison of opaque types
Hans Bolinder
2015-06-15
5
-8
/
+79
*
dialyzer: Modify the handling of parametrized opaque types
Hans Bolinder
2015-06-15
5
-5
/
+257
*
dialyzer: Fix a bug in the expansion of forms
Hans Bolinder
2015-06-15
4
-1
/
+849
*
dialyzer: Document dialyzer:gui() option 'check_plt'
Hans Bolinder
2015-05-20
1
-8
/
+77
*
Merge branch 'aronisstav/dialyzer-inv-mult'
Zandra Hird
2015-05-08
1
-0
/
+15
|
\
|
*
Fix a bug related to constraints generated for erlang:'*'/2
Stavros Aronis
2015-05-05
1
-0
/
+15
*
|
dialyzer: Strengthen maps tests
Björn-Egil Dahlberg
2015-04-30
2
-0
/
+35
|
/
*
dialyzer: Add new option 'unknown'
Hans Bolinder
2015-04-27
7
-7
/
+7
*
dialyzer: Add new option 'no_missing_calls'
Hans Bolinder
2015-04-27
1
-0
/
+17
*
dialyzer: Move a testcase to plt_SUITE
Hans Bolinder
2015-04-02
2
-40
/
+31
*
dialyzer: Update the PLT properly when a module is changed
Hans Bolinder
2015-04-01
1
-3
/
+61
*
[dialyzer] Add testcases
Hans Bolinder
2015-03-10
3
-0
/
+1100
*
[dialyzer] Fix the conversion of forms to types
Hans Bolinder
2015-03-10
2
-20
/
+28
*
[dialyzer] Fix a bug concerning map() types
Hans Bolinder
2015-02-12
1
-0
/
+23
|
\
|
*
[dialyzer] Fix a bug concerning map() types
Hans Bolinder
2015-02-10
1
-0
/
+23
|
*
dialyzer: Test recoalesced map keys
Björn-Egil Dahlberg
2014-12-01
1
-0
/
+36
*
|
dialyzer: Introduce module local suppression of warnings
Hans Bolinder
2015-01-14
9
-0
/
+171
*
|
Merge branch 'maint'
Hans Bolinder
2014-11-25
2
-0
/
+12
|
\
\
|
|
/
|
*
dialyzer: correct record updates
Hans Bolinder
2014-11-24
2
-0
/
+12
*
|
Update dialyzer test with maps in supervisor properties
Siri Hansen
2014-11-06
2
-2
/
+2
*
|
Merge branch 'maint'
Henrik Nord
2014-09-09
1
-2
/
+37
|
\
\
|
|
/
|
*
Merge branch 'fishcakez/dialyzer_beam_opts' into maint
Henrik Nord
2014-09-09
1
-2
/
+37
|
|
\
|
|
*
Use compile options when dialyzing beam files
James Fish
2014-07-16
1
-2
/
+37
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-08-21
2
-0
/
+30
|
\
\
\
|
|
/
/
|
*
|
dialyzer, hipe: Fix a bug concerning is_record/2,3
Hans Bolinder
2014-08-21
2
-0
/
+30
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-08-21
2
-0
/
+45
|
\
\
\
|
|
/
/
|
*
|
dialyzer: fix a -Wunderspecs bug
Hans Bolinder
2014-08-20
2
-0
/
+45
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-06-30
2
-0
/
+11
|
\
\
\
|
|
/
/
|
*
|
hipe: Correct pretty-printing of bitstrings
Hans Bolinder
2014-06-26
2
-0
/
+11
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-06-17
15
-28
/
+151
|
\
\
\
|
|
/
/
|
*
|
[dialyzer] Fix handling of literal records
Hans Bolinder
2014-06-17
15
-28
/
+151
|
|
/
*
|
Merge branch 'maint'
Björn-Egil Dahlberg
2014-05-26
2
-0
/
+14
|
\
\
|
|
/
|
*
Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint
Björn-Egil Dahlberg
2014-05-26
2
-0
/
+14
|
|
\
|
|
*
dialyzer: Add Maps type mismatch test
Björn-Egil Dahlberg
2014-04-29
2
-0
/
+14
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-05-26
1
-0
/
+17
|
\
\
\
|
|
/
/
|
*
|
hipe: fix a bug concerning typed record fields
Hans Bolinder
2014-05-23
1
-0
/
+17
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-05-13
1
-0
/
+11
|
\
\
\
|
|
/
/
|
*
|
hipe: fix a bug concerning typed record fields
Hans Bolinder
2014-05-13
1
-0
/
+11
|
|
/
*
|
Remove pre-defined types dict(), digraph(), &c
Hans Bolinder
2014-05-05
1
-56
/
+0
*
|
Introduce the attribute -optional_callbacks in the context of behaviours
Hans Bolinder
2014-04-28
3
-0
/
+27
|
/
*
hipe, dialyzer: Fix a bug concerning opaque types
Hans Bolinder
2014-04-17
7
-0
/
+746
*
Dialyzer now plays nicely with funs that come as "external" arguments
Stavros Aronis
2014-03-28
2
-0
/
+90
*
Merge branch 'aronisstav/hipe/opaque_fix'
Hans Bolinder
2014-03-26
3
-0
/
+15
|
\
|
*
Don't 'opaque-decorate' a success typing using an incompatible spec
Stavros Aronis
2014-03-24
3
-0
/
+15
*
|
stdlib: warn if the type map() is redefined
Hans Bolinder
2014-03-24
1
-0
/
+12
*
|
dialyzer: generalize guard constraints in a new way
Hans Bolinder
2014-03-21
4
-28
/
+101
*
|
Introduce a new warning option, 'no_unknown'
Hans Bolinder
2014-03-20
7
-7
/
+7
|
/
*
Remove "coding: utf-8" from test files
Siri Hansen
2014-03-17
1
-1
/
+1
*
Improve message about deprecated built-in types
Hans Bolinder
2014-03-04
1
-2
/
+2
[next]
