Age | Commit message (Expand) | Author |
---|---|---|
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 |