Skip to content

Tags: YoshikiTakashima/MIRAI

Tags

v1.1.2

Toggle v1.1.2'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
Learn about vigilant mode 
Add option to just print out function signatures (facebookexperimenta…

…l#1185)

v1.1.0

Toggle v1.1.0'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
Learn about vigilant mode 
Make cargo mirai set the toolchain required for MIRAI. (facebookexper…

…imental#1114)

libra_v1.0.4

Toggle libra_v1.0.4's commit message 
Roll back to nightly-2019-07-08 for release to LIBRA

v1.0.3

Toggle v1.0.3'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
Learn about vigilant mode 
Tweak Linux documentation (facebookexperimental#290)

libra_v1.0.3

Toggle libra_v1.0.3's commit message 
Roll back to nightly-2019-07-08 for release to LIBRA

v1.0.2

Toggle v1.0.2's commit message 
Roll back to nightly-2019-07-08 for release to LIBRA

v1.0.1

Toggle v1.0.1's commit message 
Roll back to nightly-2019-07-08 for release to LIBRA

v1.0.0

Toggle v1.0.0's commit message 
Update Z3 binary and create a release commit.