aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2019-02-21dialyzer: Fix maps as parameter of opaque typesHans Bolinder
2019-02-21dialyzer: Fix key check of lists:key{search,member,find}()Hans Bolinder
2019-02-08dialyzer: Fix a bug affecting keyfind/keysearch/keymemberHans Bolinder
2018-06-18Update copyright yearHenrik Nord
2018-05-07Merge pull request #1802 from michalmuskala/map-is-key-bifBjörn Gustavsson
2018-04-29Introduce is_map_key/2 guard BIFMichał Muskała
2018-04-26Move erl_types test into a common_test suiteSean Cribbs
2018-04-24Introduce map_get guard-safe functionMichał Muskała
2018-02-19Remove unused cerl_messagean moduleJosé Valim
2018-02-06dialyzer: Assign a type to the primop build_stacktraceHans Bolinder
2018-01-19Merge branch 'maint'Hans Bolinder
2018-01-12dialyzer: Fix bsl/2 bugHans Bolinder
2018-01-09Merge branch 'maint'Hans Bolinder
2018-01-08dialyzer: Correct handling of erlang:abs/1Hans Bolinder
2017-11-28Merge branch 'maint'Hans Bolinder
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-11-20erts: Implement batching maps:iteratorLukas Larsson
2017-09-18Merge branch 'maint'Hans Bolinder
2017-09-18Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maintHans Bolinder
2017-09-15Merge branch 'siri/string-new-api'Siri Hansen
2017-09-15dialyzer: Improve check of unknown typesHans Bolinder
2017-09-12dialyzer: Modify handling of singleton map key typesHans Bolinder
2017-09-12Dialyzer: Rewrite one map type invariantHans Bolinder
2017-09-05hipe: Improve handling of UnicodeHans Bolinder
2017-07-06hipe: erl_types: Do not use deprecated functions in string(3)Hans Bolinder
2017-06-13hipe: Remove 'undefined' from a record field's typeHans Bolinder
2017-06-13hipe: Remove use of 'catch'Hans Bolinder
2017-06-13hipe: Optimize contract decoration somewhatHans Bolinder
2017-06-13hipe: Correct a typespecHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2017-05-22dialyzer: Warn for bad type variables of parameterized typesHans Bolinder
2017-04-05erts: Remove hipe_bifs:remove_refs_from/1Sverker Eriksson
2017-03-27hipe: Fix range analysis of 'rem' operatorMagnus Lång
2017-03-06Merge branch 'maint'Hans Bolinder
2017-02-28dialyzer: Improve a warningHans Bolinder
2017-02-28dialyzer: Fix a weird warningHans Bolinder
2017-02-14Fixed typos in lib/hipeAndrew Dryga
2017-02-03dialyzer: Do not keep the code server's type info on the heapHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Optimize collection of variablesHans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11Merge branch 'maint'Hans Bolinder
2017-01-11Merge branch 'hasse/dialyzer/fix_opaque_parms/OTP-14130' into maintHans Bolinder
2017-01-10Merge branch 'maint'Hans Bolinder
2017-01-10dialyzer: Fix check of parameterized opaque typesHans Bolinder
2016-12-21stdlib: Allow characters in types and constant patternsHans Bolinder
2016-11-23Update obsolete author e-mailsRichard Carlsson
2016-11-23Correct copyright info on hipe cerl filesRichard Carlsson
2016-11-23Merge branch 'maint'Hans Bolinder