Code

Added reset button to plots#1030

Code

Merged

PhilippWendler merged 5 commits intososy-lab:mainsosy-lab/benchexec:mainfrom JawHawk:resetbuttonJawHawk/benchexec:resetbuttonCopy head branch name to clipboardApr 29, 2024

+1,345-6

Commits

Commits on Apr 4, 2024

• Added reset button to plots

  JawHawk

  committed
  56a9eef

  Copy full SHA for 56a9eef

• Updated QuantilePlot and ScatterPlot test snapshots

  JawHawk

  committed
  709536d

  Copy full SHA for 709536d

Commits on Apr 14, 2024

• Added reset plot button css

  JawHawk

  committed
  f226825

  Copy full SHA for f226825

Commits on Apr 26, 2024

• Added manual plot reset logic

  JawHawk

  committed
  40ba2d4

  Copy full SHA for 40ba2d4

Commits on Apr 29, 2024

• Update pre-built file

  Show description for cbf3254
  PhilippWendler

  committed
  cbf3254

  Copy full SHA for cbf3254