issues
search
PLSysSec
/
wave
Verified Wasm runtime
20
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Multiple Errors While Building WaVe
#20
celinesantosh98
opened
5 months ago
7
macOS
#19
emlaufer
closed
2 years ago
0
Cleanup
#18
emlaufer
closed
2 years ago
0
Spec benchmarks
#17
enjhnsn2
closed
2 years ago
0
add differential wasi fuzzing
#16
zzjas
closed
2 years ago
0
Rename to wave
#15
enjhnsn2
closed
2 years ago
0
Net verification
#14
enjhnsn2
closed
2 years ago
0
Merging in trace branch
#13
enjhnsn2
closed
3 years ago
0
Wasi calls
#12
enjhnsn2
closed
3 years ago
0
Wasi calls
#11
enjhnsn2
closed
3 years ago
0
More wasi calls, endianness fix
#10
emlaufer
closed
3 years ago
0
File Seek, Tell, and Sync syscalls
#9
emlaufer
closed
3 years ago
0
Explicitly write out spec of safety properties.
#8
enjhnsn2
opened
3 years ago
0
Implement and check optimizations
#7
enjhnsn2
opened
3 years ago
1
Misc todos
#6
enjhnsn2
opened
3 years ago
0
Finish specifying path safety
#5
enjhnsn2
opened
3 years ago
0
Finish specifying fd safety
#4
enjhnsn2
opened
3 years ago
0
Make sure verifier is running with overflow checks
#3
enjhnsn2
opened
3 years ago
0
Implement predicate exports
#2
enjhnsn2
closed
2 years ago
3
Integrate with Wasm2c
#1
enjhnsn2
closed
2 years ago
2