aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2012-05-21Typesig and dataflow analyses no longer use ticket regulationStavros Aronis
2012-05-21Plain concatenation for typesig not-fixpoint listStavros Aronis
2012-05-21Ticket-based regulation of memory consumptionStavros Aronis
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-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 ↵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 '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 '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-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-10Remove stale code for hybrid heap and incremental GCBjörn Gustavsson
The hybrid heap emulator was last working in the non-SMP R11B run-time system. When the constant pools were introduced in R12B, the hybrid heap emulator was not updated to handle them. At this point, the harm from reduced readability of the code is greater than any potential usefulness of keeping the code.
2012-05-10Remove the hipe_bifs:show_message_area/0 BIFBjörn Gustavsson
2012-05-10Remove support for erlang:system_info(global_heaps_size)Björn Gustavsson
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-24 17:51:32 +0000