-
Notifications
You must be signed in to change notification settings - Fork 12
Issues: GillianPlatform/Gillian
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
gillian-js is unable to produce failing model for modifed
Gillian-JS/Examples/Cosette/simple_example.js
#312
opened Sep 12, 2024 by
bjrjk
Split the gillian debugger into a separate build target / package
#287
opened Apr 19, 2024 by
xldenis
Rename "pure formulae" to "path conditions" in the debugger
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
debugger
Relating to Gillian's debugger
good first issue
Good for newcomers
Allow using Dockerised Gillian when debugging
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
Rework debugger UI
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
debugger
Relating to Gillian's debugger
performance
Compound branching
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
debugger
Relating to Gillian's debugger
enhancement
New feature or request
#269
opened Nov 3, 2023 by
NatKarmios
Fix Amazon JS
bug
Something isn't working
difficult
tl-specific
An issue relating to specific target language(s)
#237
opened Apr 2, 2023 by
NatKarmios
Allow starting from any point in a program
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
debugger
Relating to Gillian's debugger
#234
opened Mar 24, 2023 by
NatKarmios
3 tasks
Make debugger interface accessible via webserver
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
#233
opened Mar 24, 2023 by
NatKarmios
Show what's been consumed in the state during unification
debugger
Relating to Gillian's debugger
#220
opened Mar 7, 2023 by
NatKarmios
Cover all public-facing modules in documentation
documentation
Improvements or additions to documentation
Remove unnecessary Improvements or additions to documentation
@inline
s (when an odoc bug is fixed)
cleanup
documentation
#198
opened Dec 13, 2022 by
NatKarmios
Add breakpoint marker to ExecMap
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
enhancement
New feature or request
#194
opened Dec 5, 2022 by
NatKarmios
Make odoc webpages prettier
documentation
Improvements or additions to documentation
enhancement
New feature or request
#188
opened Nov 28, 2022 by
NatKarmios
Add a note to debugger UI when debugger terminates/disconnects
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
enhancement
New feature or request
#181
opened Nov 21, 2022 by
NatKarmios
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.