aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl/erl_types.erl
AgeCommit message (Expand)Author
2016-06-09dialyzer: Correct typesHans Bolinder
2016-05-31Fix name of compiler option and the related warningsKostis Sagonas
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-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-15Merge branch 'maint'Hans Bolinder
2016-01-15dialyzer: Correct handling of parameters of opaque typesHans Bolinder
2015-11-16Merge branch 'lucafavatella/dialyzer-remote-type'Henrik Nord
2015-10-18Delete remote types-related dead code in erl_typesLuca Favatella
2015-10-08Take out automatic insertion of 'undefined' from typed record fieldsKostis Sagonas
2015-09-09dialyzer: Correct the handling of parameters of opaque typesHans 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
2015-08-21hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3Hans Bolinder
2015-08-19dialyzer: Fix a bug concerning parameterized opaque typesHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-06-15dialyzer: Fix a minor bug concerning opaque typesHans Bolinder
2015-06-15dialyzer: Modify warning for comparison of opaque typesHans Bolinder
2015-06-15dialyzer: Modify the handling of parametrized opaque typesHans Bolinder
2015-06-15dialyzer: Fix a bug in the expansion of formsHans Bolinder
2015-05-08dialyzer: document the type identifier()Hans Bolinder
2015-04-21hipe: Fix a bug in the handling of opaque typesHans Bolinder
2015-03-10[dialyzer] Correct handling of limited opaque typesHans Bolinder
2015-03-10[dialyzer] Limit depth and size of types from formsHans Bolinder
2015-03-10[dialyzer] Fix the conversion of forms to typesHans Bolinder
2014-08-21Merge branch 'maint'Hans Bolinder
2014-08-21dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder
2014-06-17Merge branch 'maint'Hans Bolinder
2014-06-17[dialyzer] Fix handling of literal recordsHans Bolinder
2014-05-26Merge branch 'maint'Hans Bolinder
2014-05-23hipe: fix a bug concerning typed record fieldsHans Bolinder
2014-05-13Merge branch 'maint'Hans Bolinder
2014-05-13hipe: fix a bug concerning typed record fieldsHans Bolinder
2014-05-05Remove pre-defined types dict(), digraph(), &cHans Bolinder
2014-04-29Allow more type namesHans Bolinder
2014-04-17hipe, dialyzer: Fix a bug concerning opaque typesHans Bolinder
2014-03-28Add support for the compilation of the is_map/1 guard to native codeKostis Sagonas
2014-03-26Merge branch 'aronisstav/hipe/opaque_fix'Hans Bolinder
2014-03-24Don't 'opaque-decorate' a success typing using an incompatible specStavros Aronis
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-11 13:23:53 +0000