otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2017-02-03	dialyzer: Do not spawn all workers at once	Hans Bolinder
	Spawning all worker processes at once has the potential to increase peak memory consumption. Therefore the implementation is now slightly modified: `20 * dialyzer_utils:parallelism()' processes are running in parallel. 20 i quite a big factor, but seems necessary to keep all schedulers busy according to the Observer application's Load Charts, with a 100 ms update interval.
2017-02-03	dialyzer: Remove code for non-started workers	Hans Bolinder
	Since SCCs and modules are now topologically sorted (relative the active graph), we can safely assume that workers have been started.
2016-11-23	Correct copyright and license on dialyzer files	Richard Carlsson

2016-01-27	Clarify usage of coordinator by analysis_callgraph	Luca Favatella
	* Comment in dialyzer_analysis_callgraph what the call to dialyzer_coordinator does; * Delegate activation request to each dialyzer_worker; * There is no reason for the dialyzer_coordinator to request activation on behalf of the workers: let each worker request its own activation as it leads to more consistent dialyzer_worker module (activation is request as soon as status running is hit - reguardless of mode) and it reduces lines of code. * Clarify types in coordinator and worker e.g. make opaque and make type more strict.
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-08-24	Changes to fix warnings identified by running dialyzer -Wunmatched_returns	Kostis Sagonas

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	Fix types and specs	Stavros Aronis

2012-05-21	Remove unused function	Stavros Aronis

2012-05-21	Change --time to --statistics and include more info	Stavros Aronis

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	Fix race in coordinator	Stavros Aronis

2012-05-21	Typesig and dataflow analyses no longer use ticket regulation	Stavros Aronis

2012-05-21	Plain concatenation for typesig not-fixpoint list	Stavros Aronis

2012-05-21	Ticket-based regulation of memory consumption	Stavros Aronis

2012-05-21	Infinity timeout for coordinator calls	Stavros Aronis

2012-05-21	Worker PIDs are stored in an ETS table	Stavros Aronis

2012-05-21	Coordinator translates functions requiring further analysis	Stavros Aronis

2012-05-21	Fix specs	Stavros Aronis

2012-05-21	Avoid digraph_utils:condensation and ordering in typesig	Stavros Aronis

2012-05-21	Simplify behaviour checking code	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