aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2012-06-04Merge branch 'maint'Lukas Larsson
2012-05-10Remove stale code for hybrid heap and incremental GCBjörn Gustavsson
2012-05-08Merge branch 'maint'Henrik Nord
2012-05-08Merge branch 'sa/dialyzer-contract-variables' into maintHenrik Nord
2012-04-24Fix crash related to contract checkingStavros Aronis
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-30Merge branch 'maint'Björn-Egil Dahlberg
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
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-22Merge branch 'raimo/close-ports-on-halt/OTP-9985' into maintRaimo 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-03-15Merge branch 'maint'Gustav Simonsson
2012-03-15Merge branch 'sa/dialyzer-fixes' into maintGustav Simonsson
2012-03-01Fix bug in remote type solvingStavros Aronis
2012-02-28Merge branch 'maint'Patrik Nyblom
2012-02-28Make hipe hipe-compiled w/ --enable-native-libsPatrik Nyblom
2012-02-22Allow t_opaque_structure to handle multiple opaque typesStavros Aronis
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-26HiPE: Remove support for is_constant/1Björn Gustavsson
2012-01-26erl_bif_types: Remove type for is_constant/1Björn Gustavsson
2011-12-09Merge branch 'hb/hipe/unify_optimization/OTP-9768'Hans Bolinder
2011-12-08Merge branch 'egil/file-info-opt-utc/OTP-7687'Björn-Egil Dahlberg
2011-12-08Add types for posixtime_to_universaltime and the reversePatrik Nyblom
2011-12-08Optimize erl_types:t_unify()Hans Bolinder
2011-12-05Merge branch 'sa/dialyzer-fixes'Henrik Nord
2011-12-01Fix crash in DialyzerStavros Aronis
2011-11-30Add type info for erlang:system_info({allocator_sizes,ref(),any()})Björn Gustavsson
2011-09-29Merge branch 'dev' into majorHenrik Nord
2011-09-29Merge branch 'sa/dialyzer-bug-fixes' into devHenrik Nord
2011-09-27Remove unused macroStavros Aronis
2011-09-27Decrease tuple arity limitStavros Aronis
2011-09-21Merge branch 'dev' into majorHenrik Nord
2011-09-21Merge branch 'ta/typer-quote-atoms' into devHenrik Nord
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-16Quote atoms if necessary in typesTomas Abrahamsson
2011-09-12Cleanup ETS bif's in hipe:erl_bif_types.erl (for dialyzer)Patrik Nyblom
2011-09-08Merge branch 'dev' into majorHenrik Nord