summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
Commit message (Expand)AuthorAgeFilesLines
* Allow rec groups of public function types in closed world (#6053)Alon Zakai2023-10-261-6/+16
* Fix segfault in catch validator (#6032)Philip Blair2023-10-231-26/+24
* [typed-cont] Allow result types on tags (#5997)Frank Emrich2023-10-051-4/+17
* [Parser] Parse labels and br (#5970)Thomas Lively2023-10-021-2/+5
* Refine ref.test's castType during refinalization (#5985)Thomas Lively2023-10-021-0/+4
* Support i8/i16 mutable arrays as public types for string interop (#5814)Alon Zakai2023-09-211-1/+5
* Fix validation error message for table.fill (#5953)Thomas Lively2023-09-181-4/+3
* Implement table.fill (#5949)Thomas Lively2023-09-181-0/+19
* Replace i31.new with ref.i31 everywhere (#5931)Thomas Lively2023-09-131-2/+2
* Replace I31New with RefI31 everywhere (#5930)Thomas Lively2023-09-131-2/+2
* Remove the GCNNLocals feature (#5080)Thomas Lively2023-08-311-39/+7
* Validate and fix up tuples with non-nullable elements (#5909)Thomas Lively2023-08-301-3/+6
* Rename multimemory flag (#5890)Ashley Nelson2023-08-211-2/+2
* Ensure br_on_cast* target type is subtype of input type (#5881)Thomas Lively2023-08-171-0/+5
* [NFC] Simplify `Tuple` by making it an alias of `TypeList` (#5775)Thomas Lively2023-06-201-1/+1
* Validate tag param types (#5759)Alon Zakai2023-06-081-0/+5
* Strings: Add initial validation checks (#5758)Alon Zakai2023-06-081-0/+91
* [NFC] Refactor each of ArrayNewSeg and ArrayInit into subclasses for Data/Ele...Alon Zakai2023-05-041-55/+86
* Implement array.fill, array.init_data, and array.init_elem (#5637)Thomas Lively2023-04-061-12/+110
* Support multiple memories in RemoveUnusedModuleElements (#5604)Thomas Lively2023-04-041-6/+1
* Use Names instead of indices to identify segments (#5618)Thomas Lively2023-04-041-9/+9
* [NFC] Remove our bespoke `make_unique` implementation (#5613)Thomas Lively2023-03-311-1/+1
* Do not treat `atomic.fence` as using a memory (#5603)Thomas Lively2023-03-291-2/+0
* Add bulk-array.wast spec test outline (#5568)Thomas Lively2023-03-161-18/+11
* Make constant expression validation stricter (#5557)Thomas Lively2023-03-101-36/+29
* [NFC] Internally rename `ArrayInit` to `ArrayNewFixed` (#5526)Thomas Lively2023-02-281-2/+2
* Fix validation of DataDrop (#5517)Alon Zakai2023-02-231-3/+6
* Replace `RefIs` with `RefIsNull` (#5401)Thomas Lively2023-01-091-6/+7
* Support br_on_cast null (#5397)Thomas Lively2023-01-051-3/+8
* Allow non-nullable ref.cast of nullable references (#5386)Thomas Lively2023-01-041-5/+5
* Support `ref.test null` (#5368)Thomas Lively2022-12-211-1/+1
* Update RefCast representation to drop extra HeapType (#5350)Thomas Lively2022-12-201-1/+7
* Do not optimize public types (#5347)Thomas Lively2022-12-161-0/+39
* Allow casting to basic heap types (#5332)Thomas Lively2022-12-081-28/+33
* Fix validation and inlining bugs (#5301)Thomas Lively2022-11-291-2/+5
* Validator: Print the field number on subtyping errors (#5297)Alon Zakai2022-11-291-4/+6
* [NFC] Expand comment about validating function type features (#5286)Thomas Lively2022-11-221-1/+3
* Validate that GC is enabled for rec groups and supertypes (#5279)Thomas Lively2022-11-221-0/+3
* Implement `array.new_data` and `array.new_elem` (#5214)Thomas Lively2022-11-071-0/+68
* Fix binary parsing of data segment memory (#5208)Thomas Lively2022-11-031-3/+5
* [NFC] Mention relevant flags in validator errors (#5203)Alon Zakai2022-11-011-93/+116
* Remove excessive validation that is not in the wasm spec (#5167)Alon Zakai2022-10-201-28/+1
* Implement `array` basic heap type (#5148)Thomas Lively2022-10-181-6/+28
* Validate memory initial < max only if memory hasMax (#5125)Ashley Nelson2022-10-071-2/+4
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-29/+73
* Refactor interaction between Pass and PassRunner (#5093)Thomas Lively2022-09-301-1/+3
* Remove typed-function-references feature (#5030)Thomas Lively2022-09-091-17/+8
* [Wasm GC] Support non-nullable locals in the "1a" form (#4959)Alon Zakai2022-08-311-26/+36
* Implement `extern.externalize` and `extern.internalize` (#4975)Thomas Lively2022-08-291-0/+35
* Adding Multi-Memories Wasm Feature (#4968)Ashley Nelson2022-08-251-0/+6
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 01:30:52 +0000