Simplify types: remove option from CTL filters

0xPolygonZero / plonky2

Apache License 2.0

763 stars 285 forks source link

Closed matthiasgoergens closed 5 months ago

matthiasgoergens commented 5 months ago

CTL filters can already express perfectly well the behaviour that we gave for None. No need to complicate anything.

matthiasgoergens commented 5 months ago

We might want to bump up a version number, because this is probably an incompatible change to the API.

Nashtare commented 5 months ago

@matthiasgoergens starky v0.4.0 has been published, including these changes as well as compilation fix when AVX-512 instructions are enabled.