Code

Some minor UX fixes#1672

Code

Merged

robdockins merged 10 commits intomasterGaloisInc/saw-script:masterfrom rwd/ux-fixesGaloisInc/saw-script:rwd/ux-fixesCopy head branch name to clipboardMay 23, 2022

+348-108

Commits

Commits on May 20, 2022

• Turn on RTS options

  robdockins

  committed
  4752fd6

  Copy full SHA for 4752fd6

• Improve the metadata avalaible regarding generated proof goals.

  Show description for cd21caf
  robdockins

  committed
  cd21caf

  Copy full SHA for cd21caf

• Add better tracking for the location values of LLVM points-to

  Show description for 3600759
  robdockins

  committed
  3600759

  Copy full SHA for 3600759

• Fix some bugs with the position tracking inside the SAWScript interpreter.

  robdockins

  committed
  4f15581

  Copy full SHA for 4f15581

• Better formatting for some location values

  robdockins

  committed
  31fa250

  Copy full SHA for 31fa250

• Implement llvm_assert and jvm_assert.

  Show description for bf5dd74
  robdockins

  committed
  bf5dd74

  Copy full SHA for bf5dd74

• Allow the user to configure what solver to use of path

  Show description for 0b8eed4
  robdockins

  committed
  0b8eed4

  Copy full SHA for 0b8eed4

• Allow the user to skip safety proofs that arise during

  Show description for e64a71d
  robdockins

  committed
  e64a71d

  Copy full SHA for e64a71d

• Update manual

  robdockins

  committed
  0180824

  Copy full SHA for 0180824

• Update saw-remote-api to fix build failures.

  robdockins

  committed
  90cd951

  Copy full SHA for 90cd951