Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More tests: output_reg, operand_size #71

Merged
merged 3 commits into from
Apr 17, 2023
Merged

More tests: output_reg, operand_size #71

merged 3 commits into from
Apr 17, 2023

Conversation

avanhatt
Copy link
Owner

No description provided.

@avanhatt avanhatt merged commit 1f2f540 into verify-main Apr 17, 2023
avanhatt pushed a commit that referenced this pull request May 26, 2023
* Use a more targeted means of specifying link flags

I had forgotten earlier that this could be done with build scripts so do
that in the adapter's build script rather than as auxiliary rust flags.

* Remove `.cargo/config.toml` file

This now only serves the purpose to enable bulk-memory which is
relatively minor. This removes the file for now and wasm features can
always be reenabled at a later date if file size is truly an issue.
avanhatt pushed a commit to wellesley-prog-sys/wasmtime that referenced this pull request Sep 23, 2024
Generate ASLp-based spec for the `BitRR` instruction `Cls` opcode.

Updates avanhatt#35 avanhatt#42 avanhatt#62
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