Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-06-08 | Update to work with space in include path | Lukas Larsson | |
OTP-10109 | |||
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson | |
OTP-10106 OTP-10107 | |||
2012-05-31 | Merge branch 'sa/dialyzer-parallel' into maint | Henrik Nord | |
* sa/dialyzer-parallel: (54 commits) Logfile-like statistics (enabled with --resources) Anonymous SCCtoPID ETS table Anonymous time server Regulate all kinds of running workers up to the number of schedulers Relocate start and stop of timing server Better names for callgaph ETS tables Remove needless conversion Fix types and specs Inline a function in dialyzer_worker Remove unused function Change --time to --statistics and include more info Better reflect side-effect based code in dialyzer_callgraph Code simplifications (tidier) More efficient calculation of module deps and postorder Solve big SCC constraints in parallel Coordinator is no longer a separate process All spawns are now spawn_links Fix race in coordinator Typesig and dataflow analyses no longer use ticket regulation Plain concatenation for typesig not-fixpoint list ... OTP-10103 | |||
2012-05-31 | Merge branch 'gustav/compile/docs-file-macro-option2' into maint | Gustav Simonsson | |
* gustav/compile/docs-file-macro-option2: Add type info for compile:file/1,2 macro option | |||
2012-05-31 | Add type info for compile:file/1,2 macro option | Gustav Simonsson | |
2012-05-31 | Merge branch 'gustav/os_mon/disksup_call_timeout/OTP-10100' into maint | Gustav Simonsson | |
* gustav/os_mon/disksup_call_timeout/OTP-10100: Add infinity timeout to os_mon calls | |||
2012-05-30 | Merge branch 'lukas/fix_windows_release_tests/OTP-10099' into maint | Lukas Larsson | |
* lukas/fix_windows_release_tests/OTP-10099: Fix compilation of examples and tc names on windows Create erl.ini for host emulator | |||
2012-05-30 | Merge branch 'lukas/kernel/sendfile_fallback_fix/OTP-10098' into maint | Lukas Larsson | |
* lukas/kernel/sendfile_fallback_fix/OTP-10098: Fix chunk usage check | |||
2012-05-30 | Fix chunk usage check | Lukas Larsson | |
2012-05-25 | Merge branch 'sverk/valgrind-async-thr-suppression' into maint | Sverker Eriksson | |
* sverk/valgrind-async-thr-suppression: erts: Add valgrind suppression for async thread bound data | |||
2012-05-25 | Correct valgrind suppression for putenv | Sverker Eriksson | |
2012-05-23 | Merge branch 'raimo/tools/remove-fprof-tuple-funs/OTP-10091' into maint | Raimo Niskanen | |
* raimo/tools/remove-fprof-tuple-funs/OTP-10091: tools: Bump version tools: Remove usage of tuple funs in fprof | |||
2012-05-23 | Fix compilation of examples and tc names on windows | Lukas Larsson | |
2012-05-23 | Merge branch 'lukas/kernel/fix-gen_udp_tcp-leak/OTP-10094' into maint | Lukas Larsson | |
* lukas/kernel/fix-gen_udp_tcp-leak/OTP-10094: Add testcase for controlling_process(P,self()) Fix port leaking after controlling_process(Port, self()) | |||
2012-05-23 | Create erl.ini for host emulator | Lukas Larsson | |
2012-05-21 | Add infinity timeout to os_mon calls | Gustav Simonsson | |
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 | |