Stwo's recent development introduced new APIs to support constant/pre-processed columns. However, the dev branch of Stwo is still using an older nightly toolchain, which is incompatible with Powdr.
Currently, Stwo has two open PRs PR1, PR2 aimed at updating the toolchain to nightly 11-06. Previously, our Stwo backend dependency relied on one of these PRs' branches. However, this branch is no longer updated with the latest commits from their dev branch. These new commits are required to support constant columns.
Temporary Solution
To address this issue temporarily:
I moved Stwo's dependency to my fork of Stwo, where the branch is updated with both the latest dev branch commits and the newer toolchain.
Tasks in this PR
Add APIs to support constant columns:
Update test cases:
Modify and add test cases to validate constant column support.
Add Support for Constant Columns in Stwo Backend
Stwo's recent development introduced new APIs to support constant/pre-processed columns. However, the
devbranch of Stwo is still using an older nightly toolchain, which is incompatible with Powdr.Currently, Stwo has two open PRs PR1, PR2 aimed at updating the toolchain to nightly
11-06. Previously, our Stwo backend dependency relied on one of these PRs' branches. However, this branch is no longer updated with the latest commits from theirdevbranch. These new commits are required to support constant columns.Temporary Solution
To address this issue temporarily:
devbranch commits and the newer toolchain.Tasks in this PR