summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Multi-Memories Validate (#4945)Ashley Nelson2022-08-231-37/+43
* Validator: Validate unreachable calls more carefully (#4909)Alon Zakai2022-08-181-0/+57
* Restore the `extern` heap type (#4898)Thomas Lively2022-08-171-4/+4
* Mutli-Memories Support in IR (#4811)Ashley Nelson2022-08-171-64/+76
* Validator: More carefully check for stale types (#4907)Alon Zakai2022-08-161-4/+8
* Validator: Validate intrinsics (#4880)Alon Zakai2022-08-161-8/+55
* Function-level pass-debug mode 2 validation (#4897)Alon Zakai2022-08-121-0/+17
* [EH] Pop should be supertype of tag type (#4901)Heejin Ahn2022-08-111-1/+1
* Remove RTTs (#4848)Thomas Lively2022-08-051-126/+17
* Remove basic reference types (#4802)Thomas Lively2022-07-201-18/+10
* First class Data Segments (#4733)Ashley Nelson2022-06-211-20/+20
* Update relaxed SIMD instructionsThomas Lively2022-06-071-2/+1
* [NFC] Refactor EHUtils::findPops() method (#4704)Alon Zakai2022-06-011-25/+2
* [Wasm GC] Fix CFG traversal of call_ref and add missing validation check (#4690)Alon Zakai2022-05-251-0/+32
* Validator: Check features for ref.null's type (#4677)Alon Zakai2022-05-181-0/+5
* Remove externref (#4633)Thomas Lively2022-05-041-7/+4
* [NominalFuzzing] Add a validation error on ref.cast's etc. intended type (#4606)Alon Zakai2022-04-211-0/+7
* Implement relaxed SIMD dot product instructions (#4586)Thomas Lively2022-04-111-1/+3
* [SIMD] Make swizzle's opcode name consistent (NFC) (#4585)Heejin Ahn2022-04-091-2/+2
* Implement i16x8.relaxed_q15mulr_s (#4583)Thomas Lively2022-04-071-1/+2
* [Wasm GC] Fix non-nullable tuples (#4555)Alon Zakai2022-03-301-4/+4
* Add support for extended-const proposal (#4529)Sam Clegg2022-03-191-9/+20
* Fix an assertion in the validator on call_ref heaptypes (#4496)Alon Zakai2022-02-031-4/+5
* [EH] Enable fuzzer with initial contents (#4409)Heejin Ahn2022-01-041-1/+2
* Modernize code to C++17 (#3104)Max Graey2021-11-221-5/+2
* Change from storing Signature to HeapType on CallIndirect (#4352)Thomas Lively2021-11-221-5/+9
* Add support for relaxed-simd instructions (#4320)Ng Zhi An2021-11-151-1/+10
* [EH] Improve catch validation (#4315)Heejin Ahn2021-11-081-0/+65
* Fix RTTs for RTT-less instructions (#4294)Thomas Lively2021-11-031-1/+4
* Add table.grow operation (#4245)Max Graey2021-10-181-0/+19
* Add table.size operation (#4224)Max Graey2021-10-081-0/+9
* Add table.set operation (#4215)Max Graey2021-10-071-0/+17
* Implement table.get (#4195)Alon Zakai2021-09-301-0/+15
* [Wasm GC] Implement static (rtt-free) StructNew, ArrayNew, ArrayInit (#4172)Alon Zakai2021-09-231-12/+36
* [Wasm GC] Add static variants of ref.test, ref.cast, and br_on_cast* (#4163)Alon Zakai2021-09-201-12/+49
* Add an Intrinsics mechanism, and a call.without.effects intrinsic (#4126)Alon Zakai2021-09-101-0/+11
* [Wasm GC] ArrayInit support (#4138)Alon Zakai2021-09-101-0/+26
* Support subtyping in tail calls (#4032)Thomas Lively2021-07-281-5/+7