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
/
src
/
dialyzer_worker.erl
Age
Commit message (
Expand
)
Author
2017-02-03
dialyzer: Remove code for non-started workers
Hans Bolinder
2016-11-23
Correct copyright and license on dialyzer files
Richard Carlsson
2016-01-27
Clarify usage of coordinator by analysis_callgraph
Luca Favatella
2016-01-27
Reflect more init-loop OTP pattern in dialyzer_worker
Luca Favatella
2016-01-27
Delete dead sequential code in dialyzer_worker
Luca Favatella
2015-10-09
Fix errors in dialyzer_{coordinator,worker} specs
Stavros Aronis
2015-06-18
Change license text to APLv2
Bruce Yinhe
2012-08-31
Update copyright years
Björn-Egil Dahlberg
2012-05-21
Anonymous SCCtoPID ETS table
Stavros Aronis
2012-05-21
Regulate all kinds of running workers up to the number of schedulers
Stavros Aronis
2012-05-21
Inline a function in dialyzer_worker
Stavros Aronis
2012-05-21
Code simplifications (tidier)
Kostis Sagonas
2012-05-21
Coordinator is no longer a separate process
Stavros Aronis
2012-05-21
All spawns are now spawn_links
Stavros Aronis
2012-05-21
Typesig and dataflow analyses no longer use ticket regulation
Stavros Aronis
2012-05-21
Ticket-based regulation of memory consumption
Stavros Aronis
2012-05-21
Worker PIDs are stored in an ETS table
Stavros Aronis
2012-05-21
Remove data prefetching
Stavros Aronis
2012-05-21
Avoid digraph_utils:condensation and ordering in typesig
Stavros Aronis
2012-05-21
Parallel warning generation
Stavros Aronis
2012-05-21
Fix types and specs in Dialyzer
Stavros Aronis
2012-05-21
Parallel compilation of files under analysis
Stavros Aronis
2012-05-21
Parallel dataflow
Stavros Aronis
2012-05-21
Generalize coordinator and worker
Stavros Aronis