Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-05-13 | Fix server loop detection | Stavros Aronis | |
Dialyzer does not normally emit warnings for functions that implement non-terminating server loops. This detection failed when some of the elements in an SCC terminated normally (being for example list comprehensions or other generic anonymous functions that were included in the SCC). This patch fixes that. | |||
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 | |
*_SUITE.erl files are now automatically generated by the respective data directories by the Makefile. | |||
2011-04-15 | Merge branch 'ta/dialyzer-doc' into dev | Henrik Nord | |
* ta/dialyzer-doc: dialyzer/doc: synchronize manual.txt and dialyzer.xml dialyzer/doc: fix whitespace errors dialyzer/doc: use consistent colons in type specs OTP-9226 | |||
2011-04-12 | Merge branch 'dev' into bmk/inets/inet56_integration | Micael Karlberg | |
2011-04-12 | Merge branch 'sa/dialyzer-invalid-spec-fix' into dev | Henrik Nord | |
* sa/dialyzer-invalid-spec-fix: Fix crash related with the contract blame assignment patch OTP-9219 | |||
2011-04-11 | dialyzer/doc: synchronize manual.txt and dialyzer.xml | Tuncer Ayaz | |
2011-04-11 | dialyzer/doc: fix whitespace errors | Tuncer Ayaz | |
2011-04-11 | dialyzer/doc: use consistent colons in type specs | Tuncer Ayaz | |
2011-04-06 | Merge branch 'dev' into bmk/inets/inet56_integration | Micael Karlberg | |
2011-03-31 | Fix crash related with the contract blame assignment patch | Stavros Aronis | |
The relevant commit is 8342fcf5395133a19d647f2ace606af9b7fc1732. The old patch could emit warnings even for function that had a problematic spec even without refinement. This warnings would consume the relevant invalid spec warnings. This patch takes care of this by ensuring that normal invalid spec messages are emitted if the call that triggers the blame contract range warning is in another module. | |||
2011-03-29 | Fix the name of an error function | Maria Christakis | |
2011-03-17 | Merge branch 'dev' into ↵ | Micael Karlberg | |
bmk/inets/ftp/missing_spec_causes_dialyxer_problems/OTP-9114 Also fixed a bunch of "end-years" (was 2010 but should have been 2011, which the commit hook not happy with). | |||
2011-03-14 | Prepare releaseOTP_R14B02 | Erlang/OTP | |
2011-03-11 | Update copyright years | Björn-Egil Dahlberg | |
2011-03-11 | Merge branch 'sa/dialyzer-missing-spec' into dev | Henrik Nord | |
* sa/dialyzer-missing-spec: Add spec to dialyzer_cl_parse:get_lib_dir/1 OTP-9129 | |||
2011-03-11 | Release notes and new version for R14B02 | Kostis Sagonas | |
2011-03-11 | More descriptive warning when a tuple pattern matches a typed record | Stavros Aronis | |
2011-03-11 | Better blame assignment when a spec is erroneous | Stavros Aronis | |
Applies to the specification of the return value of a function. | |||
2011-03-11 | Generate better warnings for failing guards | Stavros Aronis | |
2011-03-11 | Fix an erroneous warning | Kostis Sagonas | |
2011-03-11 | Refactoring so that a flat string() is returned | Kostis Sagonas | |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas | |
2011-03-11 | Renamed error/1 function and added specs | Kostis Sagonas | |
2011-03-10 | Add spec to dialyzer_cl_parse:get_lib_dir/1 | Stavros Aronis | |
2011-03-09 | Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into dev | Lukas Larsson | |
* aronisstav/dialyzer/dialyzer_tests/OTP-9116: Increase timetrap of options1 suite Write output_plt even when plt_check is ok Create plt with erts, kernel and stdlib only Update test results as they currently appear in dev Major restructure of dialyzer's testsuite Add 'apps' option to the erlang interface Update spec file to work with new common test structure Test suites for Dialyzer | |||
2011-03-04 | Merge branch 'sa/dialyzer-fix-guards' into dev | Niclas Axelsson | |
* sa/dialyzer-fix-guards: Fix warnings about guards containing not Fix errors in the handling of 'and'/'or' guards Cosmetic changes OTP-9099 | |||
2011-03-01 | Increase timetrap of options1 suite | Stavros Aronis | |
2011-02-28 | Write output_plt even when plt_check is ok | Stavros Aronis | |
2011-02-28 | Create plt with erts, kernel and stdlib only | Stavros Aronis | |