aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
2012-05-21Refactorings in succ_typingsStavros Aronis
2012-05-21Moving code between callgraph & dataflowStavros Aronis
2012-05-21Parallel typesig analysisStavros Aronis
2012-05-21Success typing analysis uses ETS tables for necessary plt infoStavros Aronis
Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables.
2012-05-21Convert remaining codeserver fields to ETS tablesStavros Aronis
2012-05-21Replace Dialyzer's hand-made codeserver with an ets tableStavros Aronis
2012-05-21Simplify typesig postorder calculationStavros 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-21Flatten order of dataflow analysesStavros Aronis
Dataflow analysis was structured to find SCCs of modules, without making any use of the information that these were indeed SCCs.
2012-05-21Refactoring in pltStavros Aronis
2012-05-15Improve the nice 'badarith' message displayed by the shellHans Bolinder
2012-05-11Merge branch 'bjorn/test-cases' into maintBjö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-11Merge branch 'ia/ssh/remote-connetion-id/OTP-10062' into maintIngela 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-11Merge branch 'ia/ssl/doc-improvment' into maintIngela Anderton Andin
* ia/ssl/doc-improvment: Improved explanation of depth option
2012-05-09Merge branch 'dgud/observer/bug-fixes/OTP-10075' into maintDan 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-08Merge branch 'sa/dialyzer-contract-variables' into maintHenrik 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 pidDan Gudmundsson
2012-05-04Remove race in gen_tcp_misc_SUITE:otp_9389Patrik Nyblom
2012-05-04The 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-03ts: Recognize Windows 7Björn Gustavsson
2012-05-03Merge branch 'sverk/cross_tests/OTP-10074' into maintLukas 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-02Fix include issues in when building testsLukas Larsson
2012-05-02Fix cross compile of testcasesLukas Larsson
2012-05-02Update cross build system for tests to workLukas 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-27erl_docgen: Do not overflow images for pdf doc genBjörn-Egil Dahlberg
2012-04-27kernel: Fix missing documentation link anchorsBjörn-Egil Dahlberg
2012-04-27megaco: Fix parallel make for behavioursBjörn-Egil Dahlberg
2012-04-27inets: Fix parallel make for behavioursBjörn-Egil Dahlberg
2012-04-27ssh: Fix parallel make for behavioursBjörn-Egil Dahlberg
2012-04-27eunit: Fix parallel make for behavioursBjörn-Egil Dahlberg
2012-04-27ssl: Fix parallel make for behavioursBjörn-Egil Dahlberg
2012-04-27wx: configure.in needs AC_LANG_SOURCEBjörn-Egil Dahlberg
2012-04-27gs: Suppress ignored result warningBjörn-Egil Dahlberg
* The whole 'handle_external_read' seems suspicious Keep original behaviour and just suppress
2012-04-27Merge branch 'maint-r15' into maintLars Thorsen
* maint-r15: Update release notes Fix continuation bug in parse_default_decl_1/2
2012-04-27[observer] Fix scrollbars in app-viewerDan Gudmundsson
2012-04-27[observer] Allow bifs when selecting functions for traceDan Gudmundsson
Sigh (currently) bifs are not included in: Mod:module_info(functions) only in Mod:module_info(exports). Erlang compiler bug?
2012-04-27[observer] Fix gui-crash when table_copies couldn't be spawnedDan Gudmundsson
2012-04-27[observer] Fix dead processesDan Gudmundsson
Again sigh
2012-04-27[observer] Ask epmd for local nodesDan Gudmundsson
Default menus include other erlang nodes on the local node
2012-04-25Update release notesErlang/OTP
2012-04-25Improved explanation of depth optionIngela Anderton Andin
2012-04-24Correct handling of type names in contractsStavros Aronis
Variables in contracts can either be true type variables or simply names for types thet are defined in the 'when' clauses. Consider the following example: -spec foo(X, Options) -> {ok, X} | error when Options :: [{atom(), boolean()}]. Here X is a true variable whereas Options is a name for a type that is defined in the when clause. 'when' clauses may further use names on the right side. These were not treated properly by Dialyzer and could be generalized to the term() type. This patch fixes this issue. A further issue is the treatment of true type variables, but this is left for another patch.
2012-04-24Don't rewrite unchanged PLTStavros Aronis
2012-04-24Fix crash related to contract checkingStavros Aronis
When "collapsing" heads of list elements from a list's tail into the list's head the new head can be different.
2012-04-24Merge branch 'ia/ssh/options-check-OTP-10061' into maintIngela Anderton Andin
* ia/ssh/options-check-OTP-10061: Corrected ssh option handling
2012-04-24Corrected ssh option handlingIngela Anderton Andin
The option ip_v6_disabled and the undocumented option exec was incorrectly handled by the option checking code. There where two options for allowing user interaction one documented and one undocumented, they where merge to to be the documented one. For backwards compatibility the undocumented one is transformed to the documented one in the option checking code.
2012-04-24Merge branch 'ia/ssh/close/OTP-10060' into maintIngela Anderton Andin
* ia/ssh/close/OTP-10060: Avoid sending two ssh close messages
2012-04-23[observer] Remove appmon ref when node goes downDan Gudmundsson
2012-04-23Fix continuation bug in parse_default_decl_1/2Lars Thorsen
2012-04-20Revert vsn.mk for crypto and private_keySverker Eriksson
Included them by "mistake".
2012-04-20Merge branch 'sverk/crypto-rsa-key-opt' into maintSverker Eriksson
* sverk/crypto-rsa-key-opt: public_key: Use optimized RSA private key handling crypto: Optimize RSA private key handling crypto: Remove unnecessary dependency to libssl OTP-10064 OTP-10065
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 08:25:13 +0000