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
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
dialyzer: Expand opaque types before other types
Hans Bolinder
2015-06-18
1
-11
/
+31
*
dialyzer: Simplify some code
Hans Bolinder
2015-06-15
1
-41
/
+15
*
dialyzer: Fix a bug in the expansion of forms
Hans Bolinder
2015-06-15
2
-41
/
+102
*
Merge branch 'legoscia/dialyzer/cache-hipe-binaries/OTP-12779'
Björn Gustavsson
2015-05-29
2
-8
/
+66
|
\
|
*
Dialyzer to cache results of HiPE compilation
Magnus Henoch
2015-05-28
2
-8
/
+66
*
|
Update runtime_dependencies in application resource files
Hans Bolinder
2015-05-25
1
-2
/
+2
|
/
*
dialyzer: Document dialyzer:gui() option 'check_plt'
Hans Bolinder
2015-05-20
1
-20
/
+19
*
Fix a bug related to constraints generated for erlang:'*'/2
Stavros Aronis
2015-05-05
1
-4
/
+4
*
dialyzer: Use module erl_anno
Hans Bolinder
2015-04-30
1
-3
/
+4
*
dialyzer: Add new option 'unknown'
Hans Bolinder
2015-04-27
3
-27
/
+29
*
dialyzer: Add new option 'no_missing_calls'
Hans Bolinder
2015-04-27
3
-4
/
+8
*
dialyzer: Update the PLT properly when a module is changed
Hans Bolinder
2015-04-01
1
-2
/
+2
*
Merge branch 'rickard/time_api/OTP-11997'
Rickard Green
2015-03-20
2
-6
/
+6
|
\
|
*
Replace usage of erlang:now() with usage of new API
Rickard Green
2015-03-20
2
-6
/
+6
*
|
Merge branch 'maint'
Björn-Egil Dahlberg
2015-03-18
1
-0
/
+1
|
\
\
|
*
|
dialyzer: Add missing clause for map in find_terminals
Björn-Egil Dahlberg
2015-03-17
1
-0
/
+1
|
|
/
*
|
[dialyzer] Correct handling of limited opaque types
Hans Bolinder
2015-03-10
1
-7
/
+13
*
|
[dialyzer] Fix the conversion of forms to types
Hans Bolinder
2015-03-10
4
-97
/
+105
*
|
dialyzer: Introduce module local suppression of warnings
Hans Bolinder
2015-01-14
13
-214
/
+493
*
|
dialyzer: remove recognition of the compiler option 'asm'
Hans Bolinder
2014-10-21
1
-1
/
+0
*
|
Merge branch 'maint'
Hans Bolinder
2014-10-10
1
-16
/
+13
|
\
\
|
|
/
|
*
dialyzer: do a minor re-factoring
Hans Bolinder
2014-10-08
1
-16
/
+11
|
*
dialyzer: Ignore ERL_COMPILER_OPTIONS when compiling
Hans Bolinder
2014-10-08
1
-2
/
+2
|
*
dialyzer: fix bug concerning compiler option 'warnings_as_errors'
Hans Bolinder
2014-10-08
1
-0
/
+2
*
|
Merge branch 'maint'
Henrik Nord
2014-09-09
2
-2
/
+52
|
\
\
|
|
/
|
*
Merge branch 'fishcakez/dialyzer_beam_opts' into maint
Henrik Nord
2014-09-09
2
-2
/
+52
|
|
\
|
|
*
Use compile options when dialyzing beam files
James Fish
2014-07-16
2
-2
/
+52
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-08-21
1
-4
/
+14
|
\
\
\
|
|
/
/
|
*
|
dialyzer, hipe: Fix a bug concerning is_record/2,3
Hans Bolinder
2014-08-21
1
-4
/
+14
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-08-21
1
-4
/
+3
|
\
\
\
|
|
/
/
|
*
|
dialyzer: fix a -Wunderspecs bug
Hans Bolinder
2014-08-20
1
-4
/
+3
*
|
|
Merge branch 'maint'
Hans Bolinder
2014-06-17
4
-157
/
+125
|
\
\
\
|
|
/
/
|
*
|
[dialyzer] Use the option 'dialyzer' to control the compiler
Hans Bolinder
2014-06-17
1
-3
/
+1
|
*
|
[dialyzer] Fix handling of literal records
Hans Bolinder
2014-06-17
4
-157
/
+127
|
|
/
*
|
Merge branch 'maint'
Hans Bolinder
2014-06-03
1
-5
/
+8
|
\
\
|
|
/
|
*
[dialyzer] Correct docs about options
Hans Bolinder
2014-06-03
1
-5
/
+8
*
|
Merge branch 'maint'
Hans Bolinder
2014-05-13
1
-8
/
+1
|
\
\
|
|
/
|
*
hipe: fix a bug concerning typed record fields
Hans Bolinder
2014-05-13
1
-8
/
+1
*
|
Remove pre-defined types dict(), digraph(), &c
Hans Bolinder
2014-05-05
2
-6
/
+2
*
|
Introduce the attribute -optional_callbacks in the context of behaviours
Hans Bolinder
2014-04-28
6
-32
/
+56
|
/
*
Correct the name of a compiler option and fix the corresponding warnings
Kostis Sagonas
2014-04-10
3
-30
/
+19
*
Merge branch 'ks/hipe-is_map-support/OTP-11831'
Björn-Egil Dahlberg
2014-03-31
1
-3
/
+1
|
\
|
*
Reinstate native code compilation of cerl and erl_types
Kostis Sagonas
2014-03-28
1
-3
/
+1
*
|
Report wall clock time instead of runtime when crashing
Kostis Sagonas
2014-03-28
1
-5
/
+5
|
/
*
Dialyzer now plays nicely with funs that come as "external" arguments
Stavros Aronis
2014-03-28
2
-24
/
+33
*
Correct some type declarations
Kostis Sagonas
2014-03-24
1
-3
/
+9
*
Use the ordsets:ordset(T) type instead of defining a local one
Kostis Sagonas
2014-03-24
4
-13
/
+6
*
dialyzer: generalize guard constraints in a new way
Hans Bolinder
2014-03-21
1
-5
/
+73
*
Introduce runtime_dependencies in .app files
Rickard Green
2014-03-20
1
-1
/
+4
*
Introduce a new warning option, 'no_unknown'
Hans Bolinder
2014-03-20
2
-10
/
+22
[next]
