aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2011-09-21erl_bif_types: Fix types for lists:key{search,find,member}/3Björn Gustavsson
2011-09-12Cleanup ETS bif's in hipe:erl_bif_types.erl (for dialyzer)Patrik Nyblom
2011-09-08Merge branch 'sa/dialyzer-dev' into devHenrik Nord
2011-08-29Enhance Dialyzer's inference on comparisonsStavros Aronis
2011-08-27Add erlang:external_size/2 BIFFilipe David Manana
2011-08-25Add erlang:check_old_code/1Björn Gustavsson
2011-06-20Add more specs and typesHans Bolinder
2011-05-23Fix erroneous definition of t_binary_compiled_pattern()Kostis Sagonas
2011-05-02Fix handling of <<_:N,_:_*M>> type expressionsKostis Sagonas
2011-05-02Fix the argument of erlang:list_to_bitstring/1Kostis Sagonas
2011-05-02Move function to its proper placeKostis Sagonas
2011-05-02Remove unneeded function 'sequence/2'Stavros Aronis
2011-03-04Merge branch 'ks/process_status' into devNiclas Axelsson
2011-03-02Document exiting and garbage_collecting process statusesKostis Sagonas
2011-01-31Sanitize the specs of the code moduleKostis Sagonas
2011-01-17Merge branch 'bjorn/beam-loader/OTP-9030' into devBjörn Gustavsson
2011-01-17Add erts_debug:instructions/0 for listing all specific instructionsBjörn Gustavsson
2010-12-21Merge branch 'ja/fix-hipe-spec-ets-new' into devNiclas Axelsson
2010-12-16Set types correctly for open_port({spawn_executable, ...Patrik Nyblom
2010-12-16Fix type specification of the ets:new/2 BIFJesper Louis Andersen
2010-12-13Fix native code compiler infinite loop and update type info for 're'Kostis Sagonas
2010-12-03Merge branch 'ks/erl_bif_types-cleanup/OTP-8961' into devPatrik Nyblom
2010-12-03Merge branch 'pan/unicode-filenames/OTP-8887' into devPatrik Nyblom
2010-12-01Merge branch 'lukas/hipe/decode_packet_type' into devLukas Larsson
2010-11-30Corrected testcases broken by unicode filenamesPatrik Nyblom
2010-11-29Fix type information of 'file' and 'code' modulesKostis Sagonas
2010-11-22Merge branch 'ks/file_open-mode' into devBjörn Gustavsson
2010-11-22erl_types: Fix pretty rare crashes and an infinite loopKostis Sagonas
2010-10-29Deeper unfolding of recursive typesKostis Sagonas
2010-10-15Update httppacket type to return both strings and binariesLukas Larsson
2010-10-14Add the {encoding, _} options to file:open/2's modesKostis 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