8000 Release Science of Computer Programming submission · TOPLLab/latch · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Science of Computer Programming submission

Pre-release
Pre-release
Compare
Choose a tag to compare
@tolauwae tolauwae released this 30 May 12:17
· 24 commits to main since this release
v0.2.2
f6759c1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This is the code used for the SCP submission.
Artifacts with the spec suite and experiment results included as assets.

Command used to run experiments per group:

cd {warduino repo}/tests/latch/

time WABT=WABT/build/ CORESUITE=./specsuite/{group} npm run spectest > experiments/{group}.output
time WABT=WABT/build/ npm run debugtest > experiments/debugger.output
time WABT=WABT/build/ npm run comptest > experiments/computing.output
Assets 5
Loading
0