aboutsummaryrefslogtreecommitdiffstats
path: root/lib
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-16Merge branch 'bjorn/compiler/inline-and-on_load/OTP-9910' into maintBjörn Gustavsson
2012-02-16Merge branch 'gustav/asn1-integer/sequence-fix/OTP-9688' into maintGustav Simonsson
2012-02-16Merge branch 'ahs/fix-gb_trees-doc' into maintHenrik Nord
2012-02-16Merge branch 'vd/jinterface-atom-message' into maintHenrik Nord
2012-02-16Merge branch 'vd/java-string-bug' into maintHenrik Nord
2012-02-16Merge branch 'rc/spell-registered' into maintHenrik Nord
2012-02-16Merge branch 'ts/extend-specs-for-bifs' into maintHenrik Nord
2012-02-16Merge branch 'rj/fix-binary-doc-spec' into maintHenrik Nord
2012-02-16Merge branch 'rj/fix-compile-doc-typo' into maintHenrik Nord
2012-02-16Merge branch 'rj/doc-monospace-css' into maintHenrik Nord
2012-02-16Merge branch 'ia/ssh/server-user-dir-doc' into maintIngela Anderton Andin
2012-02-15Remove unused files from test data as it is confusingIngela Anderton Andin
2012-02-15Add support for key files protected by pass phrasesIngela Anderton Andin
2012-02-14Change test to use CT Config PrivDirGustav Simonsson
2012-02-14Document user_dir for the serverIngela Anderton Andin
2012-02-14Merge branch 'ia/ssh/crash-report-with-impatient-SFTP-client/OTP-9391' into m...Ingela Anderton Andin
2012-02-14Merge branch 'ia/ssh/keyboard-interactive-disable-bug/OTP-9466' into maintIngela Anderton Andin
2012-02-14Merge branch 'gustav/asn1-integer/sequence-fix/OTP-9688' into maint_with_asn1Gustav Simonsson
2012-02-14Merge branch 'gustav/ssh/ssh-key-callback-specs' into maintGustav Simonsson
2012-02-14Merge branch 'gustav/orber/fix-dbg-printout-format/OTP-9887' into maintGustav Simonsson
2012-02-14Merge branch 'gustav/sasl_release_handler_file_bugfix/OTP-9864' into maintGustav Simonsson
2012-02-14Merge branch 'pg/fix-ssl_tls_dist_proxy-setup-loop' into maintHenrik Nord
2012-02-14Merge branch 'pg/ssl_dist-fixes' into maintHenrik Nord
2012-02-14Robustness and improvement to distribution over SSLPaul Guyot
2012-02-14Merge branch 'av/maint-memsup' into maintHenrik Nord
2012-02-13Merge branch 'bjorn/makefiles' into maintBjörn Gustavsson
2012-02-13Add behaviour (api) module with callback specsGustav Simonsson
2012-02-13Make dialyzer recognize the process_flag option sensitiveHenrik Nord
2012-02-13Client now honors the allow_user_interaction optionIngela Anderton Andin
2012-02-13Avoid to crash if the remote side closes the connection prematurelyIngela Anderton Andin