issues
search
goblint
/
GobPie
Goblint IDE integration via MagpieBridge
MIT License
7
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Show value of lval in step into targets' options
#75
karoliineh
closed
2 days ago
0
Make ambiguous paths unavailable instead throwing an error
#74
karoliineh
closed
2 days ago
0
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
#73
karoliineh
closed
2 days ago
0
Add functional tests
#72
AnetteTaivere
closed
2 months ago
0
Rename `exp.arg` → `exp.arg.enabled`
#71
sim642
closed
2 months ago
0
Idea for ambiguous debug step selection without "Step into targets"
#70
sim642
opened
4 months ago
0
Read and show contexts in warnings if available
#69
karoliineh
closed
6 months ago
0
Analysis tests
#68
AnetteTaivere
closed
7 months ago
0
Analysis tests
#67
AnetteTaivere
closed
7 months ago
0
Use a TypeAdapter to deserialize Multipiece from json and cleanup
#66
karoliineh
closed
1 year ago
0
Fix analysis running with invalid config
#65
FeldrinH
closed
1 year ago
0
Dark mode for CFGs
#64
karoliineh
opened
1 year ago
0
An open CFG is not updated when function is changed and program reanalyzed
#63
karoliineh
opened
1 year ago
0
Multiple errors are shown when `goblint.json` is incorrect
#62
karoliineh
closed
1 year ago
0
Missing documentation for `explodeGroupWarnings`
#61
FeldrinH
closed
2 months ago
2
Abstract debugging
#60
FeldrinH
closed
1 year ago
6
Support VS Code settings system and `workspace/configuration` in addition to gobpie.json
#59
FeldrinH
opened
1 year ago
4
Trigger analysis on saving/opening of .h and .i files
#58
FeldrinH
closed
1 year ago
0
VS Code extension should have Goblint logo
#57
sim642
closed
1 year ago
0
Fix issue #55
#56
FeldrinH
closed
1 year ago
0
Show CFG CodeLens not working
#55
karoliineh
closed
1 year ago
0
Add documentation for new configuration options
#54
FeldrinH
closed
1 year ago
0
Fix GobPie not showing error popups during startup and on failed analysis
#53
FeldrinH
closed
1 year ago
0
Add config option to set location of goblint executable
#52
FeldrinH
closed
1 year ago
0
Add config option to disable incremental analysis
#51
FeldrinH
closed
1 year ago
0
Make test scripts exit on error
#50
FeldrinH
closed
1 year ago
0
Forwarding messages to client does not work before MagpieServer is launched
#49
FeldrinH
closed
1 year ago
0
Implement simple recovery from Goblint server crashes and improve overall robustness of GobPie
#48
FeldrinH
closed
1 year ago
0
Improve cross compilation
#47
FeldrinH
closed
1 year ago
3
Recover Goblint server automatically after crashing
#46
karoliineh
closed
1 year ago
1
Mode to show only one warning per message group
#45
karoliineh
closed
1 year ago
2
Mode to show only one warning per message group
#44
karoliineh
closed
1 year ago
6
Warnings repositioning
#43
karoliineh
closed
1 year ago
0
Showing CFG node states
#42
karoliineh
closed
1 year ago
0
Create IntelliJ plugin
#41
karoliineh
opened
1 year ago
2
Reload Goblint configuration in existing server instead of restarting
#40
karoliineh
closed
2 years ago
0
Replace hand-rolled JSON-RPC handling with lsp4j jsonrpc library
#39
karoliineh
closed
2 years ago
0
Show states for CFG nodes
#38
karoliineh
closed
1 year ago
0
Replace hand-rolled JSON-RPC handling with proper library
#37
sim642
closed
2 years ago
0
Show CFGs for functions in the IDE
#36
karoliineh
closed
2 years ago
0
Figure out Magpie's threading
#35
sim642
closed
2 years ago
0
Use analysis abort in server mode
#34
karoliineh
closed
2 years ago
7
Set up automatic testing
#33
karoliineh
closed
2 months ago
0
Reload Goblint conf in existing server instead of restarting
#32
sim642
closed
2 years ago
0
Support multiple GobPie confs in single workspace
#31
sim642
opened
2 years ago
1
Workspace corruption ...
#30
vesalvojdani
closed
1 year ago
1
Handle columns with negative values
#29
karoliineh
closed
2 years ago
0
Generate new IDs for each request
#28
karoliineh
closed
2 years ago
0
Better error handling
#27
karoliineh
closed
2 years ago
1
More helpful error when server crashes 5 times
#26
vesalvojdani
closed
2 years ago
0
Next