summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Prepare releaseOTP_R14B04Erlang/OTP2011-10-042-1/+110
* Update copyright yearsBjörn-Egil Dahlberg2011-09-291-1/+1
* Merge branch 'sa/dialyzer-bug-fixes' into devHenrik Nord2011-09-291-9/+13
|\
| * Fix bug in dataflowStavros Aronis2011-09-271-9/+13
* | Merge branch 'ta/typer-quote-atoms' into devHenrik Nord2011-09-212-5/+5
|\ \ | |/ |/|
| * Update Dialyzer's reference resultsStavros Aronis2011-09-192-5/+5
* | dialyzer: fix a small typo in list_to_bitstring testTuncer Ayaz2011-09-151-1/+1
|/
* Merge branch 'sa/dialyzer-dev' into devHenrik Nord2011-09-0811-100/+1043
|\
| * Add origin information to #fun_var closuresStavros Aronis2011-08-301-89/+106
| * Suppress some warnings about generation of non-returning funsStavros Aronis2011-08-294-1/+317
| * Enhance Dialyzer's inference on comparisonsStavros Aronis2011-08-292-0/+475
| * Fix infinite loop in dataflowStavros Aronis2011-08-293-1/+130
| * Minor fix in dead codeStavros Aronis2011-08-291-1/+1
| * Update r9c/{inets,mnesia} results in dialyzer's test suiteStavros Aronis2011-08-292-8/+14
* | Merge branch 'rz/add_proplist_type' into devHenrik Nord2011-08-291-3/+1
|\ \ | |/ |/|
| * Add a proplist() typerzezeski2011-05-241-3/+1
* | Merge branch 'hw/update-chmod-without-f' into devHenrik Nord2011-08-241-1/+1
|\ \
| * | Again: Call chmod without the "-f" flagHolger Weiß2011-06-051-1/+1
* | | Merge branch 'sa/dialyzer-server-loop-fix' into devHenrik Nord2011-08-243-6/+48
|\ \ \
| * | | Fix server loop detectionStavros Aronis2011-05-133-6/+48
* | | | Fix dialyzer warning on default clause for binary comprehensionIvan Dubrov2011-08-172-0/+19
* | | | Update results of race_SUITE/extract_translationsStavros Aronis2011-08-011-2/+2
* | | | Update results of small_SUITE/flattenStavros Aronis2011-08-011-1/+1
* | | | Add codec_can and list_to_bitstring testsStavros Aronis2011-08-012-0/+56
* | | | Fix bug when reporting unused functionsStavros Aronis2011-08-012-1/+8
* | | | Update Dialyzer's r9c_suite resultsStavros Aronis2011-08-013-11/+16
| |/ / |/| |
* | | Prepare releaseOTP_R14B03Erlang/OTP2011-05-242-1/+40
* | | Fix crash when a contract range warning is emitted for a module already in pltStavros Aronis2011-05-231-13/+20
| |/ |/|
* | OTP-9094: [httpc] Add support for upload body streaming (PUT and POST).Micael Karlberg2011-05-161-1/+1
|\ \ | |/ |/|
| * Merge branch 'dev' into bmk/inets/inet56_integrationMicael Karlberg2011-04-125-26/+79
| |\
| * \ Merge branch 'dev' into bmk/inets/inet56_integrationMicael Karlberg2011-04-061-1/+1
| |\ \
| * \ \ Merge branch 'dev' into bmk/inets/ftp/missing_spec_causes_dialyxer_problems/O...Micael Karlberg2011-03-17658-98/+135643
| |\ \ \
* | | | | Update dialyzer.specStavros Aronis2011-05-041-1/+1
* | | | | Add race/ets_insert_publicStavros Aronis2011-05-042-0/+25
* | | | | Add opaque/ewgi,ewgi2Stavros Aronis2011-05-047-0/+707
* | | | | Add opaque/schuett_bugStavros Aronis2011-05-041-0/+28
* | | | | Add small/param_types_crashStavros Aronis2011-05-041-0/+77
* | | | | Add small/file_open_encodingStavros Aronis2011-05-041-0/+26
* | | | | Add small/false_falseStavros Aronis2011-05-041-0/+32
* | | | | Add small/ets_update_counterStavros Aronis2011-05-041-0/+25
* | | | | Add small/bin_comprStavros Aronis2011-05-041-0/+16
* | | | | Add small/tuple_set_crashStavros Aronis2011-05-042-0/+222
* | | | | Add small/refine_failingStavros Aronis2011-05-042-0/+28
* | | | | Add small/not_bogus_warningStavros Aronis2011-05-042-0/+28
* | | | | Add small/none_scc_inf_loopStavros Aronis2011-05-042-0/+26
* | | | | Add small/guardsStavros Aronis2011-05-042-0/+153
* | | | | Add small/guard_warningsStavros Aronis2011-05-042-0/+215
* | | | | Add small/confusing_record_warningStavros Aronis2011-05-042-0/+22
* | | | | Add small/blame_contract_rangeStavros Aronis2011-05-042-0/+20
* | | | | Update small/recursive_types2 sourceStavros Aronis2011-05-041-2/+2
View Lorry Controller Status