issues
search
AeneasVerif
/
charon
Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
79
stars
14
forks
source link
Let `hax` compute discriminant values
#255
Closed
Nadrieril
closed
3 months ago
Nadrieril
commented
3 months ago
Companion PR to
https://github.com/hacspec/hax/pull/693
Companion PR to https://github.com/hacspec/hax/pull/693