aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_behaviours.erl
AgeCommit message (Expand)Author
2013-02-19Code simplifications + take out obsolete noteKostis Sagonas
2012-09-26Remove old untested experimental extensionStavros Aronis
2012-05-21Better reflect side-effect based code in dialyzer_callgraphStavros Aronis
2012-05-21Simplify behaviour checking codeStavros Aronis
2012-05-21Keep mini plt for warnings passStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-02-22Review by Kostis Sagonas and fixesStavros Aronis
2012-02-22Support alternative spelling of behaviourStavros Aronis
2011-12-09Update copyright yearsBjörn-Egil Dahlberg
2011-12-01Refine warning about callback specs with extra rangesStavros Aronis
2011-12-01Fix bug in Dialyzer's behaviours analysisStavros Aronis
2011-11-18Wrap up behaviours patch for DialyzerStavros Aronis
2011-11-18Detection of callback-spec discrepanciesStavros Aronis
2011-11-18Allow none() as return value in callbacksStavros Aronis
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-06-03Support -export_type() in dialyzer and erl_typesKostis Sagonas
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas