aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2015-06-15dialyzer: Simplify some codeHans Bolinder
2015-06-15dialyzer: Fix a bug in the expansion of formsHans Bolinder
2015-05-29Merge branch 'legoscia/dialyzer/cache-hipe-binaries/OTP-12779'Björn Gustavsson
2015-05-28Dialyzer to cache results of HiPE compilationMagnus Henoch
2015-05-25Update runtime_dependencies in application resource filesHans Bolinder
2015-05-20dialyzer: Document dialyzer:gui() option 'check_plt'Hans Bolinder
2015-05-05Fix a bug related to constraints generated for erlang:'*'/2Stavros Aronis
2015-04-30dialyzer: Use module erl_annoHans Bolinder
2015-04-27dialyzer: Add new option 'unknown'Hans Bolinder
2015-04-27dialyzer: Add new option 'no_missing_calls'Hans Bolinder
2015-04-01dialyzer: Update the PLT properly when a module is changedHans Bolinder
2015-03-20Merge branch 'rickard/time_api/OTP-11997'Rickard Green
2015-03-20Replace usage of erlang:now() with usage of new APIRickard Green
2015-03-18Merge branch 'maint'Björn-Egil Dahlberg
2015-03-17dialyzer: Add missing clause for map in find_terminalsBjörn-Egil Dahlberg
2015-03-10[dialyzer] Correct handling of limited opaque typesHans Bolinder
2015-03-10[dialyzer] Fix the conversion of forms to typesHans Bolinder
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
2014-10-21dialyzer: remove recognition of the compiler option 'asm'Hans Bolinder
2014-10-10Merge branch 'maint'Hans Bolinder
2014-10-08dialyzer: do a minor re-factoringHans Bolinder
2014-10-08dialyzer: Ignore ERL_COMPILER_OPTIONS when compilingHans Bolinder
2014-10-08dialyzer: fix bug concerning compiler option 'warnings_as_errors'Hans Bolinder
2014-09-09Merge branch 'maint'Henrik Nord
2014-09-09Merge branch 'fishcakez/dialyzer_beam_opts' into maintHenrik Nord
2014-08-21Merge branch 'maint'Hans Bolinder
2014-08-21dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder
2014-08-21Merge branch 'maint'Hans Bolinder
2014-08-20dialyzer: fix a -Wunderspecs bugHans Bolinder
2014-07-16Use compile options when dialyzing beam filesJames Fish
2014-06-17Merge branch 'maint'Hans Bolinder
2014-06-17[dialyzer] Use the option 'dialyzer' to control the compilerHans Bolinder
2014-06-17[dialyzer] Fix handling of literal recordsHans Bolinder
2014-06-03Merge branch 'maint'Hans Bolinder
2014-06-03[dialyzer] Correct docs about optionsHans Bolinder
2014-05-13Merge branch 'maint'Hans Bolinder
2014-05-13hipe: fix a bug concerning typed record fieldsHans Bolinder
2014-05-05Remove pre-defined types dict(), digraph(), &cHans Bolinder
2014-04-28Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder
2014-04-10Correct the name of a compiler option and fix the corresponding warningsKostis Sagonas
2014-03-31Merge branch 'ks/hipe-is_map-support/OTP-11831'Björn-Egil Dahlberg
2014-03-28Reinstate native code compilation of cerl and erl_typesKostis Sagonas
2014-03-28Report wall clock time instead of runtime when crashingKostis Sagonas
2014-03-28Dialyzer now plays nicely with funs that come as "external" argumentsStavros Aronis
2014-03-24Correct some type declarationsKostis Sagonas
2014-03-24Use the ordsets:ordset(T) type instead of defining a local oneKostis Sagonas
2014-03-21dialyzer: generalize guard constraints in a new wayHans Bolinder
2014-03-20Introduce runtime_dependencies in .app filesRickard Green
2014-03-20Introduce a new warning option, 'no_unknown'Hans Bolinder
2014-03-20Return warnings for unknown types and functions in Erlang ModeHans Bolinder