Enhance unify map - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

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

77 stars 12 forks source link

Closed NatKarmios closed 1 year ago

NatKarmios commented 1 year ago

[x] Show folds as nested maps instead of stepping in and out
221
[x] When an assertion fails, show that assertion as the failure, rather than a "Failure" node beneath it
221
[x] ~~Update the state to show what's been consumed as unification progresses~~ Moved to #220