Age | Commit message (Expand) | Author |
2012-05-21 | Separate race related fields of callgraph | Stavros Aronis |
2012-05-21 | Remove unused race detection related code | Stavros Aronis |
2012-05-21 | Simplification in dataflow | Stavros Aronis |
2012-05-21 | Refactorings in succ_typings | Stavros Aronis |
2012-05-21 | Moving code between callgraph & dataflow | Stavros Aronis |
2012-05-21 | Parallel typesig analysis | Stavros Aronis |
2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis |
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 '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-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-01 | Prepare releaseOTP_R15B01 | Erlang/OTP |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg |
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-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-08 | Suppress deprecated warnings in all modules that call 'gs' | Björn Gustavsson |
2011-12-22 | Handle nowarn_unused_function like the compiler does | Hans Bolinder |
2011-12-12 | Prepare release | Erlang/OTP |
2011-12-09 | Update copyright years | Björn-Egil Dahlberg |
2011-12-08 | Optimize join_maps() in dialyzer_dataflow | Hans Bolinder |