aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_callgraph.erl
AgeCommit message (Expand)Author
2017-02-03dialyzer: Do not spawn all workers at onceHans Bolinder
2017-02-03dialyzer: Sort graphs topologicallyHans Bolinder
2017-02-03dialyzer: Check return value of digrahp:add_edge()Hans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Reduce ETS usage during the typesig phaseHans Bolinder
2017-01-11dialyzer: Optimize graph condensationHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-01-26Split race_data_server out of dialyzer_callgraphLuca Favatella
2016-01-26Clarify that dialyzer_callgraph:callgraph() type is opaqueLuca Favatella
2015-12-28Merge branch 'maint'Zandra
2015-10-27Teach Dialyzer call to funs `M:F/A` (literal M, F, A)Luca Favatella
2015-10-09Update DialyzerHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2013-12-12Support non top level letrecs in dialyzerJosé Valim
2013-02-22Update copyright yearsBjörn-Egil Dahlberg
2013-02-19Simplify a case construct using a boolean operatorKostis Sagonas
2012-05-21Regulate all kinds of running workers up to the number of schedulersStavros Aronis
2012-05-21Better names for callgaph ETS tablesStavros Aronis
2012-05-21Remove needless conversionStavros Aronis
2012-05-21Fix types and specsStavros Aronis
2012-05-21Better reflect side-effect based code in dialyzer_callgraphStavros Aronis
2012-05-21Code simplifications (tidier)Kostis Sagonas
2012-05-21More efficient calculation of module deps and postorderStavros Aronis
2012-05-21All spawns are now spawn_linksStavros 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-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-21Separate race related fields of callgraphStavros Aronis
2012-05-21Remove unused race detection related codeStavros Aronis
2012-05-21Moving code between callgraph & dataflowStavros Aronis
2012-05-21Parallel typesig analysisStavros Aronis
2012-05-21Simplify typesig postorder calculationStavros Aronis
2012-05-21Flatten order of dataflow analysesStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-02-22Review by Kostis Sagonas and fixesStavros Aronis
2012-02-22Cleanups in dialyzer_callgraph and dialyzer_dataflowStavros Aronis
2010-06-03Support -export_type() in dialyzer and erl_typesKostis Sagonas
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-16dialyzer: Fix system_limit exception in race analysisKostis Sagonas
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 23:44:27 +0000