There is a newer version of the record available.

Published April 11, 2025 | Version 20250411182224
Software Open

Thrust: A Prophecy-based Refinement Type System for Rust - Artifact

  • 1. ROR icon University of Tsukuba
  • 2. ROR icon National Institute of Informatics
  • 3. Tohoku University

Files

thrust-pldi25-artifact.zip

Files (2.7 GB)

Name Size Download all
md5:19e3ea76269e2477a9b254b7b4a9ce4f
7.2 kB Preview Download
md5:06423ba9d1fc7d20da4366f49da09035
2.7 GB Download
md5:4e14d9742f3b2e3bf2d3c1110973dc39
301.3 kB Preview Download