aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
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-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
2015-08-24Merge branch 'maint'Hans Bolinder
2015-08-21hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3Hans Bolinder
2015-08-19Merge branch 'maint'Hans Bolinder
2015-08-19dialyzer: Fix a bug concerning parameterized opaque typesHans Bolinder
2015-07-11Teach Dialyzer arity of funs with literal arityLuca Favatella
2015-07-10ose: Remove all code related to the OSE portLukas Larsson
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-29Merge branch 'kostis/cerl_pmatch'Zandra Hird
2015-05-27Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0Magnus Henoch
2015-05-12Allow use of complete interface of cerl_pmatch moduleKostis Sagonas
2015-05-08dialyzer: document the type identifier()Hans Bolinder
2015-04-30hipe: Use module erl_annoHans 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
2015-01-26hipe: remove two obsolete BIFsMikael Pettersson
2014-08-21Merge branch 'maint'Hans Bolinder
2014-08-21dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder
2014-06-30Merge branch 'maint'Hans Bolinder
2014-06-26hipe: Correct pretty-printing of bitstringsHans Bolinder
2014-06-17Merge branch 'maint'Hans Bolinder
2014-06-17[dialyzer] Fix handling of literal recordsHans Bolinder
2014-05-26Merge branch 'maint'Björn-Egil Dahlberg
2014-05-26Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maintBjörn-Egil Dahlberg
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