Clight2Rust: Generating Safe Rust Code from Clight via a Small Trusted Runtime

Published June 4, 2026 | Version v1

Journal article Open

Files

Name	Size	Download all
Compcert.zip md5:9ec8fa0194829b8420607e1ebce8ee7d	169.1 MB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Journal article

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more