Issues

• Not installable/pinnable with opam

  bug
  goblint/gobview#47 · Filter by author sim642 opened on Jun 21, 2024
  

• Visualize relational values

  enhancement
  goblint/gobview#31 · Filter by author michael-schwarz opened on Sep 11, 2023

• Add whitelist of options that may be changed for re-analysis

  enhancement
  goblint/gobview#23 · Filter by author michael-schwarz opened on Apr 11, 2022

• Semantic search returns no results

  bug
  goblint/gobview#7 · Filter by author keremc opened on Mar 8, 2022
  4

• Collapsible substructures in state

  enhancement
  goblint/gobview#5 · Filter by author sim642 opened on Nov 10, 2021

• Highlight current node in CFG

  enhancement
  goblint/gobview#4 · Filter by author sim642 opened on Nov 10, 2021