aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
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 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
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
2012-05-21Flatten order of dataflow analysesStavros Aronis
2012-05-21Refactoring in pltStavros Aronis
2012-05-08Merge branch 'maint'Henrik Nord
2012-05-08Merge branch 'sa/dialyzer-contract-variables' into maintHenrik Nord
2012-04-24Correct handling of type names in contractsStavros Aronis
2012-04-24Don't rewrite unchanged PLTStavros Aronis
2012-04-24Fix crash related to contract checkingStavros Aronis
2012-04-18Merge branch 'maint'Patrik Nyblom
2012-04-18Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process"Patrik Nyblom
2012-04-17Correct documentation, erl_bif_types and dialyzer testsPatrik Nyblom
2012-04-17Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-04-03Merge commit 'OTP_R15B01'Björn-Egil Dahlberg
2012-04-01Prepare releaseOTP_R15B01Erlang/OTP
2012-03-30Merge branch 'maint'Björn-Egil Dahlberg
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 04:10:59 +0000