Age | Commit message (Expand) | Author |
2019-03-20 | HiPE: Don't fail the compilation for unimplemented instructions | Björn Gustavsson |
2019-02-21 | dialyzer: Fix maps as parameter of opaque types | Hans Bolinder |
2019-02-21 | dialyzer: Fix key check of lists:key{search,member,find}() | Hans Bolinder |
2019-02-08 | dialyzer: Fix a bug affecting keyfind/keysearch/keymember | Hans Bolinder |
2018-06-18 | Update copyright year | Henrik Nord |
2018-05-07 | Merge pull request #1802 from michalmuskala/map-is-key-bif | Björn Gustavsson |
2018-04-29 | Introduce is_map_key/2 guard BIF | Michał Muskała |
2018-04-26 | Move erl_types test into a common_test suite | Sean Cribbs |
2018-04-24 | Introduce map_get guard-safe function | Michał Muskała |
2018-02-19 | Remove unused cerl_messagean module | José Valim |
2018-02-06 | dialyzer: Assign a type to the primop build_stacktrace | Hans Bolinder |
2018-01-19 | Merge branch 'maint' | Hans Bolinder |
2018-01-12 | dialyzer: Fix bsl/2 bug | Hans Bolinder |
2018-01-09 | Merge branch 'maint' | Hans Bolinder |
2018-01-08 | dialyzer: Correct handling of erlang:abs/1 | Hans Bolinder |
2017-11-28 | Merge branch 'maint' | Hans Bolinder |
2017-11-22 | dialyzer: Extend the map implementation's handling of ?unit | Hans Bolinder |
2017-11-20 | erts: Implement batching maps:iterator | Lukas Larsson |
2017-09-18 | Merge branch 'maint' | Hans Bolinder |
2017-09-18 | Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maint | Hans Bolinder |
2017-09-15 | Merge branch 'siri/string-new-api' | Siri Hansen |
2017-09-15 | dialyzer: Improve check of unknown types | Hans Bolinder |
2017-09-12 | dialyzer: Modify handling of singleton map key types | Hans Bolinder |
2017-09-12 | Dialyzer: Rewrite one map type invariant | Hans Bolinder |
2017-09-05 | hipe: Improve handling of Unicode | Hans Bolinder |
2017-07-06 | hipe: erl_types: Do not use deprecated functions in string(3) | Hans Bolinder |
2017-06-13 | hipe: Remove 'undefined' from a record field's type | Hans Bolinder |
2017-06-13 | hipe: Remove use of 'catch' | Hans Bolinder |
2017-06-13 | hipe: Optimize contract decoration somewhat | Hans Bolinder |
2017-06-13 | hipe: Correct a typespec | Hans Bolinder |
2017-06-09 | dialyzer: Improve handling of Unicode | Hans Bolinder |
2017-05-22 | dialyzer: Warn for bad type variables of parameterized types | Hans Bolinder |
2017-04-05 | erts: Remove hipe_bifs:remove_refs_from/1 | Sverker Eriksson |
2017-03-27 | hipe: Fix range analysis of 'rem' operator | Magnus Lång |
2017-03-06 | Merge branch 'maint' | Hans Bolinder |
2017-02-28 | dialyzer: Improve a warning | Hans Bolinder |
2017-02-28 | dialyzer: Fix a weird warning | Hans Bolinder |
2017-02-14 | Fixed typos in lib/hipe | Andrew Dryga |
2017-02-03 | dialyzer: Do not keep the code server's type info on the heap | Hans Bolinder |
2017-02-03 | Merge branch 'maint' | Hans Bolinder |
2017-02-01 | dialyzer: Optimize collection of variables | Hans Bolinder |
2017-01-12 | Merge branch 'maint' | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instaed of dict | Hans Bolinder |
2017-01-11 | Merge branch 'maint' | Hans Bolinder |
2017-01-11 | Merge branch 'hasse/dialyzer/fix_opaque_parms/OTP-14130' into maint | Hans Bolinder |
2017-01-10 | Merge branch 'maint' | Hans Bolinder |
2017-01-10 | dialyzer: Fix check of parameterized opaque types | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-11-23 | Update obsolete author e-mails | Richard Carlsson |
2016-11-23 | Correct copyright info on hipe cerl files | Richard Carlsson |