Code

UI update#684

Code

Merged

hernanponcedeleon merged 9 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom uiUpdatehernanponcedeleon/Dat3M:uiUpdateCopy head branch name to clipboardMay 31, 2024

+709-706

Commits

Commits on May 28, 2024

• Updated witness generation functions to return the generated File.

  Show description for 14c2296
  ThomasHaas

  committed
  14c2296

  Copy full SHA for 14c2296

• Improved UI:

  Show description for 8901937
  ThomasHaas

  committed
  8901937

  Copy full SHA for 8901937

• Added ability to pass configuration options via the UI.

  Show description for 10065ff
  ThomasHaas

  committed
  10065ff

  Copy full SHA for 10065ff

• Formatting of UI code.

  Show description for 9754449
  ThomasHaas

  committed
  9754449

  Copy full SHA for 9754449

• Removed accidentally added .bpl file support.

  Show description for 189807b
  ThomasHaas

  committed
  189807b

  Copy full SHA for 189807b

• Minor fix in witness generation

  ThomasHaas

  committed
  a3d1e97

  Copy full SHA for a3d1e97

Commits on May 29, 2024

• Added simple zoom option to displayed witnesses

  ThomasHaas

  committed
  9d98e06

  Copy full SHA for 9d98e06

Commits on May 30, 2024

• Minor fixes in comments.

  Show description for 49a9eda
  ThomasHaas

  committed
  49a9eda

  Copy full SHA for 49a9eda

Commits on May 31, 2024

• No UI witnesses for UNKNOWN results

  Show description for c4911dc
  ThomasHaas

  committed
  c4911dc

  Copy full SHA for c4911dc