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
Fix panic with nonzero disambiguator
#267
Closed
Nadrieril
closed
1 week ago
Nadrieril
commented
1 week ago
Caught when trying to update eurydice to latest charon.
Caught when trying to update eurydice to latest charon.