aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-11-10dialyzer: Display error messages without call stackHans Bolinder
2017-09-19Update runtime deps to depend on new stdlib functionalityDan Gudmundsson
2017-09-15dialyzer: Improve check of unknown typesHans Bolinder
2017-09-12dialyzer: Do not fix ETS tables when merging PLTsHans Bolinder
2017-09-05dialyzer: Improve handling of UnicodeHans Bolinder
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 02:10:09 +0000