aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
2012-05-21Infinity timeout for coordinator callsStavros Aronis
2012-05-21Worker PIDs are stored in an ETS tableStavros Aronis
2012-05-21Coordinator translates functions requiring further analysisStavros Aronis
2012-05-21Remove data prefetchingStavros Aronis
2012-05-21Fix specsStavros Aronis
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 06:22:03 +0000