summaryrefslogtreecommitdiff
path: root/test/lit/validation
Commit message (Expand)AuthorAgeFilesLines
* Print function types on function imports in the text format (#5727)Alon Zakai2023-05-171-1/+1
* Remove the --hybrid and --nominal command line options (#5669)Thomas Lively2023-04-142-2/+2
* Use Names instead of indices to identify segments (#5618)Thomas Lively2023-04-042-2/+2
* Make constant expression validation stricter (#5557)Thomas Lively2023-03-102-4/+12
* Note function signature param/result features for validation (#5542)Alon Zakai2023-03-032-0/+26
* Validation: Function types with multiple results require multivalue (#5535)Alon Zakai2023-03-011-0/+19
* Fix validation of DataDrop (#5517)Alon Zakai2023-02-231-0/+13
* [Wasm GC] Ignore call.without.effects for closed world validation (#5392)Alon Zakai2023-01-041-0/+46
* Do not optimize public types (#5347)Thomas Lively2022-12-161-0/+78
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-232-2/+2
* Validate that GC is enabled for rec groups and supertypes (#5279)Thomas Lively2022-11-222-0/+30
* Revert "Revert "Make `call_ref` type annotations mandatory (#5246)" (#5265)" ...Thomas Lively2022-11-161-1/+2
* Revert "Make `call_ref` type annotations mandatory (#5246)" (#5265)Thomas Lively2022-11-161-2/+1
* Make `call_ref` type annotations mandatory (#5246)Thomas Lively2022-11-151-1/+2
* [NFC] Mention relevant flags in validator errors (#5203)Alon Zakai2022-11-011-1/+1
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-8/+4
* [Wasm GC] Support non-nullable locals in the "1a" form (#4959)Alon Zakai2022-08-312-9/+69
* Validator: Validate intrinsics (#4880)Alon Zakai2022-08-161-0/+23
* [Wasm GC] Fix CFG traversal of call_ref and add missing validation check (#4690)Alon Zakai2022-05-253-0/+60
* Validator: Check features for ref.null's type (#4677)Alon Zakai2022-05-181-0/+19
* [Wasm GC] Fix non-nullable tuples (#4555)Alon Zakai2022-03-301-0/+17
* Add support for extended-const proposal (#4529)Sam Clegg2022-03-191-0/+24
* Introduce lit/FileCheck tests (#3367)Thomas Lively2020-11-181-0/+11
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-13 16:09:37 +0000