Shakthi Kannan
Eurydice is a compiler from Rust to C to provide a backwards-compatibility story as the verification ecosystem https://github.com/AeneasVerif/eurydice @rustlang #verification #C
Jan 12 at 5:49pmWeb
Show threadEvan GenestFeb 19
@shakthimaan @rustlang
Tagging is difficult! Like naming variables in programming.
I followed the #c tag...doesn't go where I expected.