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