Age | Commit message (Expand) | Author |
2015-05-05 | Fix a bug related to constraints generated for erlang:'*'/2 | Stavros Aronis |
2015-04-30 | dialyzer: Use module erl_anno | Hans Bolinder |
2015-04-27 | dialyzer: Add new option 'unknown' | Hans Bolinder |
2015-04-27 | dialyzer: Add new option 'no_missing_calls' | Hans Bolinder |
2015-04-01 | dialyzer: Update the PLT properly when a module is changed | Hans Bolinder |
2015-03-20 | Merge branch 'rickard/time_api/OTP-11997' | Rickard Green |
2015-03-20 | Replace usage of erlang:now() with usage of new API | Rickard Green |
2015-03-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
2015-03-17 | dialyzer: Add missing clause for map in find_terminals | Björn-Egil Dahlberg |
2015-03-10 | [dialyzer] Correct handling of limited opaque types | Hans Bolinder |
2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
2015-01-14 | dialyzer: Introduce module local suppression of warnings | Hans Bolinder |
2014-10-21 | dialyzer: remove recognition of the compiler option 'asm' | Hans Bolinder |
2014-10-10 | Merge branch 'maint' | Hans Bolinder |
2014-10-08 | dialyzer: do a minor re-factoring | Hans Bolinder |
2014-10-08 | dialyzer: Ignore ERL_COMPILER_OPTIONS when compiling | Hans Bolinder |
2014-10-08 | dialyzer: fix bug concerning compiler option 'warnings_as_errors' | Hans Bolinder |
2014-09-09 | Merge branch 'maint' | Henrik Nord |
2014-09-09 | Merge branch 'fishcakez/dialyzer_beam_opts' into maint | Henrik Nord |
2014-08-21 | Merge branch 'maint' | Hans Bolinder |
2014-08-21 | dialyzer, hipe: Fix a bug concerning is_record/2,3 | Hans Bolinder |
2014-08-21 | Merge branch 'maint' | Hans Bolinder |
2014-08-20 | dialyzer: fix a -Wunderspecs bug | Hans Bolinder |
2014-07-16 | Use compile options when dialyzing beam files | James Fish |
2014-06-17 | Merge branch 'maint' | Hans Bolinder |
2014-06-17 | [dialyzer] Use the option 'dialyzer' to control the compiler | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-06-03 | Merge branch 'maint' | Hans Bolinder |
2014-06-03 | [dialyzer] Correct docs about options | Hans Bolinder |
2014-05-13 | Merge branch 'maint' | Hans Bolinder |
2014-05-13 | hipe: fix a bug concerning typed record fields | Hans Bolinder |
2014-05-05 | Remove pre-defined types dict(), digraph(), &c | Hans Bolinder |
2014-04-28 | Introduce the attribute -optional_callbacks in the context of behaviours | Hans Bolinder |
2014-04-10 | Correct the name of a compiler option and fix the corresponding warnings | Kostis Sagonas |
2014-03-31 | Merge branch 'ks/hipe-is_map-support/OTP-11831' | Björn-Egil Dahlberg |
2014-03-28 | Reinstate native code compilation of cerl and erl_types | Kostis Sagonas |
2014-03-28 | Report wall clock time instead of runtime when crashing | Kostis Sagonas |
2014-03-28 | Dialyzer now plays nicely with funs that come as "external" arguments | Stavros Aronis |
2014-03-24 | Correct some type declarations | Kostis Sagonas |
2014-03-24 | Use the ordsets:ordset(T) type instead of defining a local one | Kostis Sagonas |
2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
2014-03-20 | Introduce runtime_dependencies in .app files | Rickard Green |
2014-03-20 | Introduce a new warning option, 'no_unknown' | Hans Bolinder |
2014-03-20 | Return warnings for unknown types and functions in Erlang Mode | Hans Bolinder |
2014-03-17 | dialyzer: Do not native compile modules with Maps code | Björn-Egil Dahlberg |
2014-02-24 | Merge branch 'fenollp/otp-edoc-usage-fixes' | Henrik Nord |
2014-02-24 | Merge branch 'hb/dialyzer/fix_on_load/OTP-11743' | Hans Bolinder |
2014-02-24 | Merge branch 'hb/dialyzer/deprecate_types/OTP-10342' | Hans Bolinder |
2014-02-24 | Merge branch 'schlagert/fix_basic_appups' | Siri Hansen |
2014-02-24 | FIx handling of 'on_load' attribute | Hans Bolinder |