search

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Apache License 2.0
21 stars 1 forks source link

Update flake dependencies #42

Closed Nadrieril closed 1 month ago

Nadrieril commented 1 month ago

To catch the latest karamel fixes (e.g. https://github.com/FStarLang/karamel/pull/444)

msprotz commented 1 month ago

Thanks for merging!