Age | Commit message (Expand) | Author |
2012-03-22 | Merge branch 'raimo/close-ports-on-halt/OTP-9985' into maint | Raimo Niskanen |
2012-03-21 | erts: Implement erlang:halt/2 | Raimo Niskanen |
2012-03-15 | Merge branch 'sa/dialyzer-fixes' into maint | Gustav Simonsson |
2012-03-01 | Fix bug in remote type solving | Stavros Aronis |
2012-02-28 | Make hipe hipe-compiled w/ --enable-native-libs | Patrik Nyblom |
2012-02-22 | Allow t_opaque_structure to handle multiple opaque types | Stavros Aronis |
2012-02-13 | Make dialyzer recognize the process_flag option sensitive | Henrik Nord |
2012-01-26 | HiPE: Remove support for is_constant/1 | Björn Gustavsson |
2012-01-26 | erl_bif_types: Remove type for is_constant/1 | Björn Gustavsson |
2011-12-09 | Merge branch 'hb/hipe/unify_optimization/OTP-9768' | Hans Bolinder |
2011-12-08 | Merge branch 'egil/file-info-opt-utc/OTP-7687' | Björn-Egil Dahlberg |
2011-12-08 | Add types for posixtime_to_universaltime and the reverse | Patrik Nyblom |
2011-12-08 | Optimize erl_types:t_unify() | Hans Bolinder |
2011-12-05 | Merge branch 'sa/dialyzer-fixes' | Henrik Nord |
2011-12-01 | Fix crash in Dialyzer | Stavros Aronis |
2011-11-30 | Add type info for erlang:system_info({allocator_sizes,ref(),any()}) | Björn Gustavsson |
2011-09-29 | Merge branch 'dev' into major | Henrik Nord |
2011-09-29 | Merge branch 'sa/dialyzer-bug-fixes' into dev | Henrik Nord |
2011-09-27 | Remove unused macro | Stavros Aronis |
2011-09-27 | Decrease tuple arity limit | Stavros Aronis |
2011-09-21 | Merge branch 'dev' into major | Henrik Nord |
2011-09-21 | Merge branch 'ta/typer-quote-atoms' into dev | Henrik Nord |
2011-09-21 | Merge branch 'dev' into major | Björn Gustavsson |
2011-09-21 | erl_bif_types: Fix types for lists:key{search,find,member}/3 | Björn Gustavsson |
2011-09-16 | Merge branch 'dev' into major | Björn-Egil Dahlberg |
2011-09-16 | Quote atoms if necessary in types | Tomas Abrahamsson |
2011-09-12 | Cleanup ETS bif's in hipe:erl_bif_types.erl (for dialyzer) | Patrik Nyblom |
2011-09-08 | Merge branch 'dev' into major | Henrik Nord |
2011-09-08 | Merge branch 'sa/dialyzer-dev' into dev | Henrik Nord |
2011-08-29 | Enhance Dialyzer's inference on comparisons | Stavros Aronis |
2011-08-27 | Add erlang:external_size/2 BIF | Filipe David Manana |
2011-08-26 | Merge branch 'dev' into major | Björn Gustavsson |
2011-08-25 | Add erlang:check_old_code/1 | Björn Gustavsson |
2011-08-16 | emulator: Add a fourth element in exception stacktraces | Björn Gustavsson |
2011-07-06 | Remove deprecated concat_binary/1 | Björn Gustavsson |
2011-06-20 | Add more specs and types | Hans Bolinder |
2011-05-23 | Fix erroneous definition of t_binary_compiled_pattern() | Kostis Sagonas |
2011-05-02 | Fix handling of <<_:N,_:_*M>> type expressions | Kostis Sagonas |
2011-05-02 | Fix the argument of erlang:list_to_bitstring/1 | Kostis Sagonas |
2011-05-02 | Move function to its proper place | Kostis Sagonas |
2011-05-02 | Remove unneeded function 'sequence/2' | Stavros Aronis |
2011-03-04 | Merge branch 'ks/process_status' into dev | Niclas Axelsson |
2011-03-02 | Document exiting and garbage_collecting process statuses | Kostis Sagonas |
2011-01-31 | Sanitize the specs of the code module | Kostis Sagonas |
2011-01-17 | Merge branch 'bjorn/beam-loader/OTP-9030' into dev | Björn Gustavsson |
2011-01-17 | Add erts_debug:instructions/0 for listing all specific instructions | Björn Gustavsson |
2010-12-21 | Merge branch 'ja/fix-hipe-spec-ets-new' into dev | Niclas Axelsson |
2010-12-16 | Set types correctly for open_port({spawn_executable, ... | Patrik Nyblom |
2010-12-16 | Fix type specification of the ets:new/2 BIF | Jesper Louis Andersen |
2010-12-13 | Fix native code compiler infinite loop and update type info for 're' | Kostis Sagonas |