search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
https://aeneasverif.github.io/charon/charon_lib/index.html
Apache License 2.0
103 stars 17 forks source link

Support unions #335

Closed Nadrieril closed 2 months ago

sonmarcho commented 2 months ago

I think unions are not hard to support on Charon's side, the only issue is Aeneas (which is why I have always put them aside).

Nadrieril commented 2 months ago

They cannot be meaningfully used in safe code so it's probably fine if aeneas can't support them.