aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_worker.erl
AgeCommit message (Expand)Author
2017-02-03dialyzer: Do not spawn all workers at onceHans Bolinder
2017-02-03dialyzer: Remove code for non-started workersHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-01-27Clarify usage of coordinator by analysis_callgraphLuca Favatella
2016-01-27Reflect more init-loop OTP pattern in dialyzer_workerLuca Favatella
2016-01-27Delete dead sequential code in dialyzer_workerLuca Favatella
2015-10-09Fix errors in dialyzer_{coordinator,worker} specsStavros Aronis
2015-06-18Change license text to APLv2Bruce Yinhe
2012-08-31Update copyright yearsBjörn-Egil Dahlberg
2012-05-21Anonymous SCCtoPID ETS tableStavros Aronis
2012-05-21Regulate all kinds of running workers up to the number of schedulersStavros Aronis
2012-05-21Inline a function in dialyzer_workerStavros Aronis
2012-05-21Code simplifications (tidier)Kostis Sagonas
2012-05-21Coordinator is no longer a separate processStavros Aronis
2012-05-21All spawns are now spawn_linksStavros Aronis
2012-05-21Typesig and dataflow analyses no longer use ticket regulationStavros Aronis
2012-05-21Ticket-based regulation of memory consumptionStavros Aronis
2012-05-21Worker PIDs are stored in an ETS tableStavros Aronis
2012-05-21Remove data prefetchingStavros Aronis
2012-05-21Avoid digraph_utils:condensation and ordering in typesigStavros Aronis
2012-05-21Parallel warning generationStavros Aronis
2012-05-21Fix types and specs in DialyzerStavros Aronis
2012-05-21Parallel compilation of files under analysisStavros Aronis
2012-05-21Parallel dataflowStavros Aronis
2012-05-21Generalize coordinator and workerStavros Aronis
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 07:14:25 +0000