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

Setup formatting #29

Closed Nadrieril closed 1 month ago

Nadrieril commented 2 months ago

Wdyt?

msprotz commented 1 month ago

looks good to me, but let's integrate this with the existing formatting targets for C before merging. thanks!!

Nadrieril commented 1 month ago

Like this?

Nadrieril commented 1 month ago

I found an option that does what you want for if-then-else. Wdyt?