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
*
Merge branch 'john/hipe/catch-miscompilation/OTP-15949' into maint
John Högberg
2019-07-08
1
-116
/
+0
|
\
|
*
dialyzer: Remove native code compilation
John Högberg
2019-07-05
1
-107
/
+0
*
|
Merge branch 'josevalim/dialyzer/formatting_fallback/OTP-15922/PR-2240/ERL-94...
Hans Bolinder
2019-06-27
1
-27
/
+21
|
\
\
|
*
|
Always fallback to source when we can't parse AST
José Valim
2019-06-25
1
-27
/
+21
*
|
|
Allow native compilation when calling Dialyzer from Erlang
Magnus Henoch
2019-06-12
4
-7
/
+24
|
/
/
*
|
dialyzer: Correct indentation of field warnings
Hans Bolinder
2019-06-04
1
-3
/
+3
|
/
*
dialyzer: Remove quotes around operators
Hans Bolinder
2019-05-07
1
-3
/
+3
*
dialyzer: Add an --no_indentation option
Hans Bolinder
2019-05-07
7
-138
/
+344
*
dialyzer: Fix dialyzer_dataflow:format_args_1()
Hans Bolinder
2019-04-29
1
-7
/
+8
*
dialyzer: Improve the warning tagged 'fun_app_args'
Hans Bolinder
2019-04-24
2
-3
/
+11
*
dialyzer: Fix pretty printing of binaries
Hans Bolinder
2019-04-08
1
-8
/
+57
*
HiPE: Don't fail the compilation for unimplemented instructions
Björn Gustavsson
2019-03-20
1
-1
/
+3
*
Merge branch 'maint'
Hans Bolinder
2019-02-19
3
-77
/
+98
|
\
|
*
dialyzer: Fix a bug regarding contracts
Hans Bolinder
2019-02-06
3
-77
/
+98
*
|
Introduce the no_spawn_compiler_process option
José Valim
2018-10-01
1
-1
/
+1
*
|
Change "can not" into "cannot"
Raimo Niskanen
2018-07-27
1
-1
/
+1
|
/
*
dialyzer: Refine the test for overspecified functions
Hans Bolinder
2018-05-25
3
-25
/
+80
*
dialyzer: Do not emit warnings for unreachable funs
Hans Bolinder
2018-05-13
1
-10
/
+34
*
Merge branch 'hasse/dialyzer/extra-range/OTP-14970'
Hans Bolinder
2018-03-13
1
-0
/
+4
|
\
|
*
Dialyzer should not throw away spec information because of overspec
Richard Carlsson
2018-02-20
1
-0
/
+4
*
|
Merge pull request #1719 from josevalim/jv-faster-dialyzer-md5
Hans Bolinder
2018-02-26
1
-9
/
+11
|
\
\
|
*
|
Compute MD5s in dialyzer using the .beam file
José Valim
2018-02-21
1
-9
/
+11
|
|
/
*
|
Merge branch 'maint'
Hans Bolinder
2018-02-23
1
-7
/
+7
|
\
\
|
|
/
|
/
|
|
*
dialyzer: Correct a parameterized opaque types bug
Hans Bolinder
2018-02-21
1
-7
/
+7
*
|
Merge branch 'maint'
Hans Bolinder
2018-02-15
1
-0
/
+7
|
\
\
|
|
/
|
*
dialyzer: Fix a crash
Hans Bolinder
2018-02-14
1
-0
/
+7
*
|
Merge branch 'hasse/no_get_stacktrace/OTP-14861'
Hans Bolinder
2018-02-07
3
-7
/
+6
|
\
\
|
*
|
dialyzer: Do not call erlang:get_stacktrace()
Hans Bolinder
2018-02-05
3
-7
/
+6
*
|
|
dialyzer: Assign a type to the primop build_stacktrace
Hans Bolinder
2018-02-06
2
-2
/
+6
|
/
/
*
|
Merge branch 'maint'
Hans Bolinder
2018-01-23
1
-1
/
+4
|
\
\
|
|
/
|
*
dialyzer: Optimize handling of a lot of warnings
Hans Bolinder
2018-01-22
1
-1
/
+4
*
|
Add syntax in try/catch to retrieve the stacktrace directly
Björn Gustavsson
2017-11-30
2
-0
/
+2
*
|
Merge branch 'maint'
Hans Bolinder
2017-11-28
1
-5
/
+7
|
\
\
|
|
/
|
*
dialyzer: Extend the map implementation's handling of ?unit
Hans Bolinder
2017-11-22
1
-5
/
+7
*
|
Merge branch 'maint'
Hans Bolinder
2017-11-14
1
-1
/
+5
|
\
\
|
|
/
|
*
dialyzer: Display error messages without call stack
Hans Bolinder
2017-11-10
1
-1
/
+5
*
|
Merge branch 'maint'
Dan Gudmundsson
2017-09-20
1
-2
/
+2
|
\
\
|
|
/
|
*
Update runtime deps to depend on new stdlib functionality
Dan Gudmundsson
2017-09-19
1
-2
/
+2
*
|
Merge branch 'siri/string-new-api'
Siri Hansen
2017-09-15
3
-38
/
+34
|
\
\
|
*
|
dialyzer: Do not use deprecated functions in string(3)
Hans Bolinder
2017-07-06
3
-38
/
+34
*
|
|
Merge branch 'maint'
Hans Bolinder
2017-09-15
2
-12
/
+15
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
dialyzer: Improve check of unknown types
Hans Bolinder
2017-09-15
2
-12
/
+15
*
|
|
Merge branch 'maint'
Hans Bolinder
2017-09-12
1
-3
/
+7
|
\
\
\
|
|
/
/
|
*
|
dialyzer: Do not fix ETS tables when merging PLTs
Hans Bolinder
2017-09-12
1
-3
/
+7
*
|
|
Merge branch 'maint'
Siri Hansen
2017-09-07
4
-18
/
+19
|
\
\
\
|
|
/
/
|
*
|
dialyzer: Improve handling of Unicode
Hans Bolinder
2017-09-05
4
-18
/
+19
*
|
|
Merge branch 'maint'
Henrik Nord
2017-08-25
1
-0
/
+1
|
\
\
\
|
|
/
/
|
|
/
|
|
/
|
/
|
|
*
dialyzer: Fix a bug where merging PLT:s could lose info
Hans Bolinder
2017-08-24
1
-0
/
+1
*
|
No longer support OTP 19 beam files in Dialyzer
José Valim
2017-07-04
1
-84
/
+2
|
/
*
dialyzer: Run more of analyses in subprocess
Hans Bolinder
2017-06-13
1
-38
/
+44
[next]
