Code

No crucible prefix#980

Code

Merged

brianhuffman merged 11 commits intomasterGaloisInc/saw-script:masterfrom no-crucible-prefixGaloisInc/saw-script:no-crucible-prefixCopy head branch name to clipboardDec 16, 2020

+2,006-1,795

Commits

Commits on Dec 15, 2020

• Rename internal haskell functions to remove "crucible_" prefix.

  Show description for 199b3a8
  

  Brian Huffman

  committed
  199b3a8

Commits on Dec 16, 2020

• Add new saw-script function names without "crucible_" prefix.

  Show description for 2d78636
  

  Brian Huffman

  committed
  2d78636

• Use new function names in comments and error messages.

  

  Brian Huffman

  committed
  5f8072d

• Update LLVM/Boilterplate.hs and AutoMatch.hs to use new function names.

  

  Brian Huffman

  committed
  6d10759

• Update manual and tutorial to use new function names.

  

  Brian Huffman

  committed
  948977f

• Update examples directory to use new function names.

  

  Brian Huffman

  committed
  1288231

• Update integration tests to use new function names.

  

  Brian Huffman

  committed
  d221b99

• Fix accidentally-removed legacy name crucible_return.

  

  Brian Huffman

  committed
  a0b4ce3

• Rename crucible_java_extract to jvm_extract instead of java_extract.

  Show description for 09762e4
  

  Brian Huffman

  committed
  09762e4

• Introduce new shorter names for some saw-script types.

  Show description for 05f7df0
  

  Brian Huffman

  committed
  05f7df0

• Add note to CHANGES.md about new saw-script function and type names.

  

  Brian Huffman

  committed
  2c27839