Age | Commit message (Expand) | Author |
2012-09-26 | Remove old untested experimental extension | Stavros Aronis |
2012-09-26 | Respect {plt_check,false} option when using dialyzer:run/1 | Stavros Aronis |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-09-03 | Prepare releaseOTP_R15B02 | Erlang/OTP |
2012-08-31 | Update copyright years | Björn-Egil Dahlberg |
2012-08-24 | Stop a forgotten server process | Kostis Sagonas |
2012-08-24 | Changes to fix warnings identified by running dialyzer -Wunmatched_returns | Kostis Sagonas |
2012-08-21 | Fix a bug in dialyzer_dataflow | Hans Bolinder |
2012-08-21 | Add an undocumented option [--solver [v1 | v2]] | Hans Bolinder |
2012-08-21 | Add an alternative implmentation of the typesignature solver | Hans Bolinder |
2012-06-08 | Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maint | Lukas Larsson |
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
2012-05-21 | Logfile-like statistics (enabled with --resources) | Stavros Aronis |
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 | Relocate start and stop of timing server | Stavros Aronis |
2012-05-21 | Better names for callgaph ETS tables | Stavros Aronis |
2012-05-21 | Remove needless conversion | Stavros Aronis |
2012-05-21 | Fix types and specs | Stavros Aronis |
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 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 |