Skip to content

The results of the Magma benchmark

Latest
Latest
Compare
Choose a tag to compare
@potetisensei potetisensei released this 14 Sep 05:14
· 3 commits to main since this release
latest
041086a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

slopt_magma_jsons.tar.gz contains the summary of the Magma benchmark (Section 5.4) as JSON files, which was generated by exp2json.py.

Please ignore "Source code (zip)" and "Source code (tar.gz)". We use GitHub's release feature to attach the JSON files and the two files are automatically added.

Assets 3
Loading