aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
2012-05-21Solve big SCC constraints in parallelStavros Aronis
2012-05-21Coordinator is no longer a separate processStavros Aronis
2012-05-21All spawns are now spawn_linksStavros Aronis
2012-05-21Fix race in coordinatorStavros Aronis
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-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-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.
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-24 04:26:47 +0000