issues
search
near
/
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
3
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[filetests]: status update
#253
MCJOHN974
opened
3 months ago
0
[filetests] using generate_preamble
#252
MCJOHN974
opened
3 months ago
0
feat(bench): Enable aggregating trace in `InstructionTracer.js`
#251
mooori
opened
3 months ago
0
feat(bench): add subcommand to go from WAT to instruction trace
#250
mooori
closed
3 months ago
0
[filetests]: add arithmetics to zk-runtest
#249
MCJOHN974
opened
3 months ago
4
feat(bench): run profiling from `zkasm_runner`
#248
mooori
closed
3 months ago
0
[filetests]: results pretty-print
#247
MCJOHN974
opened
4 months ago
1
Migrate to new assert type once it will be ready.
#246
MCJOHN974
opened
4 months ago
0
Split `zkasm_codegen.rs` into separate file
#245
MCJOHN974
opened
4 months ago
0
Use "main" instead of start function
#244
akashin
closed
4 months ago
0
Make zkasm_runner public
#243
akashin
closed
4 months ago
0
`zkasm_runner::ExecutionResult` fileds redesign proposal.
#242
MCJOHN974
opened
4 months ago
1
Use stable path to node module
#241
akashin
closed
4 months ago
0
feat(bench): add `InstructionTracer.js` helper
#240
mooori
closed
4 months ago
0
`zkasm_runner::run_zkasm` returns a struct with no public field or method
#239
MCJOHN974
closed
4 months ago
2
Make zkasm runner working with any current working directory
#238
MCJOHN974
closed
4 months ago
6
refactor: move `zkasm_codegen` out of `cranelift-filetests`
#237
mooori
opened
4 months ago
0
Introduce benchmarks that would allow us to compare with Risc0
#236
akashin
opened
4 months ago
0
Allow benchmarks to be parameterized with input value loaded from the environment
#235
akashin
opened
4 months ago
0
Compile benchmarks with Cranelift optimizations turned on
#234
akashin
opened
4 months ago
0
feat(bench): add `analyze-zkasm` CLI and `instrument-inst` command
#233
mooori
closed
4 months ago
0
[filetests]: attempt to compile run-command -> wat -> zkasm
#232
MCJOHN974
closed
3 months ago
9
Compile Keccak benchmark from Rust
#231
akashin
closed
2 months ago
2
feat: add ISA specific setting `instrument_inst` for zkASM
#230
mooori
closed
4 months ago
0
[Filetests]: Add assert helper function
#229
MCJOHN974
closed
4 months ago
4
Submit benchmarks written in Rust to the codebase
#228
akashin
opened
4 months ago
1
Speed up execution of zkAsm code from Rust
#227
akashin
opened
4 months ago
0
feat(run-tests-zkasm.js): use yargs to build CLI
#226
mooori
closed
4 months ago
0
Add `put_lines` function
#225
akashin
closed
4 months ago
0
fix: test compilation
#224
mooori
closed
4 months ago
0
Fix npm run on Windows
#223
akashin
closed
4 months ago
0
Update `docs/zkasm/usage.md` when new testing\benchmarking infra will be ready.
#222
MCJOHN974
opened
4 months ago
0
CI: update actions/setup-node
#221
MCJOHN974
closed
4 months ago
1
docs: add some docs to `run-tests-zkasm.js`
#220
mooori
closed
4 months ago
0
Merge upstream at 14 Feb, 2024
#219
akashin
closed
4 months ago
0
Remove RISC-V info from zkASM's `Inst::print_with_state`
#218
mooori
opened
4 months ago
0
Print consistent names for zkASM `Inst`s
#217
mooori
opened
4 months ago
0
Move zkasm generation into zkasm_codegen.rs
#216
akashin
closed
4 months ago
4
[docs] Doc about testing infra
#215
MCJOHN974
closed
4 months ago
0
feat(bench): generate histogram of executed instructions
#214
mooori
opened
5 months ago
0
Implement simple zkasm runner in Rust
#213
akashin
closed
4 months ago
1
Use absolute paths in run-tests-zkasm.js
#212
akashin
closed
5 months ago
0
trying reuse filetests
#211
MCJOHN974
closed
4 months ago
10
Try to use Deno to run zkAsm
#210
akashin
closed
4 months ago
2
Add tooling to lint and format Python code
#209
akashin
closed
5 months ago
0
Add type annotations to zkasm-result.py
#208
akashin
closed
5 months ago
2
Add linter and type checker and annotate function types
#207
akashin
closed
5 months ago
1
Run keccak benchmark
#206
akashin
closed
4 months ago
1
Generate CTZ and CLZ spectests
#205
akashin
closed
5 months ago
0
Rework `put_string`-based codegen
#204
akashin
opened
5 months ago
1
Next