aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2012-05-21Add read_concurrency option to some ETS tablesStavros Aronis
2012-05-21Avoid digraph_utils:condensation and ordering in typesigStavros Aronis
2012-05-21Simplify behaviour checking codeStavros Aronis
2012-05-21Add better timing labelsStavros Aronis
2012-05-21Parallel warning generationStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-05-21Fix a spec in pltStavros Aronis
2012-05-21Keep mini plt for warnings passStavros Aronis
2012-05-21Fix typer crashesStavros Aronis
2012-05-21Fix types and specs in DialyzerStavros Aronis
2012-05-21Parallel compilation of files under analysisStavros Aronis
2012-05-21Callgraph is ets based from the startStavros Aronis
2012-05-21Parallel dataflowStavros Aronis
2012-05-21Generalize coordinator and workerStavros Aronis
2012-05-21Prepare for parallel dataflowStavros Aronis
2012-05-21Separate race related fields of callgraphStavros Aronis
2012-05-21Remove unused race detection related codeStavros Aronis
2012-05-21Simplification in dataflowStavros Aronis
2012-05-21Refactorings in succ_typingsStavros Aronis
2012-05-21Moving code between callgraph & dataflowStavros Aronis
2012-05-21Parallel typesig analysisStavros Aronis
2012-05-21Allow more runtime flags and increase default process limitStavros 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-21Merge branch 'maint'Siri Hansen
2012-05-21Merge 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-16tools: Bump versionRaimo Niskanen
2012-05-16tools: Remove usage of tuple funs in fprofRaimo Niskanen
2012-05-16Merge branch 'maint'Siri Hansen
2012-05-16Merge branch 'siri/wx/edoc-deps' into maintSiri 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 detailsSiri Hansen
2012-05-15Merge branch 'maint'Hans Bolinder
* maint: Improve the nice 'badarith' message displayed by the shell
2012-05-15Merge branch 'hb/stdlib/correct_pretty_error/OTP-10054' into maintHans Bolinder
* hb/stdlib/correct_pretty_error/OTP-10054: Improve the nice 'badarith' message displayed by the shell
2012-05-15Improve the nice 'badarith' message displayed by the shellHans Bolinder
2012-05-14[wx] Add dependencies to .erl when generating edoc xmlsSiri Hansen
2012-05-11kernel: Disable hipe compilation for hipe_unified_loaderSverker Eriksson
Workaround for crash in code_server.
2012-05-11Merge 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-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 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-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 'maint'Dan Gudmundsson
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 'maint'Henrik Nord
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-08 14:59:44 +0000