summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
Commit message (Expand)AuthorAgeFilesLines
* Preserve Function HeapTypes (#3952)Thomas Lively2021-06-301-14/+14
* [EH] Make tag's attribute encoding detail (#3947)Heejin Ahn2021-06-211-4/+0
* [EH] Replace event with tag (#3937)Heejin Ahn2021-06-181-21/+20
* [Wasm GC] Add experimental support for non-nullable locals (#3932)Alon Zakai2021-06-151-0/+3
* [EH] Allow catch/delegate-less trys (#3924)Heejin Ahn2021-06-101-3/+0
* [Wasm GC] Properly validate BrOn* (#3928)Alon Zakai2021-06-081-1/+1
* [Wasm GC] Add negated BrOn* operations (#3913)Alon Zakai2021-06-021-2/+2
* [Wasm GC] Add experimental array.copy (#3911)Alon Zakai2021-05-271-0/+26
* Remove Type ordering (#3793)Thomas Lively2021-05-181-1/+1
* Rename SIMD extending load instructions (#3798)Daniel Wirtz2021-04-121-6/+6
* Rename various SIMD load instructions (#3795)Daniel Wirtz2021-04-111-6/+6
* RefFunc: Validate that the type is non-nullable, and avoid possible bugs in t...Alon Zakai2021-04-081-0/+2
* Add v128.load/storeN_lane SIMD instructions to C/JS API (#3784)Daniel Wirtz2021-04-081-8/+8
* [RT] Add type to tables and element segments (#3763)Abbas Mashayekh2021-04-061-7/+76
* Update SIMD names and opcodes (#3771)Thomas Lively2021-04-051-21/+21
* Scan module-level code in necessary places (#3744)Alon Zakai2021-03-291-0/+14
* [Wasm GC] Properly validate struct.new number of operands (#3726)Alon Zakai2021-03-251-9/+10
* Validator: Pass the module along when printing errors, so type names are used...Alon Zakai2021-03-241-7/+10
* [Wasm GC] Validate the number of arguments in struct.new (#3723)Alon Zakai2021-03-241-0/+4
* [RT] Support expressions in element segments (#3666)Abbas Mashayekh2021-03-241-7/+37
* [Wasm GC] Add support for non-nullable types, all except for locals (#3710)Alon Zakai2021-03-231-3/+1
* [Wasm GC] Validate static subtyping in rtt.sub (#3696)Alon Zakai2021-03-161-0/+3
* Validate code in global data structures (#3694)Alon Zakai2021-03-161-3/+14
* Remove LUB calculation (#3669)Thomas Lively2021-03-111-80/+23
* Make unreachable a subtype of everything (#3673)Thomas Lively2021-03-111-87/+56
* [Wasm GC] Allow set values to be subtypes (#3665)Alon Zakai2021-03-091-8/+8
* [reference-types] Support passive elem segments (#3572)Abbas Mashayekh2021-03-051-13/+17
* [Wasm Exceptions] Properly ensure unique Try labels after an inlining (#3632)Alon Zakai2021-03-011-0/+3
* Use enum instead of bool for StackSignature kind (#3625)Thomas Lively2021-02-261-5/+9
* [Wasm GC] Add array.wast and validator fixes for it (#3622)Alon Zakai2021-02-261-0/+1
* Support 64-bit data segment init-exps in Memory64 (#3593)Wouter van Oortmerssen2021-02-251-8/+17
* [EH] Make rethrow's target a try label (#3568)Heejin Ahn2021-02-181-14/+22
* [EH] Rename delegateTarget to exceptionTarget (NFC) (#3562)Heejin Ahn2021-02-131-8/+8
* [EH] Support reading/writing of delegate (#3561)Heejin Ahn2021-02-121-1/+67
* StackSignature subtypes and LUBs (#3543)Thomas Lively2021-02-111-3/+5
* [reference-types] remove single table restriction in IR (#3517)Abbas Mashayekh2021-02-091-18/+30
* Use unordered maps of Name where possible (#3546)Alon Zakai2021-02-051-1/+1
* [GC] Do not crash on unreachable inputs to struct.get/set (#3542)Alon Zakai2021-02-031-0/+16
* [GC] Add br_on_func/data/i31 (#3525)Alon Zakai2021-01-281-8/+13
* [GC] Update br_on_cast: the text format also no longer has a heap type (#3523)Alon Zakai2021-01-271-9/+6
* [GC] RefIsNull => RefIs. (#3516)Alon Zakai2021-01-261-4/+4
* Reorder i31ref and dataref (#3509)Heejin Ahn2021-01-231-2/+2
* Remove exnref and br_on_exn (#3505)Heejin Ahn2021-01-221-37/+0
* [GC] Add dataref type (#3500)Alon Zakai2021-01-211-1/+3
* Update interpreter for new EH spec (#3498)Heejin Ahn2021-01-211-4/+2
* Prototype additional f64x2 conversions (#3501)Thomas Lively2021-01-191-0/+6
* Basic EH instrucion support for the new spec (#3487)Heejin Ahn2021-01-151-14/+20
* [GC] Add Type::IsDefaultable and use that to do more validation (#3456)Alon Zakai2021-01-111-6/+3
* [GC] Validate that struct.set is to a mutable field. (#3473)Alon Zakai2021-01-081-1/+4
* [GC] Fix parsing/printing of ref types using i31 (#3469)Alon Zakai2021-01-071-1/+3