aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGustav Simonsson <[email protected]>2012-03-15 10:47:18 +0100
committerGustav Simonsson <[email protected]>2012-03-15 10:47:18 +0100
commitdb9c249a0dd1c948f9bcbc47df166c13e7856357 (patch)
treee9c8653c88b0502dd2246130615baa226d9ba9cc
parentb99ff6a992770ea14506079fd2c656210bc912c9 (diff)
downloadotp-db9c249a0dd1c948f9bcbc47df166c13e7856357.tar.gz
otp-db9c249a0dd1c948f9bcbc47df166c13e7856357.tar.bz2
otp-db9c249a0dd1c948f9bcbc47df166c13e7856357.zip
* sa/dialyzer-fixes:
Ensure that -on_load functions are not reported as unused Unknown types are being reported by dialyzer's GUIs Fix bug in remote type solving Review by Kostis Sagonas and fixes Simplify external vs bad calls check Remove callgraph from the state used during solving Refactorings in dialyzer_typesig Avoid unnecessary passing of huge terms in some closures Further simplifications Remove redundant code Simplify dialyzer_succ_typings code Cleanups in dialyzer_callgraph and dialyzer_dataflow Zero-arity unused functions Dialyzer patch Cleanup debug messages in dialyzer_dataflow Refactorings in dialyzer_analysis_callgraph Allow t_opaque_structure to handle multiple opaque types Support alternative spelling of behaviour Refactor function selection by Dialyzer's codeserver Prettify spec Small fixes for Dialyzer's testsuites generation
0 files changed, 0 insertions, 0 deletions