summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1285 from bjorng/bjorn/compiler/type-specsBjörn Gustavsson2017-01-1330-80/+312
|\
| * Makefile: Warn for missings specBjörn Gustavsson2017-01-121-1/+1
| * Add specs for the beam_*:module/2 functionsBjörn Gustavsson2017-01-1212-0/+38
| * beam_trim: Add types and specsBjörn Gustavsson2017-01-121-2/+5
| * beam_listing: Add types and specsBjörn Gustavsson2017-01-121-2/+12
| * beam_jump: Add types and specsBjörn Gustavsson2017-01-121-3/+14
| * beam_except: Add types and specsBjörn Gustavsson2017-01-121-3/+6
| * beam_dict: Add missing types and specsBjörn Gustavsson2017-01-121-2/+8
| * beam_clean: Add types and specsBjörn Gustavsson2017-01-121-4/+16
| * beam_bsm: Add missing types and specsBjörn Gustavsson2017-01-121-16/+22
| * v3_codegen: Add missing types and specsBjörn Gustavsson2017-01-121-0/+4
| * sys_pre_attributes: Correct and add missing types and specsBjörn Gustavsson2017-01-121-4/+18
| * core_scan: Add missing types and specsBjörn Gustavsson2017-01-121-0/+24
| * compile: Add missing types and specsBjörn Gustavsson2017-01-121-6/+21
| * cerl: Add missing types and specsBjörn Gustavsson2017-01-121-0/+12
| * v3_kernel_pp: Correct spec for format/1Björn Gustavsson2017-01-121-1/+1
| * v3_life: Add types and specsBjörn Gustavsson2017-01-121-0/+9
| * v3_life.hrl: Add types for all fieldsBjörn Gustavsson2017-01-121-3/+5
| * beam_utils: Add types and specsBjörn Gustavsson2017-01-121-4/+54
| * beam_asm: Add common types to describe operandsBjörn Gustavsson2017-01-121-0/+35
| * sys_pre_attributes: Remove unnecessary flexibilityBjörn Gustavsson2017-01-121-24/+2
| * beam_dict: Simplify the internal format of the lambda tableBjörn Gustavsson2017-01-121-5/+5
* | Merge branch 'maint'Lars Thorsen2017-01-132-11/+29
|\ \
| * \ Merge pull request #1261 from smangelsdorf/default_attrs_bugLars Thorsén2017-01-132-11/+29
| |\ \
| | * | Include explicit attrs when default_attrs=trueShaun Mangelsdorf2016-11-302-11/+29
* | | | Merge branch 'hasse/stdlib/check_type_constraints/OTP-14070/PR-1214'Hans Bolinder2017-01-134-24/+80
|\ \ \ \
| * | | | stdilb: Check for bad type constraints in function typesHans Bolinder2016-12-014-24/+80
* | | | | Merge branch 'maint'Hans Bolinder2017-01-122-3/+25
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | Merge branch 'hasse/stdlib/fix_anno_types/OTP-14131' into maintHans Bolinder2017-01-122-3/+25
| |\ \ \ \
| | * | | | stdlib: Correct signatures of functions in erl_parseHans Bolinder2017-01-102-3/+25
* | | | | | Merge branch 'maint'Björn Gustavsson2017-01-121-8/+2
|\ \ \ \ \ \ | |/ / / / /
| * | | | | Merge pull request #1305 from bjorng/bjorn/travis-dialyzerBjörn Gustavsson2017-01-121-4/+2
| |\ \ \ \ \
| | * | | | | Travis: Simplify running of dialyzerBjörn Gustavsson2017-01-121-4/+2
* | | | | | | Merge branch 'maint'Rickard Green2017-01-124-10/+64
|\ \ \ \ \ \ \ | |/ / / / / / | | | | | | / | |_|_|_|_|/ |/| | | | |
| * | | | | Merge branch 'rickard/ds-fixes' into maintRickard Green2017-01-124-10/+64
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Fix call time tracing with dirty schedulersRickard Green2017-01-114-10/+64
* | | | | | Merge branch 'maint'Hans Bolinder2017-01-1215-367/+585
|\ \ \ \ \ \ | |/ / / / /
| * | | | | Merge branch 'hasse/dialyzer/memory_opt/OTP-14126' into maintHans Bolinder2017-01-1215-367/+585
| |\ \ \ \ \
| | * | | | | dialyzer: Compact 'file' annotations in Core codeHans Bolinder2017-01-114-20/+69
| | * | | | | dialyzer: Try to reduce memory usageHans Bolinder2017-01-115-35/+74
| | * | | | | dialyzer: Use less memory when translating contractsHans Bolinder2017-01-112-53/+58
| | * | | | | dialyzer: Use maps instaed of dictHans Bolinder2017-01-116-61/+59
| | * | | | | dialyzer: Use maps instead of dict for module contracts mapHans Bolinder2017-01-115-55/+60
| | * | | | | dialyzer: Compress a few more ETS tablesHans Bolinder2017-01-111-1/+1
| | * | | | | dialyzer: Optimize memory consumptionHans Bolinder2017-01-115-38/+50
| | * | | | | dialyzer: Reduce memory consumption during 'remote' phaseHans Bolinder2017-01-112-24/+25
| | * | | | | dialyzer: Update code for finding parallelismHans Bolinder2017-01-111-3/+1
| | * | | | | compiler: Do not spawn process when dialyzingHans Bolinder2017-01-111-11/+19
| | * | | | | dialyzer: Reduce ETS usage during the typesig phaseHans Bolinder2017-01-111-22/+41
| | * | | | | dialyzer: Optimize graph condensationHans Bolinder2017-01-111-29/+12