Search results

Idea for ambiguous debug step selection without "Step into targets"

debuggerAbstract debuggerAbstract debugger

enhancementNew feature or requestNew feature or request

Status: Open.

#70 In goblint/GobPie;

· sim642 opened on Apr 25, 2024

Dark mode for CFGs

enhancementNew feature or requestNew feature or request

Status: Open.

#64 In goblint/GobPie;

· karoliineh opened on Jun 16, 2023

An open CFG is not updated when function is changed and program reanalyzed

bugSomething isn't workingSomething isn't working

Status: Open.

#63 In goblint/GobPie;

· karoliineh opened on Jun 16, 2023

Support VS Code settings system and <code>workspace/configuration</code> in addition to gobpie.json

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In goblint/GobPie;

· FeldrinH opened on Apr 20, 2023

Create IntelliJ plugin

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In goblint/GobPie;

· karoliineh opened on Sep 21, 2022

Support multiple GobPie confs in single workspace

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In goblint/GobPie;

· sim642 opened on May 4, 2022

Optimise analysis rerun

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In goblint/GobPie;

· karoliineh opened on Jan 20, 2022

Orphaned java processes

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In goblint/GobPie;

· sim642 opened on Oct 24, 2021