Age | Commit message (Expand) | Author |
2015-09-09 | dialyzer: Correct the handling of parameters of opaque types | Hans Bolinder |
2015-09-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
2015-08-25 | dialyzer: Optimize expansion of parameters of opaque types | Hans Bolinder |
2015-08-25 | dialyzer: Optimize the expansion of parameterized types somewhat | Hans Bolinder |
2015-08-25 | dialyzer: Improve the handling of recursive parameterized opaque types | Hans Bolinder |
2015-08-25 | dialyzer: Generalize an argument of erl_types:t_from_form() | Hans Bolinder |
2015-08-21 | hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3 | Hans Bolinder |
2015-08-19 | dialyzer: Fix a bug concerning parameterized opaque types | Hans Bolinder |
2015-06-18 | Change license text to APLv2 | Bruce Yinhe |
2015-06-15 | dialyzer: Fix a minor bug concerning opaque types | Hans Bolinder |
2015-06-15 | dialyzer: Modify warning for comparison of opaque types | Hans Bolinder |
2015-06-15 | dialyzer: Modify the handling of parametrized opaque types | Hans Bolinder |
2015-06-15 | dialyzer: Fix a bug in the expansion of forms | Hans Bolinder |
2015-05-29 | Merge branch 'kostis/cerl_pmatch' | Zandra Hird |
2015-05-27 | Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0 | Magnus Henoch |
2015-05-12 | Allow use of complete interface of cerl_pmatch module | Kostis Sagonas |
2015-05-08 | dialyzer: document the type identifier() | Hans Bolinder |
2015-04-30 | hipe: Use module erl_anno | Hans Bolinder |
2015-04-21 | hipe: Fix a bug in the handling of opaque types | Hans Bolinder |
2015-03-10 | [dialyzer] Correct handling of limited opaque types | Hans Bolinder |
2015-03-10 | [dialyzer] Limit depth and size of types from forms | Hans Bolinder |
2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
2015-01-26 | hipe: remove two obsolete BIFs | Mikael Pettersson |
2014-08-21 | Merge branch 'maint' | Hans Bolinder |
2014-08-21 | dialyzer, hipe: Fix a bug concerning is_record/2,3 | Hans Bolinder |
2014-06-30 | Merge branch 'maint' | Hans Bolinder |
2014-06-26 | hipe: Correct pretty-printing of bitstrings | Hans Bolinder |
2014-06-17 | Merge branch 'maint' | Hans Bolinder |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
2014-05-26 | Merge branch 'maint' | Björn-Egil Dahlberg |
2014-05-26 | Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint | Björn-Egil Dahlberg |
2014-05-26 | Merge branch 'maint' | Hans Bolinder |
2014-05-23 | hipe: fix a bug concerning typed record fields | 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-29 | Allow more type names | Hans Bolinder |
2014-04-28 | hipe,compiler: Fix Map literals pretty printing | Björn-Egil Dahlberg |
2014-04-17 | hipe, dialyzer: Fix a bug concerning opaque types | Hans Bolinder |
2014-03-28 | Add support for the compilation of the is_map/1 guard to native code | Kostis Sagonas |
2014-03-26 | Merge branch 'aronisstav/hipe/opaque_fix' | Hans Bolinder |
2014-03-24 | Don't 'opaque-decorate' a success typing using an incompatible spec | Stavros Aronis |
2014-03-24 | hipe: Correct last commit of OTP-10342 | Hans Bolinder |
2014-03-24 | stdlib: warn if the type map() is redefined | Hans Bolinder |
2014-03-24 | hipe: Add a few clauses for maps in erl_types | Hans Bolinder |
2014-03-19 | Merge branch 'kostis/hipe-rc2-patch' | Henrik Nord |
2014-03-17 | hipe: Properly identify map() type form terms | Björn-Egil Dahlberg |
2014-03-05 | Add types for new HiPE BIFs | Kostis Sagonas |
2014-02-26 | Cleanup and make sure warnings are treated as errors | Kostis Sagonas |
2014-02-26 | Add specs for exported functions (to shut off a warning) and types in some re... | Kostis Sagonas |