search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
329 stars 65 forks source link

UnaryExpression struct in Expressions #1352

Closed gzanitti closed 1 week ago

gzanitti commented 3 weeks ago

This PR is part of issue https://github.com/powdr-labs/powdr/pull/1345. In particular, it adds the struct UnaryOperation to Expressions to homogenise the structure before including source references.