aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
AgeCommit message (Expand)Author
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
2012-08-21Add an alternative implmentation of the typesignature solverHans Bolinder
2012-06-08Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maintLukas Larsson
2012-06-05Update to work with whitespace in exec pathLukas Larsson
2012-06-01Bug fixes and improvements of dialyzer_typesigHans Bolinder
2012-05-21Logfile-like statistics (enabled with --resources)Stavros Aronis
2012-05-21Anonymous SCCtoPID ETS tableStavros Aronis
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Regulate all kinds of running workers up to the number of schedulersStavros Aronis
2012-05-21Relocate start and stop of timing serverStavros Aronis