Age | Commit message (Expand) | Author |
---|---|---|
2012-05-21 | Inline a function in dialyzer_worker | Stavros Aronis |
2012-05-21 | Code simplifications (tidier) | Kostis Sagonas |
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 | Typesig and dataflow analyses no longer use ticket regulation | Stavros Aronis |
2012-05-21 | Ticket-based regulation of memory consumption | Stavros Aronis |
2012-05-21 | Worker PIDs are stored in an ETS table | Stavros Aronis |
2012-05-21 | Remove data prefetching | Stavros Aronis |
2012-05-21 | Avoid digraph_utils:condensation and ordering in typesig | 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 |