forks/wabt.git -

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update testsuite (#2495)	Keith Winstein	2024-10-30	1	-1/+14
\| \| \| \| \|	The memory64 `table.wast` test has started to depend on function-references and gc (which WABT doesn't support yet), so vendor an older version of the test.
*	update br_table validation rule + enforce module validity in spectest-interp ↵	Keith Winstein	2022-04-13	1	-1/+1
\| \| \| \|	(#1895)
*	Add error locations to BinaryReaderInterp (#1780)	Sam Clegg	2021-12-09	1	-37/+37
\| \| \| \|	I think it was always intended to work this way but was left as a TODO.
*	interpreter: Allow traps to include custom error strings (#1236)	Sam Clegg	2019-11-19	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \|	This means we can give more precise/useful errors for runtime failures. Change interp::Result from an enum to struct so it can hold the result enum plus an optional detailed error message. Add TRAP_MSG and TRAP_IF_MSG macros that work just like TRAP and TRAP_IF but contain a format string and printf-like arguments which are formatted to produce the error message.
*	spectest-interp: Report when assert_trap passes and include error string. ↵	Sam Clegg	2019-11-19	1	-0/+1
\| \| \| \|	NFC (#1235)
*	Update spec testsuite (#1111)	Ben Smith	2019-07-16	1	-1/+1
\| \| \| \| \|	* Remove passive keyword from bulk-memory * Fix rounding on hex floats * Allow underscores in NaN payloads
*	Update testsuite; enable mut. globals by default (#884)	Ben Smith	2018-08-03	1	-14/+287
\| \| \| \| \| \| \| \|	The newest testsuite update enables mutable globals by default, which matches the v1 WebAssembly spec. This change changes the default for all wabt tools, and changes the flag to `--disable-mutable-globals` in case you need the previous behavior. This flag will likely be removed in the future.
*	Fix run-tests.py when STDIN_FILE is used > 1 times (#711)	Ben Smith	2018-01-09	1	-10/+10
\| \| \| \| \| \| \| \| \| \|	Each test should be run with its own directory of outputs, so the tests can be run in parallel without clobbering results. Since I added wasm2c, the spec `.wast` files were being used twice, but using the same output directory. This would often work properly in a full run, but was flaky, since they both write `.json` and `.wasm` files with the same names. This fix gives them their own directories by always using the directory name of the test.
*	Use `.wat` extension for wast2json-generated files (#669)	Ben Smith	2017-11-13	1	-4/+4
\| \| \|	Fixes #668.
*	Remove BinaryErrorHandler, rename SourceErrorHandler (#553)	Ben Smith	2017-07-06	1	-6/+6
\| \| \| \| \| \| \|	Since SourceErrorHandler can support binary locations, it doesn't make much sense to have two different error handlers. There is now only an ErrorHandler base class, and the first argument specifies whether the error handler is expecting text or binary locations.
*	Update testsuite; more lexer/parser changes (#484)	Ben Smith	2017-06-11	1	-0/+27
	* Add support for quoted modules: `(module quote "...")` * Binary modules must be annotated: `(module binary "...")` * Multiple result blocks are no longer a parser error: `(func (result i32) (result i32) ...)` * Function types can specify unused bind variables: `(type (func (param $foo)))` * Rename `RawModule` -> `ScriptModule`. This encapsulates a module that may not be parsed yet, whether binary or "quoted". * Validate load/store offsets and alignment in the parser, not in the validator. The spec tests assume that you can catch these errors with `assert_malformed`. * Parse wast files in `wasm-interp` when checking malformed/invalid/etc. modules. This allows us to run all assertions at the same time, which is nice. `wasm-interp` should probably be renamed, though. * Two tests in `type.wast` fail because they use: `(assert_invalid (module quote "..."))`. I'd prefer that we don't support this, since it's unnecessary, and additional work. I'll fix in a follow-up CL if we decide this is worth keeping.