Skip unneeded substitutions

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

73 stars 11 forks source link

Closed N1ark closed 1 month ago

N1ark commented 1 month ago

Filter out all substitutions that do nothing (substituting two equal expressions)
Avoid attempting substitutions if the substitution set is empty. (ping @NatKarmios)