Skip to content

allow more complex type instantiation for uextend in tests#69

Merged
avanhatt merged 1 commit intoverify-mainfrom
tests
Apr 15, 2023
Merged

allow more complex type instantiation for uextend in tests#69
avanhatt merged 1 commit intoverify-mainfrom
tests

Conversation

@avanhatt
Copy link
Copy Markdown
Owner

No description provided.

@avanhatt avanhatt merged commit 17f5910 into verify-main Apr 15, 2023
avanhatt pushed a commit that referenced this pull request May 26, 2023
)

* filesystem: fill in remaining todo'd methods which have wasi-common implementations

* turn on fd_filestat_set, path_rename_dir_trailing_slashes, and symlink_filestat tests, which now pass

* change expect_fail to a function

* filesystem set flags: return Notsup instead of panic
avanhatt pushed a commit to wellesley-prog-sys/wasmtime that referenced this pull request Sep 23, 2024
This PR changes the `isaspec` tool to generate multiple files.

As we extend the use of ASLp, we are generating a lot of spec code. This
is especially true for `BitRR` which we'll be adding soon. Allowing the
tool to generate more than one file will hopefully make them a bit more
manageable.

Updates #35 avanhatt#62
avanhatt pushed a commit that referenced this pull request Jan 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant