aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2016-06-10Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'Hans Bolinder
2016-06-09Remove support for '...' in Maps typesHans Bolinder
2016-06-09dialyzer: Improve the translation of forms to typesHans Bolinder
2016-06-09dialyzer: Use a cache when translating forms to typesHans Bolinder
2016-06-09dialyzer: Prepare erl_types:t_from_form() for a cacheHans Bolinder
2016-06-09dialyzer: Optimize erl_types:t_form_form()Hans Bolinder
2016-06-09dialyzer: Correct typesHans Bolinder
2016-05-31Fix name of compiler option and the related warningsKostis Sagonas
2016-05-30Reintroduce erlang:halt/0/1 in erl_bif_types.erlSverker Eriksson
2016-05-25erts: Implement halt/0 and halt/1 in ErlangSverker Eriksson
2016-05-04Declare the erl_types:var_table() type as opaqueKostis Sagonas
2016-05-04hipe: Use maps for unification and substitutionHans Bolinder
2016-05-04dialyzer: Use maps instead of dictHans Bolinder
2016-04-29dialyzer: Fix a bug in the translation of forms to typesHans Bolinder
2016-04-28erl_types: Don't consider opaque keys singletonMagnus Lång
2016-04-28erl_types: Fix t_subtract/2 correctness bugMagnus Lång
2016-04-28erl_types: Fix crash merging maps with opaque keysMagnus Lång
2016-04-28erl_bif_types: Add a selection of maps BIFsMagnus Lång
2016-04-28erl_types: Add a map type representationMagnus Lång
2016-03-15update copyright-yearHenrik Nord
2016-02-10Merge branch 'maint'Hans Bolinder
2016-02-09dialyzer: Correct byte_size() and comparisonsHans Bolinder
2016-02-02Merge branch 'maint'Zandra
2016-02-02Merge branch 'margnus1/bs_unit_fix' into maintZandra
2016-02-01dialyzer: Remove t_parameterized_module/0 from erl_typesStavros Aronis
2016-01-26Refactor usage of opaques() typeLuca Favatella
2016-01-20hipe: Improve typesHans Bolinder
2016-01-18Merge branch 'maint'Björn-Egil Dahlberg
2016-01-18Merge branch 'egil/improve-map-cerl-prettypr/OTP-13238' into maintBjörn-Egil Dahlberg
2016-01-15Merge branch 'maint'Hans Bolinder
2016-01-15dialyzer: Correct handling of parameters of opaque typesHans Bolinder
2016-01-14compiler, hipe: Fix pretty printing of Core MapsBjörn-Egil Dahlberg
2016-01-14hipe: Fix map pretty printing of pairsBjörn-Egil Dahlberg
2015-11-27hipe: test unit size match in bs_put_binary_allMagnus Lång
2015-11-16Merge branch 'lucafavatella/dialyzer-remote-type'Henrik Nord
2015-10-30hipe/dialyzer: Remove functions from erl_bif_typesHans Bolinder
2015-10-27Merge branch 'maint'Henrik Nord
2015-10-27Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maintHenrik Nord
2015-10-18Delete remote types-related dead code in erl_typesLuca Favatella
2015-10-09Update and cleanup HiPE recordsKostis Sagonas
2015-10-08Take out automatic insertion of 'undefined' from typed record fieldsKostis Sagonas
2015-09-09Merge branch 'maint'Hans Bolinder
2015-09-09dialyzer: Correct the handling of parameters of opaque typesHans Bolinder
2015-09-07Merge branch 'maint'Hans Bolinder
2015-09-04dialyzer: Fix erlang:abs/1Hans Bolinder
2015-08-25Merge branch 'maint'Hans Bolinder
2015-08-25dialyzer: Optimize expansion of parameters of opaque typesHans Bolinder
2015-08-25dialyzer: Optimize the expansion of parameterized types somewhatHans Bolinder
2015-08-25dialyzer: Improve the handling of recursive parameterized opaque typesHans Bolinder
2015-08-25dialyzer: Generalize an argument of erl_types:t_from_form()Hans Bolinder