aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
2012-04-01Prepare releaseOTP_R15B01Erlang/OTP
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-03-26Fix bug related with infinitely looping functionsStavros Aronis
2012-03-26Report only actual unknown types otherwise no message is sentStavros Aronis
2012-03-26Use wx:wx_object() type now that it is exportedKostis Sagonas
2012-03-26Up versionKostis Sagonas
2012-03-26Add warnings_as_errors optionKostis Sagonas
2012-03-14Ensure that -on_load functions are not reported as unusedStavros Aronis
2012-03-01Unknown types are being reported by dialyzer's GUIsStavros Aronis
2012-03-01Fix bug in remote type solvingStavros Aronis
2012-02-22Review by Kostis Sagonas and fixesStavros Aronis
2012-02-22Simplify external vs bad calls checkStavros Aronis
2012-02-22Remove callgraph from the state used during solvingStavros Aronis
2012-02-22Refactorings in dialyzer_typesigStavros Aronis
2012-02-22Avoid unnecessary passing of huge terms in some closuresStavros Aronis
2012-02-22Further simplificationsStavros Aronis
2012-02-22Remove redundant codeStavros Aronis
2012-02-22Simplify dialyzer_succ_typings codeStavros Aronis
2012-02-22Cleanups in dialyzer_callgraph and dialyzer_dataflowStavros Aronis
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
2012-02-22Cleanup debug messages in dialyzer_dataflowStavros Aronis
2012-02-22Refactorings in dialyzer_analysis_callgraphStavros Aronis
2012-02-22Allow t_opaque_structure to handle multiple opaque typesStavros Aronis
2012-02-22Support alternative spelling of behaviourStavros Aronis
2012-02-22Refactor function selection by Dialyzer's codeserverStavros Aronis
2012-02-22Prettify specStavros Aronis
2012-02-22Small fixes for Dialyzer's testsuites generationStavros Aronis
2012-02-08Suppress deprecated warnings in all modules that call 'gs'Björn Gustavsson
2011-12-22Handle nowarn_unused_function like the compiler doesHans Bolinder
2011-12-12Prepare releaseErlang/OTP
2011-12-09Update copyright yearsBjörn-Egil Dahlberg
2011-12-08Optimize join_maps() in dialyzer_dataflowHans Bolinder
2011-12-01Refine warning about callback specs with extra rangesStavros Aronis
2011-12-01Cleanup autoimport compiler directivesStavros Aronis
2011-12-01Fix Dialyzer's warning for its own codeStavros Aronis
2011-12-01Fix bug in Dialyzer's behaviours analysisStavros Aronis
2011-12-01Fix crash in DialyzerStavros Aronis
2011-11-30Update inets test resultsStavros Aronis
2011-11-30Add file/line info in a particular Dialyzer crashStavros Aronis
2011-11-30Fix Dialyzer's warning for its own codeStavros Aronis
2011-11-30No warnings for underspecs with remote typesStavros Aronis
2011-11-30Fix dialyzer warning about gen_event callback init/1 in log_mf_hSiri Hansen
2011-11-22Revert "Update version numbers for pre-release of R15"Björn-Egil Dahlberg
2011-11-22Update version numbers for pre-release of R15OTP_R15ABjörn Gustavsson
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
2011-11-18Add lookup function for callbacksStavros Aronis
2011-11-18Store callbacks in codeserver and PLTStavros Aronis