Just so I understand this correctly, this is a tool where, if you provide it a program, it will use reduction/rewrite rules to find a simpler program that exhibits some given behavior?<p>In practice, how is this applied? Do compiler developers essentially use something similar to quick check to generate breaking programs and then use this to reduce those programs to a minimal form, or am I missing something else altogether?
Perses is also the name of this Prometheus dataviz project: <a href="https://github.com/perses/perses">https://github.com/perses/perses</a><p>Funny that the God of Destruction is such a hot name lately