Comments (2)
The validator is used to be inside parity-wasm
. It was moved simply because it was essential for wasmi
and at that time it was already obvious that it would be more of loading wasm module rather than just validating it. And recently we started to use this tight coupling for implementing compilation of wasm into a format which is more convenient for interpretation. So it might be a little complicated to move it as is.
That said, I still think it may be useful to have validation in parity-wasm
. It was even considered to just have a copy of the validation code if there is a great need.
from wasmi.
Those sound like good reasons to me, thanks for explaining! I'll just use wasmi
as an additional dependency.
from wasmi.
Related Issues (20)
- Differential Fuzzing: compare linear memories and global variables between backends after each execution HOT 1
- Support for Alternative Memory Backing Options HOT 13
- Allow Wasmi optimizer to look behind function local constant registers HOT 2
- Run CI tests using LLVM's address sanitizer
- Harden fuzzing with respect to non-deterministic behaviors between Wasm engines
- Add Wasmer (Singlepass) and Wasmer (Cranelift) to differential fuzzing infrastructure
- Clean-up differential fuzzing infrastructure
- Implement the Wasm `component-model` proposal HOT 2
- CI: Run Wasm spec testsuite with `miri`
- Big performance regression between 0.31 and 0.32 HOT 7
- Optimization: Special handling for common shadow stack instruction sequences HOT 1
- Create C bindings for Wasmi
- Simplification: Rewrite `iNN.sub` with immediate to new `iNN.add` variant
- Restore CI benchmarks HOT 1
- Wasmi versions `0.32.0-beta.6` cannot run `ffmpeg.wasm` correctly HOT 20
- Update `wasmi_wasi` WASI implementing dependencies HOT 1
- Optimization: Fuse transitive copies HOT 1
- Add `--verbose` mode to Wasmi CLI HOT 2
- Add support for fully hibernate-able Wasm instances HOT 7
- Handle host function calls the same as other instructions in the Wasmi executor HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from wasmi.