🧰 yul-compiler

The items that name it 2

• Solidus: Formally Verifying a Compiler Using Automated Research
  article2026-07-24It is written here as yul-compiler (Powdr team).

  Recently released project similar in approach to the Solidus Yul-to-EVM backend

• Formally Verifying a Compiler Using Automated Research (Solidus)
  article

  Project recently released by the Powdr team, which the page compares to the Solidus backend.

In every workspace you can read 3