search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
296 stars 61 forks source link

Update souffle version in dockerfile #25

Closed HikariShine closed 2 years ago

HikariShine commented 2 years ago

In docker file The souffle has a old version, so can't compile the new version dl file

sifislag commented 2 years ago

Thank you for the fix!