aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl/erl_bif_types.erl
AgeCommit message (Expand)Author
2015-05-27Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0Magnus Henoch
2015-01-26hipe: remove two obsolete BIFsMikael Pettersson
2014-08-21dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder
2014-03-05Add types for new HiPE BIFsKostis Sagonas
2014-02-24Added support for ENEA OSELukas Larsson
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-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-14Add new binary conversion bifsLukas Larsson
2013-02-13Change the return value of hipe_bifs:remove_refs_from/1Kostis Sagonas
2013-01-21[hipe, kernel, stdlib] Correct a few typesHans Bolinder
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-08-29Merge branch 'maint'Sverker 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-27Fix dialyzer warning for hipe_bifs:remove_refs_from(all)Sverker Eriksson
2012-07-19hipe: Remove VxWorksBjörn-Egil Dahlberg
2012-06-04Merge branch 'maint'Lukas Larsson
2012-05-10Remove stale code for hybrid heap and incremental GCBjörn Gustavsson
2012-04-18Merge branch 'maint'Patrik Nyblom
2012-04-18Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process"Patrik Nyblom
2012-04-17Correct documentation, erl_bif_types and dialyzer testsPatrik Nyblom
2012-04-17Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-03-22Rename dyntrace BIFs to more suiting namesPatrik Nyblom
2012-03-22Add user tag spreading functionality to VM and use in filePatrik Nyblom
2012-03-22Merge branch 'maint'Raimo Niskanen
2012-03-21erts: Implement erlang:halt/2Raimo Niskanen
2012-03-16Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-02-17hipe,erts: Add DEBUG support with MFA's in stack descriptorsSverker Eriksson
2012-02-13Make dialyzer recognize the process_flag option sensitiveHenrik Nord
2012-02-09Merge branch 'maint'Björn Gustavsson
2012-02-07Reintroduce sensitive BIFs in erl_bif_typesPatrik Nyblom
2012-02-07Correct dializer errors in erlang.erl and othersPatrik Nyblom
2012-01-27Move types and specs from erl_bif_types.erl to modulesHans Bolinder
2012-01-26erl_bif_types: Remove type for is_constant/1Björn Gustavsson
2011-12-08Add types for posixtime_to_universaltime and the reversePatrik Nyblom
2011-11-30Add type info for erlang:system_info({allocator_sizes,ref(),any()})Björn Gustavsson
2011-09-21Merge branch 'dev' into majorBjörn Gustavsson
2011-09-21erl_bif_types: Fix types for lists:key{search,find,member}/3Björn Gustavsson
2011-09-16Merge branch 'dev' into majorBjörn-Egil Dahlberg
2011-09-12Cleanup ETS bif's in hipe:erl_bif_types.erl (for dialyzer)Patrik Nyblom
2011-09-08Merge branch 'dev' into majorHenrik Nord
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-26Merge branch 'dev' into majorBjörn Gustavsson
2011-08-25Add erlang:check_old_code/1Björn Gustavsson
2011-08-16emulator: Add a fourth element in exception stacktracesBjörn Gustavsson