make the eurydice glue header includable from C++

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

22 stars 1 forks source link

Closed msprotz closed 5 months ago

msprotz commented 5 months ago

CC @mlindgren

mlindgren commented 5 months ago

lgtm :shipit:

msprotz commented 5 months ago

CI is red because we wait for https://github.com/AeneasVerif/charon/pull/138 -- merging this now so that it trickles down to hacl-packages. Thanks Mitch!