Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 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 | Implement support for returning valid exit status from ct_run | Peter Andersson | |
Also change the return value of the ct:run_test/1 function. OTP-9865 OTP-10087 | |||
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 |