-
Notifications
You must be signed in to change notification settings - Fork 4
Issues: goblint/GobPie
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
Selecting a path to step does not work when (both) path's edges and target nodes are the same when trying to do a synchronized step
bug
Something isn't working
debugger
Abstract debugger
#73
opened Sep 6, 2024 by
karoliineh
Idea for ambiguous debug step selection without "Step into targets"
debugger
Abstract debugger
enhancement
New feature or request
#70
opened Apr 25, 2024 by
sim642
An open CFG is not updated when function is changed and program reanalyzed
bug
Something isn't working
#63
opened Jun 16, 2023 by
karoliineh
Support VS Code settings system and New feature or request
workspace/configuration
in addition to gobpie.json
enhancement
#59
opened Apr 20, 2023 by
FeldrinH
Support multiple GobPie confs in single workspace
enhancement
New feature or request
#31
opened May 4, 2022 by
sim642
ProTip!
Updated in the last three days: updated:>2024-09-07.