GitHub - PLSysSec/veriwasm_public_data: Data to evaluate VeriWasm

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
firefox_libs		firefox_libs
negative_tests		negative_tests
wasmtime		wasmtime
.gitignore		.gitignore
build_negative_tests.sh		build_negative_tests.sh
build_wasmtime_tests.sh		build_wasmtime_tests.sh
firefox_libs.zip		firefox_libs.zip
setup.sh		setup.sh
shootout.zip		shootout.zip