Age | Commit message (Expand) | Author |
2013-02-22 | Merge branch 'hb/file_name_type/OTP-10852' | Patrik Nyblom |
2013-02-22 | Merge branch 'pan/unicode_printable_ranges' | Patrik Nyblom |
2013-02-21 | Introduce new type file:name_all() | Hans Bolinder |
2013-02-18 | Fix some Unicode issues | Hans Bolinder |
2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
2013-02-13 | Make the file:filename() type more restrictive | Björn Gustavsson |
2013-01-28 | Merge branch 'fredrik/dialyzer/fix-tc-data' | Fredrik Gustafsson |
2013-01-25 | Extend char() to Unicode characters | Hans Bolinder |
2013-01-25 | Testcase expecting newline | Fredrik Gustafsson |
2013-01-25 | Merge branch 'sa/dialyzer-unknown-arity-funs/OTP-10772' | Fredrik Gustafsson |
2013-01-23 | Update one more unused funs result as per ffe582b | Stavros Aronis |
2013-01-23 | Remove pubsub and comm_layer tests from testsuite | Stavros Aronis |
2013-01-23 | Properly support functions with arbitrary arity in type specs. | Stavros Aronis |
2013-01-23 | Fixed merge issue | Fredrik Gustafsson |
2013-01-23 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-23 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2013-01-22 | Properly support functions with arbitrary arity in type specs. | Stavros Aronis |
2013-01-22 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-16 | Remove what remains of the Mnemosyne code | Loïc Hoguin |
2013-01-15 | Merge branch 'sa/dialyzer-record-field-type/OTP-10681' | Fredrik Gustafsson |
2013-01-11 | small_SUITE: Update warnings for port functions | Björn Gustavsson |
2013-01-11 | Cope with removed support for packages | Björn Gustavsson |
2013-01-11 | mnesia: Update dialyzer warning | Björn Gustavsson |
2013-01-09 | Prepare OTP files for Unicode as default encoding | Hans Bolinder |
2012-12-20 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2012-11-17 | Fix precision of record creation violation warnings | Stavros Aronis |
2012-10-10 | Change the type of some arguments in filename to file:name() | Hans Bolinder |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix a crash in race condition detection | Stavros Aronis |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-09-24 | dialyzer: Do not output warnings for unused funs | Hans Bolinder |
2012-06-08 | Merge branch 'maint' | Lukas Larsson |
2012-06-08 | Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maint | Lukas Larsson |
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson |
2012-06-02 | Merge branch 'maint' | Hans Bolinder |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
2012-05-08 | Merge branch 'maint' | Henrik Nord |
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-18 | Merge branch 'maint' | Patrik Nyblom |
2012-04-18 | Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process" | Patrik Nyblom |
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-27 | Merge branch 'maint' | Gustav Simonsson |
2012-03-26 | Fix bug related with infinitely looping functions | Stavros Aronis |
2012-03-16 | Extend erlang:port_info/1,2 to show the OS pid of a spawned process | Matthias Lang |
2012-03-15 | Merge branch 'maint' | Gustav Simonsson |
2012-03-14 | Ensure that -on_load functions are not reported as unused | Stavros Aronis |
2012-03-01 | Fix bug in remote type solving | Stavros Aronis |