1. 44dc8a3 verifier: do not infer an instruction will throw. by Nicolas Geoffray · 5 years ago
  2. 5c48df9 [verifier]: flag instruction that will throw at runtime by Nicolas Geoffray · 5 years ago