index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
dialyzer
Age
Commit message (
Expand
)
Author
2013-01-23
Remove pubsub and comm_layer tests from testsuite
Stavros Aronis
2013-01-23
Properly support functions with arbitrary arity in type specs.
Stavros Aronis
2013-01-22
Merge branch 'lh/forget-mnemosyne/OTP-10729'
Fredrik Gustafsson
2013-01-18
Merge branch 'nox/enable-silent-rules/OTP-10726'
Björn-Egil Dahlberg
2013-01-16
Remove what remains of the Mnemosyne code
Loïc Hoguin
2013-01-15
Implement ./otp_build configure --enable-silent-rules
Anthony Ramine
2013-01-15
Merge branch 'sa/dialyzer-record-field-type/OTP-10681'
Fredrik Gustafsson
2013-01-11
small_SUITE: Update warnings for port functions
Björn Gustavsson
2013-01-11
Cope with removed support for packages
Björn Gustavsson
2013-01-11
mnesia: Update dialyzer warning
Björn Gustavsson
2013-01-09
Prepare OTP files for Unicode as default encoding
Hans Bolinder
2013-01-09
Fix some FOP warnings
Hans Bolinder
2012-11-27
Merge tag 'OTP_R15B03'
Björn-Egil Dahlberg
2012-11-26
Prepare release
OTP_R15B03
Erlang/OTP
2012-11-23
Update copyright years
Björn-Egil Dahlberg
2012-11-17
Fix precision of record creation violation warnings
Stavros Aronis
2012-10-10
Change the type of some arguments in filename to file:name()
Hans Bolinder
2012-10-03
Merge branch 'maint'
Henrik Nord
2012-09-26
Fix a crash in race condition detection
Stavros Aronis
2012-09-26
Remove old untested experimental extension
Stavros Aronis
2012-09-26
Respect {plt_check,false} option when using dialyzer:run/1
Stavros Aronis
2012-09-26
Fix handling of tuple set remote types appearing in tuple sets
Stavros Aronis
2012-09-24
dialyzer: Do not output warnings for unused funs
Hans Bolinder
2012-09-04
Merge tag 'OTP_R15B02'
Björn-Egil Dahlberg
2012-09-03
Prepare release
OTP_R15B02
Erlang/OTP
2012-08-31
Merge branch 'maint'
Björn-Egil Dahlberg
2012-08-31
Update copyright years
Björn-Egil Dahlberg
2012-08-28
Merge branch 'maint'
Fredrik Gustafsson
2012-08-24
Stop a forgotten server process
Kostis Sagonas
2012-08-24
Changes to fix warnings identified by running dialyzer -Wunmatched_returns
Kostis Sagonas
2012-08-21
Merge branch 'maint'
Hans Bolinder
2012-08-21
Fix a bug in dialyzer_dataflow
Hans Bolinder
2012-08-21
Merge branch 'maint'
Hans Bolinder
2012-08-21
Add an undocumented option [--solver [v1 | v2]]
Hans Bolinder
2012-08-21
Add an alternative implmentation of the typesignature solver
Hans Bolinder
2012-06-08
Merge branch 'maint'
Lukas Larsson
2012-06-08
Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maint
Lukas Larsson
2012-06-05
Update to work with whitespace in exec path
Lukas Larsson
2012-06-02
Merge branch 'maint'
Hans Bolinder
2012-06-01
Bug fixes and improvements of dialyzer_typesig
Hans Bolinder
2012-05-31
Merge branch 'maint'
Henrik Nord
2012-05-21
Logfile-like statistics (enabled with --resources)
Stavros Aronis
2012-05-21
Anonymous SCCtoPID ETS table
Stavros Aronis
2012-05-21
Anonymous time server
Stavros Aronis
2012-05-21
Regulate all kinds of running workers up to the number of schedulers
Stavros Aronis
2012-05-21
Relocate start and stop of timing server
Stavros Aronis
2012-05-21
Better names for callgaph ETS tables
Stavros Aronis
2012-05-21
Remove needless conversion
Stavros Aronis
2012-05-21
Fix types and specs
Stavros Aronis
2012-05-21
Inline a function in dialyzer_worker
Stavros Aronis
[next]