otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
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	Relocate start and stop of timing server	Stavros Aronis

2012-05-21	Better names for callgaph ETS tables	Stavros Aronis

2012-05-21	Remove needless conversion	Stavros Aronis
	The final version of the callgraph needs not be "reduced" for more efficient copying.
2012-05-21	Fix types and specs	Stavros Aronis

2012-05-21	Inline a function in dialyzer_worker	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	Better reflect side-effect based code in dialyzer_callgraph	Stavros Aronis

2012-05-21	Code simplifications (tidier)	Kostis Sagonas

2012-05-21	More efficient calculation of module deps and postorder	Stavros Aronis

2012-05-21	Solve big SCC constraints in parallel	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	Remove data prefetching	Stavros Aronis

2012-05-21	Fix specs	Stavros Aronis

2012-05-21	Add read_concurrency option to some ETS tables	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	Add better timing labels	Stavros Aronis

2012-05-21	Parallel warning generation	Stavros Aronis

2012-05-21	Add --time option to Dialyzer	Stavros Aronis

2012-05-21	Fix a spec in plt	Stavros Aronis

2012-05-21	Keep mini plt for warnings pass	Stavros Aronis

2012-05-21	Fix typer crashes	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	Callgraph is ets based from the start	Stavros Aronis

2012-05-21	Parallel dataflow	Stavros Aronis

2012-05-21	Generalize coordinator and worker	Stavros Aronis

2012-05-21	Prepare for parallel dataflow	Stavros Aronis

2012-05-21	Separate race related fields of callgraph	Stavros Aronis

2012-05-21	Remove unused race detection related code	Stavros Aronis

2012-05-21	Simplification in dataflow	Stavros Aronis

2012-05-21	Refactorings in succ_typings	Stavros Aronis

2012-05-21	Moving code between callgraph & dataflow	Stavros Aronis

2012-05-21	Parallel typesig analysis	Stavros Aronis

2012-05-21	Allow more runtime flags and increase default process limit	Stavros Aronis

2012-05-21	Success typing analysis uses ETS tables for necessary plt info	Stavros Aronis
	Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables.
2012-05-21	Convert remaining codeserver fields to ETS tables	Stavros Aronis

2012-05-21	Replace Dialyzer's hand-made codeserver with an ets table	Stavros Aronis

2012-05-21	Simplify typesig postorder calculation	Stavros Aronis
	As the storing in the codeserver is organized per function there is no need for fancy code to make use of the old caching capabilities.