aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2014-04-17hipe, dialyzer: Fix a bug concerning opaque typesHans Bolinder
2014-03-28Add support for the compilation of the is_map/1 guard to native codeKostis Sagonas
2014-03-26Merge branch 'aronisstav/hipe/opaque_fix'Hans Bolinder
2014-03-24Don't 'opaque-decorate' a success typing using an incompatible specStavros Aronis
2014-03-24hipe: Correct last commit of OTP-10342Hans Bolinder
2014-03-24stdlib: warn if the type map() is redefinedHans Bolinder
2014-03-24hipe: Add a few clauses for maps in erl_typesHans Bolinder
2014-03-19Merge branch 'kostis/hipe-rc2-patch'Henrik Nord
2014-03-17hipe: Properly identify map() type form termsBjörn-Egil Dahlberg
2014-03-05Add types for new HiPE BIFsKostis Sagonas
2014-02-26Cleanup and make sure warnings are treated as errorsKostis Sagonas
2014-02-26Add specs for exported functions (to shut off a warning) and types in some re...Kostis Sagonas
2014-02-24Merge branch 'lukas/ose/master/OTP-11334'Lukas Larsson
2014-02-24Added support for ENEA OSELukas Larsson
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-22Introduce parameterized opaque typesHans Bolinder
2014-02-22Fix a bug concerning parameterized typesHans Bolinder
2014-02-22Solve remote types in parametersHans Bolinder
2014-01-29hipe: Fixup update cerl pretty printerBjörn-Egil Dahlberg
2014-01-29hipe: Update cerl pretty printerBjörn-Egil Dahlberg
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2013-10-09Fix crash when using remote types in the tail of list typesKostis Sagonas
2013-03-10Add type info for hipe_bifs:nstack_used_size/0Kostis Sagonas
2013-02-20Merge branch 'ks/hipe_bif-remove_refs_from/OTP-10851'Fredrik Gustafsson
2013-02-20Merge branch 'sa/dialyzer-types-arity/OTP-10861'Fredrik Gustafsson
2013-02-19Merge branch 'ks/type-doc-cleanup/OTP-10850'Fredrik Gustafsson
2013-02-15Support for types with the same name and different arityStavros Aronis
2013-02-14Add new binary conversion bifsLukas Larsson
2013-02-13Change the return value of hipe_bifs:remove_refs_from/1Kostis Sagonas
2013-02-11Add support for printing <<_:_*1>> as bitstring()Kostis Sagonas
2013-01-28Fix wording of error messageStavros Aronis
2013-01-25Extend char() to Unicode charactersHans Bolinder
2013-01-23Properly support functions with arbitrary arity in type specs.Stavros Aronis
2013-01-21[hipe, kernel, stdlib] Correct a few typesHans Bolinder
2013-01-15Merge branch 'sa/dialyzer-record-field-type/OTP-10681'Fredrik Gustafsson
2012-12-07Merge branch 'rickard/port-optimizations/OTP-10336' into rickard/r16/port-opt...Rickard Green
2012-12-07Implement true asynchronous signaling between processes and portsRickard Green
2012-11-17Fix precision of record creation violation warningsStavros Aronis
2012-10-03Merge branch 'maint'Henrik Nord
2012-09-26Fix handling of tuple set remote types appearing in tuple setsStavros Aronis
2012-08-29Merge branch 'maint'Sverker Eriksson
2012-08-29Merge branch 'sverk/dialyzer-warnings' into maintSverker Eriksson
2012-08-28Fix dialyzer warning for erlang:statistics(scheduler_wall_time)Sverker Eriksson
2012-08-28Fix dialyzer warning for system_flag(scheduler_wall_time)Sverker Eriksson
2012-08-28Merge branch 'maint'Fredrik Gustafsson
2012-08-27Fix dialyzer warning for hipe_bifs:remove_refs_from(all)Sverker Eriksson
2012-08-24Add a missing tag in a type declarationKostis Sagonas
2012-08-21Merge branch 'maint'Hans Bolinder
2012-08-21Let t_inf() substitute any() for variables in a few more casesHans Bolinder