Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-03-14 | Ensure that -on_load functions are not reported as unused | Stavros Aronis | |
2012-03-01 | Unknown types are being reported by dialyzer's GUIs | Stavros Aronis | |
2012-03-01 | Fix bug in remote type solving | Stavros Aronis | |
2012-02-22 | Review by Kostis Sagonas and fixes | Stavros Aronis | |
2012-02-22 | Simplify external vs bad calls check | Stavros Aronis | |
2012-02-22 | Remove callgraph from the state used during solving | Stavros Aronis | |
2012-02-22 | Refactorings in dialyzer_typesig | Stavros Aronis | |
2012-02-22 | Avoid unnecessary passing of huge terms in some closures | Stavros 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-22 | Further simplifications | Stavros Aronis | |
2012-02-22 | Remove redundant code | Stavros Aronis | |
2012-02-22 | Simplify dialyzer_succ_typings code | Stavros Aronis | |
2012-02-22 | Cleanups in dialyzer_callgraph and dialyzer_dataflow | Stavros Aronis | |
Refactorings, code movements and reflection of mutable variables in the code. | |||
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros 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-22 | Cleanup debug messages in dialyzer_dataflow | Stavros Aronis | |
2012-02-22 | Refactorings in dialyzer_analysis_callgraph | Stavros Aronis | |
2012-02-22 | Allow t_opaque_structure to handle multiple opaque types | Stavros Aronis | |
2012-02-22 | Support alternative spelling of behaviour | Stavros Aronis | |
2012-02-22 | Refactor function selection by Dialyzer's codeserver | Stavros Aronis | |
2012-02-22 | Prettify spec | Stavros Aronis | |
2012-02-22 | Small fixes for Dialyzer's testsuites generation | Stavros Aronis | |
2012-02-20 | Merge branch 'rickard/barriers/OTP-9922' into maint | Rickard Green | |
* rickard/barriers/OTP-9922: Reduce thread progress read operations in handle_aux_work() Misc memory barrier fixes | |||
2012-02-19 | Reduce thread progress read operations in handle_aux_work() | Rickard Green | |
2012-02-19 | Misc memory barrier fixes | Rickard 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-16 | Update primary bootstrap | Björn Gustavsson | |
2012-02-16 | Merge branch 'bjorn/compiler/inline-and-on_load/OTP-9910' into maint | Björn Gustavsson | |
* bjorn/compiler/inline-and-on_load/OTP-9910: compiler: Teach the inliner to preserve on_load functions | |||
2012-02-16 | Merge branch 'gustav/asn1-integer/sequence-fix/OTP-9688' into maint | Gustav Simonsson | |
2012-02-16 | Merge branch 'ahs/fix-gb_trees-doc' into maint | Henrik Nord | |
* ahs/fix-gb_trees-doc: Put gb_trees documentation into alphabetical order OTP-9929 | |||
2012-02-16 | Merge branch 'vd/jinterface-atom-message' into maint | Henrik Nord | |
* vd/jinterface-atom-message: Improve error message when creating a too long OtpErlangAtom OTP-9928 | |||
2012-02-16 | Merge branch 'vd/java-string-bug' into maint | Henrik 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-16 | Merge branch 'jz/erts-remove-unused-var' into maint | Henrik Nord | |
* jz/erts-remove-unused-var: erts: Remove unused variable OTP-9926 | |||
2012-02-16 | Merge branch 'rc/spell-registered' into maint | Henrik Nord | |
* rc/spell-registered: Correct spelling of "registered" in various places in the source code OTP-9925 | |||
2012-02-16 | Merge branch 'rj/fix-sup-doc-typo' into maint | Henrik Nord | |
* rj/fix-sup-doc-typo: Fix typo in supervisor behaviour doc OTP-9924 | |||
2012-02-16 | Merge branch 'ts/extend-specs-for-bifs' into maint | Henrik Nord | |
* ts/extend-specs-for-bifs: Make dialyzer recognize the process_flag option sensitive OTP-9923 | |||
2012-02-16 | Merge branch 'rj/fix-binary-doc-spec' into maint | Henrik Nord | |
* rj/fix-binary-doc-spec: Fix the type spec from the doc of binary:part/3 OTP-9920 | |||
2012-02-16 | Merge branch 'rj/fix-compile-doc-typo' into maint | Henrik Nord | |
* rj/fix-compile-doc-typo: Fix typo in `compile' doc: unmatched parenthesis OTP-9919 | |||
2012-02-16 | Merge branch 'rj/doc-monospace-css' into maint | Henrik Nord | |
* rj/doc-monospace-css: Set `font-family: Courier, monospace' in OTP doc CSS OTP-9918 | |||
2012-02-16 | Merge branch 'ia/ssh/server-user-dir-doc' into maint | Ingela Anderton Andin | |
* ia/ssh/server-user-dir-doc: Document user_dir for the server | |||
2012-02-16 | Merge branch 'ia/ssh/pass-phrase-protected-keys/OTP-6400' into maint | Ingela 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-15 | Remove unused files from test data as it is confusing | Ingela Anderton Andin | |
2012-02-15 | Add support for key files protected by pass phrases | Ingela Anderton Andin | |
2012-02-14 | Change test to use CT Config PrivDir | Gustav Simonsson | |
2012-02-14 | Document user_dir for the server | Ingela Anderton Andin | |
2012-02-14 | Merge 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-14 | Merge branch 'ia/ssh/keyboard-interactive-disable-bug/OTP-9466' into maint | Ingela Anderton Andin | |
* ia/ssh/keyboard-interactive-disable-bug/OTP-9466: Client now honors the allow_user_interaction option | |||
2012-02-14 | Merge branch 'gustav/asn1-integer/sequence-fix/OTP-9688' into maint_with_asn1 | Gustav Simonsson | |
2012-02-14 | Merge branch 'gustav/ssh/ssh-key-callback-specs' into maint | Gustav Simonsson | |
* gustav/ssh/ssh-key-callback-specs: Add behaviour (api) module with callback specs | |||
2012-02-14 | Merge branch 'gustav/orber/fix-dbg-printout-format/OTP-9887' into maint | Gustav Simonsson | |
* gustav/orber/fix-dbg-printout-format/OTP-9887: Add parameter to error message string format | |||
2012-02-14 | Merge branch 'gustav/sasl_release_handler_file_bugfix/OTP-9864' into maint | Gustav Simonsson | |
* gustav/sasl_release_handler_file_bugfix/OTP-9864: Fix so remove_release can remove symlinks | |||
2012-02-14 | Merge branch 'pg/fix-ssl_tls_dist_proxy-setup-loop' into maint | Henrik Nord | |
* pg/fix-ssl_tls_dist_proxy-setup-loop: Fix setup loop of SSL TLS dist proxy OTP-9915 OTP-9916 | |||
2012-02-14 | Merge branch 'pg/ssl_dist-fixes' into maint | Henrik Nord | |
* pg/ssl_dist-fixes: Robustness and improvement to distribution over SSL |