8000 Tags · mit-plv/fiat · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: mit-plv/fiat

Tags

v0.0.1

Toggle v0.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
improved auto goal selection (#76)

P2Final1.0

Verified

This tag was signed with the committer’s verified signature. The key has expired.
jwiegley John Wiegley
GPG key ID: C144D8F4F19FE630
Expired
Verified
Learn about vigilant mode

slow-example-001-eauto

Toggle slow-example-001-eauto's commit message 
Example of eauto being slow
0