search

pirapira / eth-isabelle

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

Use Trusty in Travis CI #398

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

Following https://blog.travis-ci.com/2017-04-17-precise-EOL