search

pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237 stars 42 forks source link

Update the interface of ecdsa library, to fix OCaml build #481

Closed pirapira closed 6 years ago

pirapira commented 6 years ago

In Travis I see

Warning 40: Verify was selected from type Secp256k1.Context.flag.
It is not visible in the current scope, and will not 
be selected if the type becomes unknown.
File "blockchainTestParser.ml", line 159, characters 18-51:
Error: Unbound module Secp256k1.RecoverableSign
Command exited with code 2.
Compilation unsuccessful after building 109 targets (0 cached) in 00:00:05.