mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
7f259b43c7
We currently hardcode the range of degrees that variable degree machines are preprocessed for. Expose that in machines instead. This changes pil namespaces to accept a min and max degree: ``` namespace main(123..456); namespace main(5); // allowed for backward compatibility, translates to `5..5` ``` It adds two new builtins: ``` std::prover::min_degree std::prover::max_degree ``` And sets the behavior of the `std::prover::degree` builtin to only succeed if `min_degree` and `max_degree` are equal.