Age | Commit message (Expand) | Author |
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 |
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-15 | Merge branch 'hb/stdlib/correct_pretty_error/OTP-10054' into maint | Hans Bolinder |
2012-05-15 | Improve the nice 'badarith' message displayed by the shell | Hans Bolinder |
2012-05-11 | Merge branch 'bjorn/test-cases' into maint | Björn Gustavsson |
2012-05-11 | Merge branch 'ia/ssh/remote-connetion-id/OTP-10062' into maint | Ingela Anderton Andin |