Age | Commit message (Expand) | Author |
2012-08-31 | Update copyright years | Björn-Egil Dahlberg |
2012-08-24 | Changes to fix warnings identified by running dialyzer -Wunmatched_returns | Kostis Sagonas |
2012-05-21 | Anonymous SCCtoPID ETS table | Stavros Aronis |
2012-05-21 | Anonymous time server | Stavros Aronis |
2012-05-21 | Regulate all kinds of running workers up to the number of schedulers | Stavros Aronis |
2012-05-21 | Fix types and specs | 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 | 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 | 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 |