Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 typer crashes | 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 | |
2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis | |
Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables. | |||
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis | |
2012-05-21 | Replace Dialyzer's hand-made codeserver with an ets table | Stavros Aronis | |
2012-05-21 | Simplify typesig postorder calculation | Stavros Aronis | |
As the storing in the codeserver is organized per function there is no need for fancy code to make use of the old caching capabilities. | |||
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis | |
Dataflow analysis was structured to find SCCs of modules, without making any use of the information that these were indeed SCCs. | |||
2012-05-21 | Refactoring in plt | Stavros Aronis | |
2012-05-21 | Merge branch 'maint' | Siri Hansen | |
2012-05-21 | Merge branch ↵ | Siri Hansen | |
'siri/crashdump_viewer/crash-when-hash-in-module-name/OTP-10090' into maint * siri/crashdump_viewer/crash-when-hash-in-module-name/OTP-10090: [crashdump_viewer] URL encode module names in link to loaded module details | |||
2012-05-17 | Fix typo error in selected decode function | Artem Teslenko | |
2012-05-16 | tools: Bump version | Raimo Niskanen | |
2012-05-16 | tools: Remove usage of tuple funs in fprof | Raimo Niskanen | |
2012-05-16 | Merge branch 'maint' | Siri Hansen | |
2012-05-16 | Merge branch 'siri/wx/edoc-deps' into maint | Siri Hansen | |
* siri/wx/edoc-deps: [wx] Add dependencies to .erl when generating edoc xmls | |||
2012-05-16 | [crashdump_viewer] URL encode module names in link to loaded module details | Siri Hansen | |
2012-05-15 | Merge branch 'maint' | Hans Bolinder | |
* maint: Improve the nice 'badarith' message displayed by the shell | |||
2012-05-15 | Improve the nice 'badarith' message displayed by the shell | Hans Bolinder | |
2012-05-15 | Allow non configlist returns from other cths | Lukas Larsson | |
2012-05-14 | [wx] Add dependencies to .erl when generating edoc xmls | Siri Hansen | |
2012-05-11 | kernel: Disable hipe compilation for hipe_unified_loader | Sverker Eriksson | |
Workaround for crash in code_server. | |||
2012-05-11 | Merge branch 'maint' | Björn Gustavsson | |
* maint: ts: Recognize Windows 7 otp_SUITE: Ignore calls to dialyzer if the entire application is missing otp_SUITE: Remove broken filtering of megaco calls | |||
2012-05-11 | Merge branch 'bjorn/test-cases' into maint | Björn Gustavsson | |
* bjorn/test-cases: ts: Recognize Windows 7 otp_SUITE: Ignore calls to dialyzer if the entire application is missing otp_SUITE: Remove broken filtering of megaco calls | |||
2012-05-11 | Merge remote branch 'upstream/maint' | Ingela Anderton Andin | |
* upstream/maint: The channel id in a channel failure message, sent to the peer, is now in all cases the remote channel id Improved explanation of depth option | |||
2012-05-11 | Merge branch 'ia/ssh/remote-connetion-id/OTP-10062' into maint | Ingela Anderton Andin | |
* ia/ssh/remote-connetion-id/OTP-10062: The channel id in a channel failure message, sent to the peer, is now in all cases the remote channel id | |||
2012-05-11 | Merge branch 'ia/ssl/doc-improvment' into maint | Ingela Anderton Andin | |
* ia/ssl/doc-improvment: Improved explanation of depth option | |||
2012-05-10 | Remove stale code for hybrid heap and incremental GC | Björn Gustavsson | |
The hybrid heap emulator was last working in the non-SMP R11B run-time system. When the constant pools were introduced in R12B, the hybrid heap emulator was not updated to handle them. At this point, the harm from reduced readability of the code is greater than any potential usefulness of keeping the code. | |||
2012-05-10 | Remove support for erlang:system_info(global_heaps_size) | Björn Gustavsson | |
2012-05-10 | Remove workarounds for hybrid and shared heaps in test suites | Björn Gustavsson | |