Age | Commit message (Expand) | Author |
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 |
2014-02-24 | Merge branch 'lukas/ose/master/OTP-11334' | Lukas Larsson |
2014-02-24 | Added support for ENEA OSE | Lukas Larsson |
2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
2014-02-22 | Fix a bug concerning parameterized types | Hans Bolinder |
2014-02-22 | Solve remote types in parameters | Hans Bolinder |
2014-01-29 | hipe: Fixup update cerl pretty printer | Björn-Egil Dahlberg |
2014-01-29 | hipe: Update cerl pretty printer | Björn-Egil Dahlberg |
2014-01-28 | dialyzer,hipe,stdlib: Add Maps understanding to Dialyzer | Björn-Egil Dahlberg |
2014-01-21 | [dialyzer] Re-work the handling of opaque types | Hans Bolinder |
2013-10-09 | Fix crash when using remote types in the tail of list types | Kostis Sagonas |
2013-03-10 | Add type info for hipe_bifs:nstack_used_size/0 | Kostis Sagonas |
2013-02-20 | Merge branch 'ks/hipe_bif-remove_refs_from/OTP-10851' | Fredrik Gustafsson |
2013-02-20 | Merge branch 'sa/dialyzer-types-arity/OTP-10861' | Fredrik Gustafsson |
2013-02-19 | Merge branch 'ks/type-doc-cleanup/OTP-10850' | Fredrik Gustafsson |
2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
2013-02-14 | Add new binary conversion bifs | Lukas Larsson |
2013-02-13 | Change the return value of hipe_bifs:remove_refs_from/1 | Kostis Sagonas |
2013-02-11 | Add support for printing <<_:_*1>> as bitstring() | Kostis Sagonas |
2013-01-28 | Fix wording of error message | Stavros Aronis |
2013-01-25 | Extend char() to Unicode characters | Hans Bolinder |
2013-01-23 | Properly support functions with arbitrary arity in type specs. | Stavros Aronis |
2013-01-21 | [hipe, kernel, stdlib] Correct a few types | Hans Bolinder |
2013-01-15 | Merge branch 'sa/dialyzer-record-field-type/OTP-10681' | Fredrik Gustafsson |
2012-12-07 | Merge branch 'rickard/port-optimizations/OTP-10336' into rickard/r16/port-opt... | Rickard Green |
2012-12-07 | Implement true asynchronous signaling between processes and ports | Rickard Green |
2012-11-17 | Fix precision of record creation violation warnings | Stavros Aronis |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-08-29 | Merge branch 'maint' | Sverker Eriksson |
2012-08-29 | Merge branch 'sverk/dialyzer-warnings' into maint | Sverker Eriksson |
2012-08-28 | Fix dialyzer warning for erlang:statistics(scheduler_wall_time) | Sverker Eriksson |
2012-08-28 | Fix dialyzer warning for system_flag(scheduler_wall_time) | Sverker Eriksson |
2012-08-28 | Merge branch 'maint' | Fredrik Gustafsson |
2012-08-27 | Fix dialyzer warning for hipe_bifs:remove_refs_from(all) | Sverker Eriksson |
2012-08-24 | Add a missing tag in a type declaration | Kostis Sagonas |
2012-08-21 | Merge branch 'maint' | Hans Bolinder |
2012-08-21 | Let t_inf() substitute any() for variables in a few more cases | Hans Bolinder |