Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | Allow more runtime flags and increase default process limit | 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-15 | Merge branch 'hb/stdlib/correct_pretty_error/OTP-10054' into maint | Hans Bolinder | |
* hb/stdlib/correct_pretty_error/OTP-10054: 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-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 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-09 | Merge branch 'dgud/observer/bug-fixes/OTP-10075' into maint | Dan Gudmundsson | |
* dgud/observer/bug-fixes/OTP-10075: [observer] Add more popup menus and info selected pid [observer] Fix scrollbars in app-viewer [observer] Allow bifs when selecting functions for trace [observer] Fix gui-crash when table_copies couldn't be spawned [observer] Fix dead processes [observer] Ask epmd for local nodes [observer] Remove appmon ref when node goes down | |||
2012-05-08 | Merge branch 'sa/dialyzer-contract-variables' into maint | Henrik Nord | |
* sa/dialyzer-contract-variables: Correct handling of type names in contracts Don't rewrite unchanged PLT Fix crash related to contract checking OTP-10083 | |||
2012-05-08 | [observer] Add more popup menus and info selected pid | Dan Gudmundsson | |
2012-05-04 | Merge branch 'pan/active_once/OTP-10055' into maint | Patrik Nyblom | |
* pan/active_once/OTP-10055: Remove race in gen_tcp_misc_SUITE:otp_9389 gen_tcp: Make setopts(S,[{active,once}]) try a read | |||
2012-05-04 | Remove race in gen_tcp_misc_SUITE:otp_9389 | Patrik Nyblom | |
2012-05-04 | gen_tcp: Make setopts(S,[{active,once}]) try a read | Patrik Nyblom | |
This significantly reduces latency for tcp servers with high load, as we need not go into poll to get the next message. Maximum throughput may increase between 4 to 6 times compared to R15B. | |||
2012-05-04 | The channel id in a channel failure message, sent to the peer, is now in all ↵ | Ingela Anderton Andin | |
cases the remote channel id | |||
2012-05-03 | ts: Recognize Windows 7 | Björn Gustavsson | |
2012-05-03 | Merge branch 'sverk/cross_tests/OTP-10074' into maint | Lukas Larsson | |
* sverk/cross_tests/OTP-10074: Fix include issues in when building tests Fix cross compile of testcases Update cross build system for tests to work | |||
2012-05-02 | Merge branch 'egil/fix-run_erl/OTP-10076' into maint | Björn-Egil Dahlberg | |
* egil/fix-run_erl/OTP-10076: run_erl: Set controlling terminal run_erl: Use openpty slave descriptor run_erl: Retry interrupted system calls | |||
2012-05-02 | otp_SUITE: Ignore calls to dialyzer if the entire application is missing | Björn Gustavsson | |
2012-05-02 | otp_SUITE: Remove broken filtering of megaco calls | Björn Gustavsson | |
The call to the megaco_filter/1 function is broken. It will cause a badmatch if the megaco_filter/1 would return a different list than its argument. Since the test case has not failed, megaco_filter/1 has no effect and can be removed. | |||
2012-05-02 | otp_SUITE: Prefix MFAs with the application they belong to | Björn Gustavsson | |
2012-05-02 | Fix include issues in when building tests | Lukas Larsson | |
2012-05-02 | Fix cross compile of testcases | Lukas Larsson | |
2012-05-02 | Update cross build system for tests to work | Lukas Larsson | |
ts has been fixed to again work in a cross build environment. See ts:help() and xcomp/README.md for details about how it works. | |||
2012-04-30 | Merge branch 'egil/fix-port-io-statistics/OTP-10073' into maint | Björn-Egil Dahlberg | |
* egil/fix-port-io-statistics/OTP-10073: erts: Add port-I/O statistics for active once/true |