aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2012-03-15Merge branch 'sa/dialyzer-fixes' into maintGustav Simonsson
2012-03-01Fix bug in remote type solvingStavros Aronis
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-13Make dialyzer recognize the process_flag option sensitiveHenrik Nord
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
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
2011-07-06Remove deprecated concat_binary/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