Rewrite WISL lifter, debugging tweaks

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 NatKarmios closed 9 months ago

NatKarmios commented 9 months ago

Rewritten WISL lifter
Updated debugging:
- Simplified packaged Exec_maps
- Allow lifters to specify an ID to jump to when stopping
- Gil_fallback_lifter no longer automatically skips commands; the TL lifter always gets the final say (resolves #201)
Tweaked fronted to keep up
From #271: tweaks to maual.wisl