Age | Commit message (Expand) | Author |
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis |
2012-05-21 | Replace Dialyzer's hand-made codeserver with an ets table | Stavros Aronis |
2012-05-21 | Simplify typesig postorder calculation | Stavros Aronis |
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis |
2012-05-21 | Refactoring in plt | Stavros Aronis |
2012-05-08 | Merge branch 'maint' | Henrik Nord |
2012-05-08 | Merge branch 'sa/dialyzer-contract-variables' into maint | Henrik Nord |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |
2012-04-24 | Don't rewrite unchanged PLT | Stavros Aronis |
2012-04-24 | Fix crash related to contract checking | Stavros Aronis |
2012-04-18 | Merge branch 'maint' | Patrik Nyblom |
2012-04-18 | Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process" | Patrik Nyblom |
2012-04-17 | Correct documentation, erl_bif_types and dialyzer tests | Patrik Nyblom |
2012-04-17 | Extend erlang:port_info/1,2 to show the OS pid of a spawned process | Matthias Lang |
2012-04-03 | Merge commit 'OTP_R15B01' | Björn-Egil Dahlberg |
2012-04-01 | Prepare releaseOTP_R15B01 | Erlang/OTP |
2012-03-30 | Merge branch 'maint' | Björn-Egil Dahlberg |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg |
2012-03-27 | Merge branch 'maint' | Gustav Simonsson |
2012-03-26 | Fix bug related with infinitely looping functions | Stavros Aronis |
2012-03-26 | Report only actual unknown types otherwise no message is sent | Stavros Aronis |
2012-03-26 | Use wx:wx_object() type now that it is exported | Kostis Sagonas |
2012-03-26 | Up version | Kostis Sagonas |
2012-03-26 | Add warnings_as_errors option | Kostis Sagonas |
2012-03-16 | Extend erlang:port_info/1,2 to show the OS pid of a spawned process | Matthias Lang |
2012-03-15 | Merge branch 'maint' | Gustav Simonsson |
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 |
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 |
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis |
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-09 | Merge branch 'maint' | Björn Gustavsson |
2012-02-08 | Suppress deprecated warnings in all modules that call 'gs' | Björn Gustavsson |
2012-02-07 | Correct docs, comments and dialyzer tests | Patrik Nyblom |
2012-01-27 | Move types and specs from erl_bif_types.erl to modules | Hans Bolinder |