Skip to content

[wasmtime-api] Add hello.rs and memory.rs example; refactor Ref#338

Merged
sunfishcode merged 2 commits intobytecodealliance:masterfrom
yurydelendik:wasm-api-4
Sep 18, 2019
Merged

[wasmtime-api] Add hello.rs and memory.rs example; refactor Ref#338
sunfishcode merged 2 commits intobytecodealliance:masterfrom
yurydelendik:wasm-api-4

Conversation

@yurydelendik
Copy link
Contributor

@yurydelendik yurydelendik commented Sep 13, 2019

This patch:

  • Implements host_info+finalizer -- the finalize.c example
  • Introduces HostRef to replace Rc<RefCell<>>
  • Adds hello and memory examples in Rust
  • Safer access to memory data()

sunfishcode
sunfishcode reviewed Sep 18, 2019
View reviewed changes
Copy link
Member

@sunfishcode sunfishcode left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like how the HostRef type tidies up the code :-).

sunfishcode
sunfishcode approved these changes Sep 18, 2019
View reviewed changes
Copy link
Member

@sunfishcode sunfishcode left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@sunfishcode sunfishcode merged commit 9c747db into bytecodealliance:master Sep 18, 2019
avanhatt pushed a commit to wellesley-prog-sys/wasmtime that referenced this pull request Apr 9, 2025
@mmcloughlin
veri: solver selection rules (bytecodealliance#338)
e37c5ab 
Support solver selection on a per-expansion basis.

The runner now supports "solver rules" consisting of an expansion
predicate and a solver backend. These can be provided on the command
line with e.g. `--solver-rule z3=tag:float`. It also sets up default
selection rules with an explicit tag, so `solver_z3` and `solver_cvc5`.

Updates bytecodealliance#275
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sunfishcode sunfishcode sunfishcode approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@yurydelendik @sunfishcode