otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
2012-05-21	Better names for callgaph ETS tables	Stavros Aronis
2012-05-21	Remove needless conversion	Stavros Aronis
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 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	Success typing analysis uses ETS tables for necessary plt info	Stavros Aronis
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
2012-05-21	Flatten order of dataflow analyses	Stavros Aronis
2012-05-21	Refactoring in plt	Stavros Aronis
2012-05-08	Merge branch 'maint'	Henrik Nord
2012-05-08	Merge branch 'sa/dialyzer-contract-variables' into maint	Henrik Nord
2012-04-24	Correct handling of type names in contracts	Stavros Aronis