issues
search
pirapira
/
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237
stars
42
forks
source link
hexparser.rb should emit an error for invalid inputs
#486
Open
pirapira
opened
6 years ago
pirapira
commented
6 years ago
Especially when the input contains upper letters.
Especially when the input contains upper letters.