4 Commits

Author	SHA1	Message	Date
liang.he	b2eb7d838d	Update spec test to latest commit (#3293) ... - Update spec test cases to commit bc76fd79cfe61033d7f4ad4a7e8fc4f996dc5ba8 on Apr. 3 - Update wabt binary to 1.0.34 to support newer spec cases - Add comparison between table declared elem type and table elem segment value type - Add a function to decide whether to execute test cases in a running mode - Keep using interpreter in GC spec because wat2wasm in wabt can't compile if.wast w/o errors - Re-factoring threads spec test case processing - Since wabt 1.0.34 release isn't compatible with ubuntu 20.04, compile it from source code - Disable CI to run aot multi-module temporarily, and will enable it in another PR	2024-05-17 10:40:47 +08:00
Wenyong Huang	edea32b629	Fix result arity check on select_t opcode (#2406) ... Typed select must have exactly one result. Reported in issue #2402.	2023-07-31 18:20:11 +08:00
Wenyong Huang	625d59191d	Update spec cases to latest version (#1253) ... Update spec cases of mvp/threads to latest version, update wabt to 1.0.29. And enhance the wasm loader.	2022-06-28 16:05:16 +08:00
Wenyong Huang	00663f0cd5	Import test suites to test spec cases (#736)	2021-09-09 12:49:46 +08:00