aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
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
The relevant terms were instances of Dialyzer's typesig analysis state that were stored together with some "dynamic" constraints in a dict. Due to sharing this was not apparent until we tried to copy the dictionary. Initial debugging was by Björn Gustavsson.
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
Refactorings, code movements and reflection of mutable variables in the code.
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
Dialyzer was not reporting unused functions with 0 arity. This was not a real issue, until we found out that there could be cases where this could lead to false warnings. This was the case in "no_local_return.erl".
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
* bjorn/compiler/inline-and-on_load/OTP-9910: compiler: Teach the inliner to preserve on_load functions
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
* ahs/fix-gb_trees-doc: Put gb_trees documentation into alphabetical order OTP-9929
2012-02-16Merge branch 'vd/jinterface-atom-message' into maintHenrik Nord
* vd/jinterface-atom-message: Improve error message when creating a too long OtpErlangAtom OTP-9928
2012-02-16Merge branch 'vd/java-string-bug' into maintHenrik Nord
* vd/java-string-bug: add test for Java string bug workaround for Java bug http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6242664 OTP-9927
2012-02-16Merge branch 'rc/spell-registered' into maintHenrik Nord
* rc/spell-registered: Correct spelling of "registered" in various places in the source code OTP-9925
2012-02-16Merge branch 'ts/extend-specs-for-bifs' into maintHenrik Nord
* ts/extend-specs-for-bifs: Make dialyzer recognize the process_flag option sensitive OTP-9923
2012-02-16Merge branch 'rj/fix-binary-doc-spec' into maintHenrik Nord
* rj/fix-binary-doc-spec: Fix the type spec from the doc of binary:part/3 OTP-9920
2012-02-16Merge branch 'rj/fix-compile-doc-typo' into maintHenrik Nord
* rj/fix-compile-doc-typo: Fix typo in `compile' doc: unmatched parenthesis OTP-9919
2012-02-16Merge branch 'rj/doc-monospace-css' into maintHenrik Nord
* rj/doc-monospace-css: Set `font-family: Courier, monospace' in OTP doc CSS OTP-9918
2012-02-16Merge branch 'ia/ssh/server-user-dir-doc' into maintIngela Anderton Andin
* ia/ssh/server-user-dir-doc: Document user_dir for the server
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 ↵Ingela Anderton Andin
maint * ia/ssh/crash-report-with-impatient-SFTP-client/OTP-9391: Avoid to crash if the remote side closes the connection prematurely
2012-02-14Merge branch 'ia/ssh/keyboard-interactive-disable-bug/OTP-9466' into maintIngela Anderton Andin
* ia/ssh/keyboard-interactive-disable-bug/OTP-9466: Client now honors the allow_user_interaction option
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
* gustav/ssh/ssh-key-callback-specs: Add behaviour (api) module with callback specs
2012-02-14Merge branch 'gustav/orber/fix-dbg-printout-format/OTP-9887' into maintGustav Simonsson
* gustav/orber/fix-dbg-printout-format/OTP-9887: Add parameter to error message string format
2012-02-14Merge branch 'gustav/sasl_release_handler_file_bugfix/OTP-9864' into maintGustav Simonsson
* gustav/sasl_release_handler_file_bugfix/OTP-9864: Fix so remove_release can remove symlinks
2012-02-14Merge branch 'pg/fix-ssl_tls_dist_proxy-setup-loop' into maintHenrik Nord
* pg/fix-ssl_tls_dist_proxy-setup-loop: Fix setup loop of SSL TLS dist proxy OTP-9915 OTP-9916
2012-02-14Merge branch 'pg/ssl_dist-fixes' into maintHenrik Nord
* pg/ssl_dist-fixes: Robustness and improvement to distribution over SSL
2012-02-14Robustness and improvement to distribution over SSLPaul Guyot
Fix a bug where the caller would timeout and ssl_tls_dist_proxy would crash. Fix a bug where a timeout from the SSL layer would block the distribution forever (typically when a non-SSL node tries to connect to an SSL node). Add this very case as a test (test_server tries to connect to SSL nodes). Run the proxy exclusively on the loopback interface.
2012-02-14Merge branch 'av/maint-memsup' into maintHenrik Nord
* av/maint-memsup: Fix segmentation fault in memsup OTP-9913
2012-02-13Merge branch 'bjorn/makefiles' into maintBjörn Gustavsson
* bjorn/makefiles: Include the xmerl include files in the bootstrap Teach lib/Makefile to build applications listed in EXTRA-APPLICATIONS Clean up lib/Makefile
2012-02-13Add behaviour (api) module with callback specsGustav Simonsson
Function parameter and return type specifications for the public key functions
2012-02-13Make dialyzer recognize the process_flag option sensitiveHenrik Nord
add missing specs to documentation
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
2012-02-13Fix to integer and sequence definitionsGustav Simonsson
Enable re-use of integer definitions in subsequent definitions and added clauses to check greatest common range for sequence definitions
2012-02-13compiler: Teach the inliner to preserve on_load functionsBjörn Gustavsson
The inliner was ignorant of on_load functions and would discard them (unless they were exported or referenced). Noticed-by: Yiannis Tsiouris <[email protected]>