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

Improve naming #18

Open franziskuskiefer opened 3 months ago

franziskuskiefer commented 3 months ago

I (Lucas) will spend half an hour on that this morning (Monday) to see if that's very quick to fix, otherwise I will work on that next week.

franziskuskiefer commented 3 months ago

@W95Psp what's the state here? Is this still in progress?

W95Psp commented 3 months ago

Yes, that's in progress. I spent some time on that on Monday, but it's not done yet, some WIP state can be found on branch https://github.com/AeneasVerif/eurydice/tree/lucas/improve-names (for now it's only printing monomorphization information as comments in the C extraction).