search

nevillegrech / gigahorse-toolchain

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

The compilation time is so long #47

Closed fCorleone closed 1 year ago

fCorleone commented 1 year ago

I write a datalog rule by myself. It works well, but every time I want to add or modify some rules, it takes so long for the compilation. Is there any way I can reduce the compilation time?

yanniss commented 1 year ago

No way to reduce compilation. I'd run in interpreted mode for quick experiments and keep compilation only for high-throughput cases.