summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_types.hrl
Commit message (Expand)AuthorAgeFilesLines
* compiler: Track bitstring append-ability in the type systemFrej Drejhammar2023-02-101-1/+6
* compiler: Introduce the identifier typeBjörn Gustavsson2023-01-051-4/+6
* Introduce version 2 of type informationBjörn Gustavsson2022-06-151-1/+1
* compiler: Add `update_record` instruction.John Högberg2022-06-031-0/+3
* Improve the type analysisBjörn Gustavsson2022-05-261-22/+34
* compiler: Limit fun arities to ?MAX_FUNC_ARGS (255)John Högberg2022-03-171-0/+1
* Update copyright yearErlang/OTP2022-02-151-1/+1
* Introduce a new version of type informationBjörn Gustavsson2022-01-311-1/+1
* compiler: Track fun targetsJohn Högberg2021-12-221-0/+1
* Merge branch 'maint'Rickard Green2021-12-131-1/+1
|\
| * Update copyright yearRickard Green2021-12-131-1/+1
* | compiler: Add type information to instruction operandsJohn Högberg2021-10-291-0/+9
* | compiler: Remove some vestigial code for OTP 21 supportJohn Högberg2021-10-071-4/+2
|/
* beam_types_SUITE: Refactor type generationJohn Högberg2020-02-131-0/+6
* beam_types: Improve the type lattice documentationJohn Högberg2020-02-041-0/+26
* compiler: Make map types more preciseJohn Högberg2019-11-281-1/+7
* beam_types: Explain ?TUPLE_ELEMENT_LIMIT and fix a commentJohn Högberg2019-11-271-0/+12
* compiler: Keep track of 'fun' return typesJohn Högberg2019-11-211-1/+2
* compiler: Add typed listsJohn Högberg2019-11-211-7/+17
* beam_types: Fix typespec for #t_atom{}John Högberg2019-11-201-1/+1
* compiler: Make float literals expressible as singleton typesJohn Högberg2019-10-231-6/+9
* compiler: Refactor binary match context unit optimizationJohn Högberg2019-10-231-17/+21
* compiler: Limit tuple element type information to first 12 elementsJohn Högberg2019-10-071-7/+5
* compiler: Introduce union typesJohn Högberg2019-07-051-5/+24
* beam_validator: Clean up abstract/match context type handlingJohn Högberg2019-07-051-5/+2
* beam_validator: Replace old type representation with beam_typesJohn Högberg2019-06-121-2/+5
* compiler: Move "known functions" to beam_typesJohn Högberg2019-06-121-15/+26
* compiler: Break out SSA/beam type definitions into a separate moduleJohn Högberg2019-06-121-0/+58
View Lorry Controller Status