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
Hide the rustc hash in filenames
#258
Closed
Nadrieril
closed
2 weeks ago
Nadrieril
commented
2 weeks ago
Fixes #256
Fixes #256