Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-08-30 | Meta: Implement support for the "unlinkable" Wasm spectest assertion | Ali Mohammad Pur | |
2021-08-30 | Meta: Generate bigints for i64 values in LibWasm test suite files | Ali Mohammad Pur | |
2021-08-12 | Meta: Un-escape escaped strings when generating Wasm tests | Ali Mohammad Pur | |
2021-08-12 | Meta: Don't roundtrip floats for i64/i32 hex literals in wasm tests | Ali Mohammad Pur | |
2021-07-06 | Meta+LibWasm: Correctly parse the invokee name in toplevel invokes | Ali Mohammad Pur | |
2021-07-06 | Meta+LibWasm: Generate calls to functions when they don't have results | Ali Mohammad Pur | |
2021-06-22 | LibWasm: Generate all spec tests, even ones that aren't valid modules | Ali Mohammad Pur | |
`wasm-as` will do some semantic analysis on the modules, which is not something we're looking for here. Instead, use `wat2wasm` to generate the exact module. | |||
2021-06-22 | Meta+LibWasm: Add support for module linking tests | Ali Mohammad Pur | |
This commit makes the linking tests in the wasm spec test run. | |||
2021-06-04 | Meta: Don't make wasm tests pass when they cannot read a module | Ali Mohammad Pur | |
Instead, just let them be treated as failing their respective test. | |||
2021-06-02 | Meta: Make the wasm test generator cast numbers to i32 when needed | Ali Mohammad Pur | |
Otherwise the sign would be out of whack | |||
2021-06-02 | Meta: Generate failing tests for unsupported assertions in wasm tests | Ali Mohammad Pur | |
Let's not ignore a test just because our test generator doesn't understand it, assume the worst and generate a failing test case instead. | |||
2021-05-27 | Meta: Correctly parse numeric literals in wasm tests | Ali Mohammad Pur | |
This was previously parsing them as hex numbers, causing tests to fail. With this fix, 88% of the generated tests are passing :^) | |||
2021-05-21 | LibWasm+Meta: Implement instantiation/execution primitives in test-wasm | Ali Mohammad Pur | |
This also optionally generates a test suite from the WebAssembly testsuite, which can be enabled via passing `INCLUDE_WASM_SPEC_TESTS` to cmake, which will generate test-wasm-compatible tests and the required fixtures. The generated directories are excluded from git since there's no point in committing them. |