aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2010-11-22erl_types: Fix pretty rare crashes and an infinite loopKostis Sagonas
2010-10-29Deeper unfolding of recursive typesKostis Sagonas
2010-10-06Merge branch 'ks/ets-update-counter' into devBjörn Gustavsson
2010-10-02Fix type of ets:update_counter/3 to correspond with the documentationKostis Sagonas
2010-09-24Fix two errors in dialyzerKostis Sagonas
2010-08-17erts: Remove broken elib_mallocBjörn Gustavsson
2010-07-07Fix a bug in the type of lists:flatmap/2.Kostis Sagonas
2010-06-09Dialyzer cleanup for eprofBjörn-Egil Dahlberg
2010-06-09Merge branch 'ks/dialyzer-R14-fixes' into devErlang/OTP
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-06-08Merge branch 'bg/bif-types' into devErlang/OTP
2010-06-08Merge branch 'bg/nif_error' into devErlang/OTP
2010-06-07Add type information for erlang:garbage_collect_message_area/0Björn Gustavsson
2010-06-07Add type information for erts_debug:* BIFsBjörn Gustavsson
2010-06-07Add type information for erlang:port_call/2Björn Gustavsson
2010-06-07Add type information for erlang:display* BIFsBjörn Gustavsson
2010-06-07Add type information for the BIFs in the binary moduleBjörn Gustavsson
2010-06-07Introduce and use the t_endian() helperBjörn Gustavsson
2010-06-07Add type information for erlang:binary_part/2,3Björn Gustavsson
2010-06-07Add type info for erlang:append/2 and erlang:subtract/2Kostis Sagonas
2010-06-07Add type information for the erlang:adler32* BIFsKostis Sagonas
2010-06-07Add ppc64 return for erlang:system_info(hipe_architecture)Kostis Sagonas
2010-06-06erl_types: Export is_erl_type/1Björn Gustavsson
2010-06-03dialyzer: Build the PLT even if there are unresolved remote typesKostis Sagonas
2010-06-03Add handling of unknown typesMaria Christakis
2010-06-03Support -export_type() in dialyzer and erl_typesKostis Sagonas
2010-06-02Remove (harmless) warnings about min/max in core applicationsPatrik Nyblom
2010-05-31Add erlang:nif_error/1,2Björn Gustavsson
2010-05-03Add type info for erlang:load_nif/2Kostis Sagonas
2010-04-09OTP-8562 Closing right parenthesis in macro definitions is mandatory.Hans Bolinder
2010-03-29Add type information about erlang:integer_to_list/2 and erlang:list_to_integer/2Kostis Sagonas
2010-03-20Add missing type in erlang:decode_packet/3Kostis Sagonas
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-16Merge branch 'bg/erl_bif_types' into ccase/r13b04_devErlang/OTP
2010-02-14Add types for erts_debug:lock_counters/1Björn Gustavsson
2010-02-14Add types for os:timestamp/0Björn Gustavsson
2010-02-14Add types for erts_debug:dist_ext_to_term/2Björn Gustavsson
2010-02-14erl_bif_types: add 'http_bin' as a valid packet optionBjörn Gustavsson
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2010-02-14Fix a HiPE compiler bug evaluating an expression that throws system_limitKostis Sagonas
2010-01-26OTP-8343 The documentation is now possible to build in an open sourceLars G Thorsen
2009-11-27Add type information for on_loadBjörn Gustavsson
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP