Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson | |
OTP-10106 OTP-10107 | |||
2012-06-02 | Merge branch 'maint' | Hans Bolinder | |
* maint: Bug fixes and improvements of dialyzer_typesig | |||
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder | |
1. Sometimes the solver forgot that a list had entered the error state. The bug has been fixed by storing the atom 'error' in MapDict. An example where the bug occurred is io_lib_pretty:printable_bin(). The returned spec was weaker than it should have been, but the fix-point loop hid the bug (in this case). 2. lists:partition() has been substituted for lists:splitwith() in enumerate_constraints(). This fix together with 3. solves a problem with long execution times for deeply nested fun:s. An example which is now much faster is lib/compiler/test/lc_SUITE:deeply_nested/1 (included as dialyzer/test/small_SUITE_data/src/deep_lc.erl). 3. The calculation of components in enumerate_constraints() has been simplified and optimized. The important thing here is that _all_ of the simple constraints have been saturated before entering the complex part. 4. The pretty printing of constraints has been improved. | |||
2012-05-31 | Merge branch 'maint' | Henrik Nord | |
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 | |
The final version of the callgraph needs not be "reduced" for more efficient copying. | |||
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 | |
2012-05-21 | Parallel dataflow | Stavros Aronis | |
2012-05-21 | Generalize coordinator and worker | Stavros Aronis | |
2012-05-21 | Prepare for parallel dataflow | Stavros Aronis | |
2012-05-21 | Separate race related fields of callgraph | Stavros Aronis | |
2012-05-21 | Remove unused race detection related code | Stavros Aronis | |
2012-05-21 | Simplification in dataflow | Stavros Aronis | |
2012-05-21 | Refactorings in succ_typings | Stavros Aronis | |
2012-05-21 | Moving code between callgraph & dataflow | Stavros Aronis | |
2012-05-21 | Parallel typesig analysis | Stavros Aronis | |