From 2a7b15b3a86f437ecd040e3f01f9220b4d173f56 Mon Sep 17 00:00:00 2001 From: schaeff Date: Mon, 27 Jan 2025 16:49:02 +0100 Subject: [PATCH] make stwo default in cli and cli-rs --- cli-rs/Cargo.toml | 2 +- cli/Cargo.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cli-rs/Cargo.toml b/cli-rs/Cargo.toml index 97f7466e58..a8f42677dc 100644 --- a/cli-rs/Cargo.toml +++ b/cli-rs/Cargo.toml @@ -8,7 +8,7 @@ homepage = { workspace = true } repository = { workspace = true } [features] -default = ["plonky3"] +default = ["plonky3", "stwo"] halo2 = ["powdr/halo2"] plonky3 = ["powdr/plonky3"] estark-starky = ["powdr/estark-starky"] diff --git a/cli/Cargo.toml b/cli/Cargo.toml index cc377f855b..d30271776e 100644 --- a/cli/Cargo.toml +++ b/cli/Cargo.toml @@ -9,7 +9,7 @@ repository = { workspace = true } default-run = "powdr" [features] -default = ["plonky3"] +default = ["plonky3", "stwo"] halo2 = ["powdr/halo2"] plonky3 = ["powdr/plonky3"] estark-starky = ["powdr/estark-starky"]