aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
AgeCommit message (Expand)Author
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
2011-11-18Collect callback definitions during compilationStavros Aronis
2011-11-18Update inets resultsStavros Aronis
2011-11-14Merge branch 'sa/dialyzer-wunderspecs'Henrik Nord
2011-11-10Remove exec bit from files: info files, dat, batRicardo Catalinas Jiménez
2011-11-10Remove exec bit from files related to: XML, make, CRicardo Catalinas Jiménez
2011-11-10Remove exec bit from: erl, hrl, xml, html, asn, gif, xpmRicardo Catalinas Jiménez
2011-10-27Remove unused */doc/src/make.dep filesBjörn Gustavsson
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 13:46:42 +0000