Small changes to `normalizeStructure` and `SimplifierWithPC#isPureFunction` - Githubissues

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless

Apache License 2.0

88 stars 20 forks source link

Small changes to `normalizeStructure` and `SimplifierWithPC#isPureFunction` #192

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

See discussion https://github.com/epfl-lara/stainless/issues/1350

vkuncak commented 1 year ago

Rebase, @mario-bucev ?