mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
The global range constraints are now part of `FixedData`. Also, I got rid of the row factory, anyone with a reference to `FixedData` can now just call `Row::fresh(fixed_data, row_index)`. This simplifies things and should help with #1276.