summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_validator.erl
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'bjorn/compiler/beam_validator/25/GH-7147/OTP-18565' into maintBjörn Gustavsson2023-05-021-1/+1
|\
| * Fix two type-related bugsBjörn Gustavsson2023-05-021-1/+1
* | Update copyright yearErlang/OTP2023-04-251-1/+1
* | beam_validator: Skip unnecessary type updatesJohn Högberg2023-03-031-0/+2
|/
* Merge branch 'john/compiler/validator-fix-ne-inference/OTP-18365' into maint-25John Högberg2022-12-151-2/+2
|\
| * beam_validator: Fix logic bug in '=/=' inferenceJohn Högberg2022-12-151-2/+2
* | beam_validator: Fix validation failure for failing applyBjörn Gustavsson2022-04-041-7/+16
* | compiler: Limit fun arities to ?MAX_FUNC_ARGS (255)John Högberg2022-03-171-2/+2
* | beam_validator: Fix {test,is_function2, ...} validationJohn Högberg2022-02-231-0/+13
* | Merge pull request #5734 from jhogberg/john/compiler/fix-is_function-validationJohn Högberg2022-02-221-0/+10
|\ \
| * | compiler: Fix type inference for variable is_function/2John Högberg2022-02-211-0/+10
* | | Merge pull request #5736 from bjorng/bjorn/compiler/quote-maybeBjörn Gustavsson2022-02-221-6/+6
|\ \ \
| * | | Quote all occurrences of the `maybe` atomBjörn Gustavsson2022-02-211-6/+6
* | | | Merge pull request #5721 from jhogberg/john/jit/optimize-map-lookups/OTP-17913John Högberg2022-02-211-18/+35
|\ \ \ \ | |/ / / |/| | |
| * | | jit: Optimize map lookupsJohn Högberg2022-02-171-18/+35
| |/ /
* | | Update copyright yearErlang/OTP2022-02-151-1/+1
|/ /
* | Derive ranges from matching of signed integer segmentsBjörn Gustavsson2022-02-101-5/+12
* | Provide more information for failed record operationsBjörn Gustavsson2022-02-091-0/+3
* | Annotate the bs_create_bin instruction with typesBjörn Gustavsson2022-01-311-1/+2
* | beam_ssa_type: Infer the type for a tuple used as a lookup tableBjörn Gustavsson2022-01-311-1/+22
* | Eliminate confusing `case_clause` exceptionBjörn Gustavsson2022-01-141-1/+12
* | compiler: Embed known targets in call_fun2 instructionsJohn Högberg2022-01-111-2/+17
* | compiler: Track fun targetsJohn Högberg2021-12-221-8/+13
* | Merge PR-5479 from sverker/sverker/nifs-attribute OTP-17151Sverker Eriksson2021-12-201-1/+2
|\ \
| * | Add -nifs() attribute and nif_start instructionSverker Eriksson2021-12-201-1/+2
* | | Merge pull request #5514 from jhogberg/john/jit/misc-optimizationsJohn Högberg2021-12-171-1/+3
|\ \ \ | |/ / |/| |
| * | jit: Optimize float instructionsJohn Högberg2021-12-161-1/+3
* | | Merge branch 'maint'Rickard Green2021-12-131-1/+1
|\ \ \
| * | | Update copyright yearRickard Green2021-12-131-1/+1
* | | | compiler: Improve handling of container typesJohn Högberg2021-12-081-22/+47
| |/ / |/| |
* | | compiler: Optimize fun callsJohn Högberg2021-11-101-0/+23
* | | compiler: Add type information to instruction operandsJohn Högberg2021-10-291-28/+61
* | | Merge pull request #5281 from bjorng/bjorn/bs-construction/GH-4971/OTP-17504Björn Gustavsson2021-10-221-0/+63
|\ \ \
| * | | compiler: Add a new instruction for creating binariesBjörn Gustavsson2021-10-151-0/+63
* | | | compiler: Remove some vestigial code for OTP 21 supportJohn Högberg2021-10-071-14/+9
|/ / /
* | | Remove support for BEAM files compiled before OTP 22Björn Gustavsson2021-09-271-41/+0
|/ /
* | Merge branch 'john/compiler/validator-container-type-subtraction-pt3/OTP-1743...John Högberg2021-05-281-2/+4
|\ \
| * | beam_validator: Fix silly mistake in infer_typesJohn Högberg2021-05-271-2/+4
* | | Merge branch 'john/compiler/validator-container-type-subtraction-pt2/GH-4774/...John Högberg2021-05-261-0/+25
|\ \ \ | |/ /
| * | beam_validator: Update containers in infer_types/4John Högberg2021-05-251-0/+25
* | | Merge branch 'maint'John Högberg2021-05-071-11/+5
|\ \ \ | |/ /
| * | Revert "Merge branch 'john/compiler/validator-container-type-subtraction/GH-4...John Högberg2021-05-071-11/+5
* | | Merge branch 'maint'John Högberg2021-05-041-5/+11
|\ \ \ | |/ /
| * | beam_validator: Support subtraction in update_container_type/4John Högberg2021-04-271-5/+11
| |/
* | compiler: Use receive markers in demonitor/2 when possibleJohn Högberg2021-02-191-0/+3
* | beam_validator: More bit syntax alignment inference fixesJohn Högberg2021-02-051-4/+2
* | beam_validator: Fix bitstring unit inferenceJohn Högberg2021-02-021-6/+13
* | Merge branch 'richcarl/columns/PR-2664/OTP-16824'Hans Bolinder2021-02-011-1/+1
|\ \
| * | Fix obsolete error format in beam_validatorRichard Carlsson2021-01-251-1/+1
* | | compiler: Stop emitting the fclearerror and fcheckerror instructionsBjörn Gustavsson2021-01-291-18/+1
View Lorry Controller Status