Code

Implement new jvm_array_is command#907

Code

Merged

brianhuffman merged 2 commits intomasterGaloisInc/saw-script:masterfrom jvm-array-isGaloisInc/saw-script:jvm-array-isCopy head branch name to clipboardNov 18, 2020

+138-89

Commits

Commits on Nov 17, 2020

• Add new jvm_array_is command for specifying entire JVM arrays at once.

  Show description for a1c2ad6
  

  Brian Huffman

  committed
  a1c2ad6

  Copy full SHA for a1c2ad6

• Update ecdsa-crucible.saw to use new jvm_array_is command.

  Show description for 691dd9c
  

  Brian Huffman

  committed
  691dd9c

  Copy full SHA for 691dd9c