check sat with only relevant information in monadic mode

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

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

74 stars 11 forks source link

Closed giltho closed 1 year ago

giltho commented 1 year ago

Signed-off-by: Sacha Ayoun sachaayoun@gmail.com

giltho commented 1 year ago

I had a revelation that this change would increase perfs, and it slightly does

NatKarmios commented 1 year ago

For reference, this shouldn't be merged before JS is fixed (#229)