aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2017-02-03dialyzer: Attempt to reduce memory consumptionHans Bolinder
2017-02-03dialyzer: Do not spawn all workers at onceHans Bolinder
2017-02-03dialyzer: Write PLT in subprocessHans Bolinder
2017-02-03dialyzer: Remove code for non-started workersHans Bolinder
2017-02-03dialyzer: Sort graphs topologicallyHans Bolinder
2017-02-03dialyzer: Compress some PLT tablesHans Bolinder
2017-02-03dialyzer: Check return value of digrahp:add_edge()Hans Bolinder
2017-02-03dialyzer: Use less memory for the PLT when analyzingHans Bolinder
2017-02-03typer: Fix a bug regarding the -T optionHans Bolinder
2017-02-03dialyzer: Do not keep the code server's type info on the heapHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Optimize typesigHans Bolinder
2017-02-01dialyzer: Optimize evaluation of complex codeHans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Compact 'file' annotations in Core codeHans Bolinder
2017-01-11dialyzer: Try to reduce memory usageHans Bolinder
2017-01-11dialyzer: Use less memory when translating contractsHans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11dialyzer: Use maps instead of dict for module contracts mapHans Bolinder
2017-01-11dialyzer: Compress a few more ETS tablesHans Bolinder
2017-01-11dialyzer: Optimize memory consumptionHans Bolinder
2017-01-11dialyzer: Reduce memory consumption during 'remote' phaseHans Bolinder
2017-01-11dialyzer: Update code for finding parallelismHans Bolinder
2017-01-11dialyzer: Reduce ETS usage during the typesig phaseHans Bolinder
2017-01-11dialyzer: Optimize graph condensationHans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2016-12-07Update copyright-yearErlang/OTP
2016-11-23Update obsolete author e-mailsRichard Carlsson
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-11-23Merge branch 'maint'Hans Bolinder
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-11-22dialyzer: Improve a warning messageHans Bolinder
2016-11-22dialyzer: Correct a warnings messageHans Bolinder
2016-10-21Merge branch 'maint'Hans Bolinder
2016-10-21dialyzer: Fix error handling of bad -dialyzer() attributesHans Bolinder
2016-09-26Use @ in variable names generated by core and kernelJosé Valim
2016-08-31dialyzer: Remove a check that always failsHans Bolinder
2016-07-26Improve format_warning/1 specBrujo Benavides
2016-07-04dialyzer: Suppress warns on generated case stmtsMagnus Lång
2016-06-09dialyzer: Minor adjustmentsHans Bolinder
2016-06-09dialyzer: Suppress unmatched_return for send/2Hans Bolinder
2016-06-09dialyzer: Use a cache when translating forms to typesHans Bolinder
2016-06-09dialyzer: Correct typesHans Bolinder
2016-06-09Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092'Hans Bolinder
2016-06-08Fix a bug in Dialyzer related to call-site analysisStavros Aronis
2016-06-08Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop.Hans Bolinder
2016-05-16Merge branch 'kostis/dialyzer/opaque_type/OTP-13586/PR-1047'Hans Bolinder
2016-05-13Use the newly defined types in a record declarationKostis Sagonas
2016-05-13Strengthen the spec of analyze/1Kostis Sagonas