aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
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
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-28hipe,compiler: Fix Map literals pretty printingBjörn-Egil Dahlberg
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
2014-03-24hipe: Correct last commit of OTP-10342Hans Bolinder
2014-03-24stdlib: warn if the type map() is redefinedHans Bolinder
2014-03-24hipe: Add a few clauses for maps in erl_typesHans Bolinder
2014-03-19Merge branch 'kostis/hipe-rc2-patch'Henrik Nord
2014-03-17hipe: Properly identify map() type form termsBjörn-Egil Dahlberg
2014-03-05Add types for new HiPE BIFsKostis Sagonas
2014-02-26Cleanup and make sure warnings are treated as errorsKostis Sagonas
2014-02-26Add specs for exported functions (to shut off a warning) and types in some re...Kostis Sagonas
2014-02-24Merge branch 'lukas/ose/master/OTP-11334'Lukas Larsson
2014-02-24Added support for ENEA OSELukas Larsson
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-22Introduce parameterized opaque typesHans Bolinder
2014-02-22Fix a bug concerning parameterized typesHans Bolinder
2014-02-22Solve remote types in parametersHans Bolinder
2014-01-29hipe: Fixup update cerl pretty printerBjörn-Egil Dahlberg
2014-01-29hipe: Update cerl pretty printerBjörn-Egil Dahlberg
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2013-10-09Fix crash when using remote types in the tail of list typesKostis Sagonas
2013-03-10Add type info for hipe_bifs:nstack_used_size/0Kostis Sagonas