Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Releases: facebookexperimental/MIRAI

v1.1.9

13 Aug 18:48
@hermanventer hermanventer
v1.1.9
78e7f87
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.1.9 Latest
Latest

Update the rust toolchain to nightly-2023-12-30.

Assets 2
Loading

Version 1.1.8

09 May 20:39
@hermanventer hermanventer
v1.1.8
bb5b5ff
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.
Compare
Choose a tag to compare
Version 1.1.8

Update the rust toolchain to nightly-2023-05-09.
Stop using actions from actions-rs.

Assets 2
Loading

Version 1.1.7

23 Mar 03:02
@hermanventer hermanventer
v1.1.7
4a384a1
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.
Compare
Choose a tag to compare
Version 1.1.7

Keep up with Rustc nightly.
Tweak def_id_as_qualified_name_str
Update dependencies.

Assets 2
Loading

Version 1.1.6

15 Mar 16:36
@hermanventer hermanventer
v1.1.6
c442647
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.
Compare
Choose a tag to compare
Version 1.1.6

Keep up with rustc nightly.

Assets 2
Loading

Version 1.1.5

08 Mar 20:54
@hermanventer hermanventer
v1.1.5
e45acd4
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.
Compare
Choose a tag to compare
Version 1.1.5

Update MIRAI to use Rustc nightly 2023-03-08

Assets 2
Loading

Version 1.1.4

08 Jan 22:21
@hermanventer hermanventer
v1.1.4
1acf5f7
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.
Compare
Choose a tag to compare
Version 1.1.4

Update to Rust nightly 2023-01-06.
Change output of call graph JSON files so that callable signatures match those produced for the ones produced when using the print_function_names option.

Assets 2
Loading

Version 1.1.3

29 Nov 00:54
@hermanventer hermanventer
v1.1.3
2c5727e
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.
Compare
Choose a tag to compare
Version 1.1.3

Keep up with nightly. Fix #1190

Assets 2
Loading

Version 1.1.2

29 Sep 20:03
@hermanventer hermanventer
v1.1.2
4459d55
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.
Compare
Choose a tag to compare
Version 1.1.2

Uses a newer rust compiler. Bug fixes. Call graph exporting.

Assets 2
Loading

Version 1.1.0

21 Dec 21:21
@hermanventer hermanventer
v1.1.0
dbef703
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.
Compare
Choose a tag to compare
Version 1.1.0

This is the V1 release and is suitable for general Rust developers.

Assets 2
Loading

v1.0.4 for Libra

19 Sep 20:42
@hermanventer hermanventer
libra_v1.0.4
ef1fb94
Compare
Choose a tag to compare
v1.0.4 for Libra

Use separate lock file to avoid panic in Sled.
Only share the persistent store between crates if flag is present.
Contracts for variants of rand.Rng.gen_range and rand.Rng.gen_bool.
Give diagnostics if non public function is a call tree root.
MIR assertions now treated just like verify.

Assets 2
Loading