summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Expand)AuthorAgeFilesLines
* Prepare releaseOTP_R16B01Erlang/OTP2013-06-172-1/+72
* Update copyright yearsBjörn-Egil Dahlberg2013-06-123-3/+3
* dialyzer: Remove use of deprecated crypto functionsIngela Anderton Andin2013-05-201-4/+4
* [dialyzer] Fix a bug concerning the --gui and --wx optionsHans Bolinder2013-04-242-4/+6
* Encode Erlang source files with non-ascii characters in UTF-8Björn Gustavsson2013-04-171-0/+2
* Merge branch 'sa/dialyzer-bitstring-fixes/OTP-11027' into maintFredrik Gustafsson2013-04-104-27/+73
|\
| * Minor refactoringsStavros Aronis2013-04-081-4/+5
| * Fix minor error in natively compiled module listStavros Aronis2013-04-081-1/+1
| * Fix notification for duplicate modulesStavros Aronis2013-04-081-3/+6
| * Fix an error in the type inference of bitstring dataStavros Aronis2013-04-082-19/+61
* | Improve Dialyzer output for scan errorsMagnus Henoch2013-03-261-2/+2
|/
* Include module, function and arity in Dialyzer's "overlapping domain" warningsMagnus Henoch2013-03-063-5/+11
* Prepare releaseOTP_R16BErlang/OTP2013-02-252-1/+29
* Update copyright yearsBjörn-Egil Dahlberg2013-02-227-7/+7
* Merge branch 'hb/file_name_type/OTP-10852'Patrik Nyblom2013-02-223-5/+5
|\
| * Introduce new type file:name_all()Hans Bolinder2013-02-213-5/+5
* | Merge branch 'pan/unicode_printable_ranges'Patrik Nyblom2013-02-221-2/+2
|\ \ | |/ |/|
| * Fix some Unicode issuesHans Bolinder2013-02-181-2/+2
* | Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865'Fredrik Gustafsson2013-02-205-42/+33
|\ \
| * | Native code compilation changesKostis Sagonas2013-02-191-10/+15
| * | Code simplificationKostis Sagonas2013-02-191-2/+1
| * | Simplify a case construct using inequalityKostis Sagonas2013-02-191-5/+2
| * | Simplify a case construct using a boolean operatorKostis Sagonas2013-02-191-4/+1
| * | Code simplifications + take out obsolete noteKostis Sagonas2013-02-191-21/+14
| |/
* | Minor refactoringStavros Aronis2013-02-151-12/+1
* | Update Dialyzer's documentationStavros Aronis2013-02-151-3/+6
* | Support for types with the same name and different arityStavros Aronis2013-02-153-3/+28
|/
* Make the file:filename() type more restrictiveBjörn Gustavsson2013-02-131-8/+8
* Prepare releaseOTP_R16A_RELEASE_CANDIDATEErlang/OTP2013-01-292-1/+57
* Merge branch 'fredrik/dialyzer/fix-tc-data'Fredrik Gustafsson2013-01-281-1/+1
|\
| * Testcase expecting newlineFredrik Gustafsson2013-01-251-1/+1
* | Extend char() to Unicode charactersHans Bolinder2013-01-251-1/+1
|/
* Merge branch 'sa/dialyzer-unknown-arity-funs/OTP-10772'Fredrik Gustafsson2013-01-2512-1061/+0
|\
| * Update one more unused funs result as per ffe582bStavros Aronis2013-01-231-1/+0
| * Remove pubsub and comm_layer tests from testsuiteStavros Aronis2013-01-2311-1060/+0
| * Properly support functions with arbitrary arity in type specs.Stavros Aronis2013-01-231-0/+10
* | Fixed merge issueFredrik Gustafsson2013-01-231-5/+1
* | Merge branch 'sa/dialyzer-list-spec/OTP-10740'Fredrik Gustafsson2013-01-232-0/+14
|\ \
| * | Report spec discrepancy on mismatching listsStavros Aronis2013-01-233-3/+83
| * | Properly support functions with arbitrary arity in type specs.Stavros Aronis2013-01-221-0/+10
| |/
* | Merge branch 'sa/dialyzer-list-spec/OTP-10740'Fredrik Gustafsson2013-01-223-3/+83
|\ \ | |/ |/|
| * Report spec discrepancy on mismatching listsStavros Aronis2012-12-203-3/+83
* | Merge branch 'lh/forget-mnemosyne/OTP-10729'Fredrik Gustafsson2013-01-223-27/+1
|\ \
| * | Remove what remains of the Mnemosyne codeLoïc Hoguin2013-01-163-27/+1
* | | Merge branch 'nox/enable-silent-rules/OTP-10726'Björn-Egil Dahlberg2013-01-181-6/+6
|\ \ \ | |/ / |/| |
| * | Implement ./otp_build configure --enable-silent-rulesAnthony Ramine2013-01-151-6/+6
* | | Merge branch 'sa/dialyzer-record-field-type/OTP-10681'Fredrik Gustafsson2013-01-152-0/+14
|\ \ \
| * | | Fix precision of record creation violation warningsStavros Aronis2012-11-172-0/+14
* | | | small_SUITE: Update warnings for port functionsBjörn Gustavsson2013-01-111-2/+2
* | | | Cope with removed support for packagesBjörn Gustavsson2013-01-112-49/+9