issues
search
AeneasVerif
/
charon
Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
62
stars
15
forks
source link
Bump hax & rustc
#270
Closed
Nadrieril
closed
5 days ago
Nadrieril
commented
1 week ago
Companion PR to
https://github.com/hacspec/hax/pull/733
Companion PR to https://github.com/hacspec/hax/pull/733