aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_analysis_callgraph.erl
AgeCommit message (Expand)Author
2017-01-11dialyzer: Compact 'file' annotations in Core codeHans Bolinder
2017-01-11dialyzer: Try to reduce memory usageHans Bolinder
2017-01-11dialyzer: Optimize memory consumptionHans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2016-10-21dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder
2016-02-02Merge branch 'maint'Zandra
2016-01-27Clarify usage of coordinator by analysis_callgraphLuca Favatella
2016-01-26Clarify computation of exported types in DialyzerLuca Favatella
2016-01-26Refactor dialyzer_analysis_callgraphLuca Favatella
2016-01-11Eliminate ugly case statementsStavros Aronis
2016-01-11Remove dead code related to missing behaviour infoStavros Aronis
2015-10-27Teach Dialyzer call to funs `M:F/A` (literal M, F, A)Luca Favatella
2015-08-25dialyzer: Correct the timing of the phase called 'remote'Hans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-04-27dialyzer: Add new option 'no_missing_calls'Hans Bolinder
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
2014-07-16Use compile options when dialyzing beam filesJames Fish
2014-03-28Report wall clock time instead of runtime when crashingKostis Sagonas
2014-02-24Merge branch 'hb/dialyzer/fix_on_load/OTP-11743'Hans Bolinder
2014-02-24FIx handling of 'on_load' attributeHans Bolinder
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2013-06-12Update copyright yearsBjörn-Egil Dahlberg
2013-04-10Merge branch 'sa/dialyzer-bitstring-fixes/OTP-11027' into maintFredrik Gustafsson
2013-04-08Fix notification for duplicate modulesStavros Aronis
2013-03-26Improve Dialyzer output for scan errorsMagnus Henoch
2012-09-26Remove old untested experimental extensionStavros Aronis
2012-08-24Stop a forgotten server processKostis Sagonas
2012-08-24Changes to fix warnings identified by running dialyzer -Wunmatched_returnsKostis Sagonas
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Relocate start and stop of timing serverStavros Aronis
2012-05-21Fix types and specsStavros Aronis
2012-05-21Coordinator is no longer a separate processStavros Aronis
2012-05-21Add better timing labelsStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-05-21Fix types and specs in DialyzerStavros Aronis
2012-05-21Parallel compilation of files under analysisStavros Aronis
2012-05-21Parallel typesig analysisStavros Aronis
2012-05-21Convert remaining codeserver fields to ETS tablesStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-03-26Report only actual unknown types otherwise no message is sentStavros Aronis
2012-03-14Ensure that -on_load functions are not reported as unusedStavros Aronis
2012-02-22Simplify external vs bad calls checkStavros Aronis
2012-02-22Remove redundant codeStavros Aronis
2012-02-22Refactorings in dialyzer_analysis_callgraphStavros Aronis
2011-12-22Handle nowarn_unused_function like the compiler doesHans Bolinder
2011-12-09Update copyright yearsBjörn-Egil Dahlberg
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis
2011-11-18Store callbacks in codeserver and PLTStavros Aronis
2011-11-18Collect callback definitions during compilationStavros Aronis
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 22:37:01 +0000