aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)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
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-20Merge branch 'rickard/barriers/OTP-9922' into maintRickard Green
* rickard/barriers/OTP-9922: Reduce thread progress read operations in handle_aux_work() Misc memory barrier fixes
2012-02-19Reduce thread progress read operations in handle_aux_work()Rickard Green
2012-02-19Misc memory barrier fixesRickard Green
- Document barrier semantics - Introduce ddrb suffix on atomic ops - Barrier macros for both non-SMP and SMP case - Make the thread progress API a bit more intuitive
2012-02-16Update primary bootstrapBjörn Gustavsson
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 'jz/erts-remove-unused-var' into maintHenrik Nord
* jz/erts-remove-unused-var: erts: Remove unused variable OTP-9926
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 'rj/fix-sup-doc-typo' into maintHenrik Nord
* rj/fix-sup-doc-typo: Fix typo in supervisor behaviour doc OTP-9924
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-16Merge branch 'ia/ssh/pass-phrase-protected-keys/OTP-6400' into maintIngela Anderton Andin
* ia/ssh/pass-phrase-protected-keys/OTP-6400: Remove unused files from test data as it is confusing Add support for key files protected by pass phrases
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