Also do dev releases when merging into dev tag branch#260
Merged
tschneidereit merged 1 commit intobytecodealliance:masterfrom Aug 7, 2019
Merged
Conversation
dhil
added a commit
to dhil/wasmtime
that referenced
this pull request
Nov 27, 2024
avanhatt
added a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Add spec for `safe_divisor_from_imm64` and verify rule. Updates bytecodealliance#260
avanhatt
added a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
More `i128`, add tags for `narrowfloat` and `atomics` ```bash ./script/status.sh --name aarch64 --include-tag wasm_proposal_mvp --skip-tag vector --skip-tag i128 --skip-tag atomics --skip-tag narrowfloat ``` Updates bytecodealliance#260 avanhatt#47
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Provide spec for CLIF load instruction `uload32`. Updates bytecodealliance#260
avanhatt
added a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
added a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Simple passthrough with narrowed type. Updates bytecodealliance#260 Co-authored-by: Alexa VanHattum <av111@wellesley.edu>
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Generate specs for `Fpu{Load,Store}{32,64}`.
Updates bytecodealliance#260
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Provide CLIF spec for `istore32`. Updates bytecodealliance#260 Co-authored-by: Michael McLoughlin <mcloughlin@cmu.edu>
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Verify the `{u,s}extend` of a `load` rules.
These require specs for some `sink` terms, which we model as a no-op in
the verification domain.
These rules also have a lot of expansions, so marked `slow`.
Updates bytecodealliance#260
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Specification for the `sload32` CLIF term. Updates bytecodealliance#260
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Add specs for `{u,s}load<N>` and `istore<N>`.
Refactor the load and store specs to use shared macros.
Updates bytecodealliance#260
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Tagging 128-bit rules and a spec for `ty_float_or_vec`. Updates bytecodealliance#260
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
avanhatt
pushed a commit
to wellesley-prog-sys/wasmtime
that referenced
this pull request
Apr 9, 2025
Write JSON results to log directory. Updates avanhatt#47 bytecodealliance#260
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Under circumstances that I don't fully understand, Pipelines thinks that a merge into
masteris a merge into thedevtag. (Probably if those are pointing to the same commit, but that doesn't seem to always hold.)This change treats the
devtag the same way asmaster, and thus fixes this issue.