aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-22Introduce parameterized opaque typesHans Bolinder
2014-02-17Merge branch 'bjorn/lc-warnings/OTP-11626'Björn Gustavsson
2014-02-07Merge branch 'kostis/dialyzer-r17c0-fixes'Henrik Nord
2014-02-06Add app-test and correct dialyzer.app.srcHans Bolinder
2014-02-05dialyzer: Silence useless warnings about list comprehensionsBjörn Gustavsson
2014-01-31Shut off a dialyzer unmatched return warningKostis Sagonas
2014-01-31Add a spec for a function that does not returnKostis Sagonas
2014-01-29dialyzer: Remove dead codeBjörn-Egil Dahlberg
2014-01-29dialyzer: Reflect map_pair core changes in dialyzerBjörn-Egil Dahlberg
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-28Merge branch 'hb/dialyzer/opaque_types_fixes/OTP-10397'Hans Bolinder
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2014-01-14Fix an erroneous specKostis Sagonas
2013-12-20Merge remote-tracking branch 'origin/kostis/dialyzer_hipe-remove-gs'Dan Gudmundsson
2013-12-12Support non top level letrecs in dialyzerJosé Valim
2013-11-13Remove the --wx option and promore the --gui to use the wx-based GUIKostis Sagonas
2013-11-13Remove the GS-based GUI of DialyzerKostis Sagonas
2013-06-12Update copyright yearsBjörn-Egil Dahlberg
2013-04-24[dialyzer] Fix a bug concerning the --gui and --wx optionsHans Bolinder
2013-04-10Merge branch 'sa/dialyzer-bitstring-fixes/OTP-11027' into maintFredrik Gustafsson
2013-04-08Minor refactoringsStavros Aronis
2013-04-08Fix minor error in natively compiled module listStavros Aronis
2013-04-08Fix notification for duplicate modulesStavros Aronis
2013-04-08Fix an error in the type inference of bitstring dataStavros Aronis
2013-03-26Improve Dialyzer output for scan errorsMagnus Henoch
2013-03-06Include module, function and arity in Dialyzer's "overlapping domain" warningsMagnus Henoch
2013-02-22Update copyright yearsBjörn-Egil Dahlberg
2013-02-20Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865'Fredrik Gustafsson
2013-02-19Native code compilation changesKostis Sagonas
2013-02-19Code simplificationKostis Sagonas
2013-02-19Simplify a case construct using inequalityKostis Sagonas
2013-02-19Simplify a case construct using a boolean operatorKostis Sagonas
2013-02-19Code simplifications + take out obsolete noteKostis Sagonas
2013-02-15Minor refactoringStavros Aronis
2013-02-15Support for types with the same name and different arityStavros Aronis
2013-01-22Merge branch 'sa/dialyzer-list-spec/OTP-10740'Fredrik Gustafsson
2013-01-15Implement ./otp_build configure --enable-silent-rulesAnthony Ramine
2012-12-20Report spec discrepancy on mismatching listsStavros Aronis
2012-11-23Update copyright yearsBjörn-Egil Dahlberg
2012-10-03Merge branch 'maint'Henrik Nord
2012-09-26Fix a crash in race condition detectionStavros Aronis
2012-09-26Remove old untested experimental extensionStavros Aronis
2012-09-26Respect {plt_check,false} option when using dialyzer:run/1Stavros Aronis
2012-09-24dialyzer: Do not output warnings for unused funsHans Bolinder
2012-08-31Update copyright yearsBjörn-Egil Dahlberg
2012-08-24Stop a forgotten server processKostis Sagonas
2012-08-24Changes to fix warnings identified by running dialyzer -Wunmatched_returnsKostis Sagonas
2012-08-21Fix a bug in dialyzer_dataflowHans Bolinder
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder