Age | Commit message (Expand) | Author |
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-29 | Update r9c/{inets,mnesia} results in dialyzer's test suite | Stavros Aronis |
2011-08-24 | Merge branch 'hw/update-chmod-without-f' into dev | Henrik Nord |
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 race_SUITE/extract_translations | Stavros Aronis |
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-08-01 | Update Dialyzer's r9c_suite results | Stavros Aronis |
2011-06-05 | Again: Call chmod without the "-f" flag | Holger Weiß |
2011-05-24 | Add a proplist() type | rzezeski |
2011-05-13 | Fix server loop detection | Stavros Aronis |
2011-05-04 | Update dialyzer.spec | Stavros Aronis |
2011-05-04 | Add race/ets_insert_public | Stavros Aronis |
2011-05-04 | Add opaque/ewgi,ewgi2 | Stavros Aronis |
2011-05-04 | Add opaque/schuett_bug | 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 | Update opaque/zoltan_kis* sources | Stavros Aronis |
2011-05-04 | Update options1/compiler results | Stavros Aronis |
2011-05-04 | Rename suite data directories | Stavros Aronis |
2011-05-04 | Simplify Dialyzer's test suite structure | Stavros Aronis |
2011-03-31 | Fix crash related with the contract blame assignment patch | Stavros Aronis |
2011-03-01 | Increase timetrap of options1 suite | Stavros Aronis |
2011-02-28 | Create plt with erts, kernel and stdlib only | Stavros Aronis |
2011-02-28 | Update test results as they currently appear in dev | Stavros Aronis |
2011-02-28 | Major restructure of dialyzer's testsuite | Stavros Aronis |
2011-02-18 | Update spec file to work with new common test structure | Lukas Larsson |
2011-02-18 | Test suites for Dialyzer | Stavros Aronis |