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
Deserialize `ScalarValue`s properly
#251
Closed
Nadrieril
closed
2 weeks ago
Nadrieril
commented
2 weeks ago
Fixes a little bug found by @EschericHya
Fixes a little bug found by @EschericHya