aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_worker.erl
AgeCommit message (Expand)Author
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