Age | Commit message (Expand) | Author |
2012-10-10 | Change the type of some arguments in filename to file:name() | Hans Bolinder |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix a crash in race condition detection | Stavros Aronis |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-09-24 | dialyzer: Do not output warnings for unused funs | Hans Bolinder |
2012-06-08 | Merge branch 'maint' | Lukas Larsson |
2012-06-08 | Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maint | Lukas Larsson |
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson |
2012-06-02 | Merge branch 'maint' | Hans Bolinder |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
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 | 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-03-27 | Merge branch 'maint' | Gustav Simonsson |
2012-03-26 | Fix bug related with infinitely looping functions | Stavros Aronis |
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 | Fix bug in remote type solving | Stavros Aronis |
2012-02-22 | Zero-arity unused functions Dialyzer patch | 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 | Small fixes for Dialyzer's testsuites generation | Stavros Aronis |
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 |
2011-12-22 | Handle nowarn_unused_function like the compiler does | Hans Bolinder |
2011-12-01 | Refine warning about callback specs with extra ranges | Stavros Aronis |
2011-12-01 | Fix bug in Dialyzer's behaviours analysis | Stavros Aronis |
2011-12-01 | Fix crash in Dialyzer | Stavros Aronis |
2011-11-30 | Update inets test results | Stavros Aronis |
2011-11-30 | No warnings for underspecs with remote types | Stavros Aronis |
2011-11-30 | Fix dialyzer warning about gen_event callback init/1 in log_mf_h | Siri Hansen |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-11-18 | Detection of callback-spec discrepancies | Stavros Aronis |
2011-11-18 | Allow none() as return value in callbacks | Stavros Aronis |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |
2011-11-18 | Update inets results | Stavros Aronis |
2011-10-14 | Fix false warning about closure application | Stavros Aronis |
2011-10-14 | Change category of 'might also return' warnings | Stavros Aronis |
2011-09-21 | Merge branch 'ta/typer-quote-atoms' into dev | Henrik Nord |
2011-09-19 | Update Dialyzer's reference results | Stavros Aronis |
2011-09-15 | dialyzer: fix a small typo in list_to_bitstring test | Tuncer Ayaz |
2011-09-08 | Merge branch 'sa/dialyzer-dev' into dev | Henrik Nord |
2011-08-29 | Merge branch 'rz/add_proplist_type' into dev | Henrik Nord |
2011-08-29 | Suppress some warnings about generation of non-returning funs | Stavros Aronis |