Code

Remove deprecated java commands#1005

Code

Merged

brianhuffman merged 11 commits intomasterGaloisInc/saw-script:masterfrom remove-deprecated-javaGaloisInc/saw-script:remove-deprecated-javaCopy head branch name to clipboardFeb 1, 2021

+19-2,671

Commits

Commits on Feb 1, 2021

• Remove all java-related deprecated saw-script primitives.

  Show description for 07bfec2
  

  Brian Huffman

  committed
  07bfec2

• Remove now-unused module SAWScript.JavaBuiltins.

  

  Brian Huffman

  committed
  e38bbf8

• Remove now-unused java-related constructors from Value datatype.

  

  Brian Huffman

  committed
  7cb256a

• Switch to use Codebase type from crucible-jvm instead of jvm-verifier.

  

  Brian Huffman

  committed
  4eeb77b

• Remove now-unused module SAWScript.JavaBuiltins.

  Show description for a8c04ec
  

  Brian Huffman

  committed
  a8c04ec

• Remove now-unused module SAWScript.JavaUtils.

  

  Brian Huffman

  committed
  962b92f

• Remove now-unused code related to Java sawcore prelude.

  

  Brian Huffman

  committed
  03c81f2

• Remove redundant import from jvm-verifier package.

  

  Brian Huffman

  committed
  0db0546

• Remove redundant import from jvm-verifier.

  

  Brian Huffman

  committed
  b239562

• Remove jvm-verifier package dependency from cabal file.

  

  Brian Huffman

  committed
  b0324af

• Adapt saw-remote-api package to remove dependency on jvm-verifier.

  

  Brian Huffman

  committed
  025f86e