diff options
| author | Hans Bolinder <[email protected]> | 2017-02-06 08:25:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-02-06 08:25:58 +0100 |
| commit | 7bd17af1b0adacc16fe2651283bd5006cfba4a00 (patch) | |
| tree | e7dcfc329611851724f8c268360d5421c27f0f62 /lib/kernel/src | |
| parent | e53e74c5349061857d8eeb9c564768e54446012a (diff) | |
| parent | d8daf680e803b97869dcffe84798f728fc4918a6 (diff) | |
| download | otp-7bd17af1b0adacc16fe2651283bd5006cfba4a00.tar.gz otp-7bd17af1b0adacc16fe2651283bd5006cfba4a00.tar.bz2 otp-7bd17af1b0adacc16fe2651283bd5006cfba4a00.zip | |
Merge branch 'hasse/dialyzer/memory_opt/OTP-14127'
* hasse/dialyzer/memory_opt/OTP-14127:
dialyzer: Attempt to reduce memory consumption
dialyzer: Do not spawn all workers at once
dialyzer: Write PLT in subprocess
dialyzer: Remove code for non-started workers
dialyzer: Sort graphs topologically
dialyzer: Compress some PLT tables
dialyzer: Check return value of digrahp:add_edge()
dialyzer: Use less memory for the PLT when analyzing
typer: Fix a bug regarding the -T option
dialyzer: Do not keep the code server's type info on the heap
Diffstat (limited to 'lib/kernel/src')
0 files changed, 0 insertions, 0 deletions