Skip to content

Releases: PLSysSec/cargo-scan

Release list

Release v0.2.0

Release v0.2.0 Latest
Latest

Choose a tag to compare

View all tags
@cdstanford cdstanford released this 06 Jul 00:27
v0.2.0
9bc3768
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Stable version that best represents the state of the tool at the time of the ESOP 2026 paper and its evaluation, with a few following changes and fixes.

Assets 2
Loading

Relatively stable release

Relatively stable release

Choose a tag to compare

View all tags
@cdstanford cdstanford released this 23 Aug 02:17
v0.1.0
f35bd36
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Merge pull request #65 from PLSysSec/rm-cargo-download

🗑️ remove dependence on cargo download (closes #64)
Loading