Age | Commit message (Expand) | Author |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
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-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-26 | Fix bug related with infinitely looping functions | Stavros Aronis |
2012-03-14 | Ensure that -on_load functions are not reported as unused | Stavros Aronis |
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis |
2011-12-01 | Fix crash in Dialyzer | 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 |
2011-08-29 | Enhance Dialyzer's inference on comparisons | Stavros Aronis |
2011-08-29 | Fix infinite loop in dataflow | Stavros Aronis |
2011-08-24 | Merge branch 'sa/dialyzer-server-loop-fix' into dev | Henrik Nord |
2011-08-17 | Fix dialyzer warning on default clause for binary comprehension | Ivan Dubrov |
2011-08-01 | Update results of small_SUITE/flatten | Stavros Aronis |
2011-08-01 | Add codec_can and list_to_bitstring tests | Stavros Aronis |
2011-08-01 | Fix bug when reporting unused functions | Stavros Aronis |
2011-05-24 | Add a proplist() type | rzezeski |
2011-05-13 | Fix server loop detection | Stavros Aronis |
2011-05-04 | Add small/param_types_crash | Stavros Aronis |
2011-05-04 | Add small/file_open_encoding | Stavros Aronis |
2011-05-04 | Add small/false_false | Stavros Aronis |
2011-05-04 | Add small/ets_update_counter | Stavros Aronis |
2011-05-04 | Add small/bin_compr | Stavros Aronis |
2011-05-04 | Add small/tuple_set_crash | Stavros Aronis |
2011-05-04 | Add small/refine_failing | Stavros Aronis |
2011-05-04 | Add small/not_bogus_warning | Stavros Aronis |
2011-05-04 | Add small/none_scc_inf_loop | Stavros Aronis |
2011-05-04 | Add small/guards | Stavros Aronis |
2011-05-04 | Add small/guard_warnings | Stavros Aronis |
2011-05-04 | Add small/confusing_record_warning | Stavros Aronis |
2011-05-04 | Add small/blame_contract_range | Stavros Aronis |
2011-05-04 | Update small/recursive_types2 source | Stavros Aronis |
2011-05-04 | Rename suite data directories | Stavros Aronis |