Rework debugger UI - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

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

73 stars 11 forks source link

Open NatKarmios opened 5 months ago

NatKarmios commented 5 months ago

Having explicit ExecMap and MatchMap were Gillian-specific choices that should be worked on more.

Changes should include:

[ ] Allow sending multiple execution maps
[ ] Unify ExecMap and MatchMap to a single packaged structure
[ ] Allow sending only the updated parts of exec maps (to improve debugger performance)
[ ] Allow any arbitrary submap to be isolated in a new tab