aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2017-08-24dialyzer: Fix a bug where merging PLT:s could lose infoHans Bolinder
2017-06-13dialyzer: Run more of analyses in subprocessHans Bolinder
2017-06-13dialyzer: Do not use two records for PLTsHans Bolinder
2017-06-13dialyzer: Improve compression of an ETS tableHans Bolinder
2017-06-13dialyzer: Minor optimizationsHans Bolinder
2017-06-13dialyzer: Warn about unused unknown typesHans Bolinder
2017-06-13dialyzer: Correct a mistakeHans Bolinder
2017-06-13dialyzer: Rearrange some code to save memoryHans Bolinder
2017-06-13dialyzer: Optimize by avoiding some table lookupsHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2017-05-04Update copyright yearRaimo Niskanen
2017-05-02Merge branch 'maint'Hans Bolinder
2017-04-27dialyzer: Fix unknown typeHans Bolinder
2017-04-26dialyzer: Fix a bug regarding unknown typesHans Bolinder
2017-04-25Store abstract code in the Dbgi chunkJosé Valim
2017-04-21Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travisBjörn Gustavsson
2017-04-20Add back TypEr to the main OTP repositoryBjörn Gustavsson
2017-04-13stdlib: Add checks of the dialyzer attribute to the linterHans Bolinder
2017-03-10Update copyright yearRickard Green
2017-03-06Merge branch 'maint'Hans Bolinder
2017-03-06Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maintHans Bolinder
2017-03-03Merge branch 'maint'Björn Gustavsson
2017-03-02dialyzer, observer: Use portable lookup of home directoryBjörn Gustavsson
2017-03-02Merge branch 'maint'Hans Bolinder
2017-03-02dialyzer: Update runtime dependenciesHans Bolinder
2017-02-28dialyzer: Fix an opaque bugHans Bolinder
2017-02-28dialyzer: Minor fixHans Bolinder
2017-02-14Fixed typos in lib/dialyzerAndrew Dryga
2017-02-06Merge branch 'hasse/dialyzer/memory_opt/OTP-14127'Hans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-03dialyzer: Fix a Dialyzer warningHans Bolinder
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