search

Consensys / linea-tracer

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.
https://linea.build
Other
35 stars 26 forks source link

Update `corset` to `v9.7.17` #1495

Closed DavePearce closed 2 weeks ago

DavePearce commented 2 weeks ago

This will update the version of corset being used to v9.7.17 to resolve issues related to contraints with :domain {-1}.