Code

Add llvm_ffi_setup command#1940

Code

Merged

mergify[bot] merged 40 commits intomasterGaloisInc/saw-script:masterfrom ffi-verifyGaloisInc/saw-script:ffi-verifyCopy head branch name to clipboardOct 5, 2023

+2,062-26

Commits

Commits on Sep 16, 2023

• Add initial llvm_ffi_setup command

  qsctr

  committed
  4efb368

  Copy full SHA for 4efb368

Commits on Sep 20, 2023

• llvm_ffi_setup: Add support for polymorphism

  qsctr

  committed
  d3c8625

  Copy full SHA for d3c8625

• llvm_ffi_setup: Add salsa test

  qsctr

  committed
  2dbf692

  Copy full SHA for 2dbf692

• llvm_ffi_setup: Don't hardcode size_t size

  qsctr

  committed
  3a68658

  Copy full SHA for 3a68658

Commits on Sep 22, 2023

• llvm_ffi_setup: Support tuple and record params

  qsctr

  committed
  5616932

  Copy full SHA for 5616932

• llvm_ffi_setup: Support tuple and record return

  qsctr

  committed
  94ade44

  Copy full SHA for 94ade44

• llvm_ffi_setup: Pass around OpenTerms

  qsctr

  committed
  62eb85b

  Copy full SHA for 62eb85b

Commits on Sep 23, 2023

• llvm_ffi_setup: Fix record field selection

  qsctr

  committed
  f36010e

  Copy full SHA for f36010e

• Merge branch 'master' into ffi-verify

  qsctr

  committed
  9a45f70

  Copy full SHA for 9a45f70

• llvm_ffi_setup: Improve error message

  qsctr

  committed
  55252b7

  Copy full SHA for 55252b7

Commits on Sep 27, 2023

• llvm_ffi_setup: Support all bitvector sizes

  qsctr

  committed
  9e3c58b

  Copy full SHA for 9e3c58b

• llvm_ffi_setup: Support Bit

  qsctr

  committed
  f27e9e8

  Copy full SHA for f27e9e8

• llvm_ffi_setup: Don't use llvm_equal

  qsctr

  committed
  d120b7a

  Copy full SHA for d120b7a

Commits on Sep 28, 2023

• llvm_ffi_setup: Support multidimensional arrays

  qsctr

  committed
  798f8cf

  Copy full SHA for 798f8cf

• llvm_ffi_setup: Document term in mkSizeArg

  qsctr

  committed
  4e172f2

  Copy full SHA for 4e172f2

• llvm_ffi_setup: Formatting

  qsctr

  committed
  60d10fc

  Copy full SHA for 60d10fc

• llvm_ffi_setup: Change to experimental

  qsctr

  committed
  ea7ffd5

  Copy full SHA for ea7ffd5

• llvm_ffi_setup: Add tests

  qsctr

  committed
  ae8780a

  Copy full SHA for ae8780a

• llvm_ffi_setup: Add README for salsa test

  qsctr

  committed
  ddb9fa5

  Copy full SHA for ddb9fa5

• llvm_ffi_setup: Document code

  qsctr

  committed
  9998ce3

  Copy full SHA for 9998ce3

Commits on Sep 29, 2023

• llvm_ffi_setup: Clean up code

  qsctr

  committed
  7827430

  Copy full SHA for 7827430

• Rename throwLLVM' to throwLLVMFun

  qsctr

  committed
  c82451b

  Copy full SHA for c82451b

• llvm_ffi_setup: Rename throw to throwFFISetup

  qsctr

  committed
  c9cc7e6

  Copy full SHA for c9cc7e6

Commits on Sep 30, 2023

• llvm_ffi_setup: Use scEq for postcond equality

  qsctr

  committed
  ec89a41

  Copy full SHA for ec89a41

• llvm_ffi_setup: Test eq postcond for zipMul3

  qsctr

  committed
  8001a62

  Copy full SHA for 8001a62

Commits on Oct 2, 2023

• Add llvm_ffi_verify command

  qsctr

  committed
  aaa9a4c

  Copy full SHA for aaa9a4c

• llvm_ffi_setup: Improve too many arguments error

  qsctr

  committed
  3a11886

  Copy full SHA for 3a11886

• Use llvm_ffi_verify in test_ffi_verify tests

  qsctr

  committed
  24675b8

  Copy full SHA for 24675b8

Commits on Oct 3, 2023

• Revert "Use llvm_ffi_verify in test_ffi_verify tests"

  Show description for 75f6075
  qsctr

  committed
  75f6075

  Copy full SHA for 75f6075

• Revert "Add llvm_ffi_verify command"

  Show description for 99c4c60
  qsctr

  committed
  99c4c60

  Copy full SHA for 99c4c60

• llvm_ffi_setup: Document code more

  qsctr

  committed
  9d6e4d6

  Copy full SHA for 9d6e4d6

• llvm_ffi_setup: Add high level code documentation

  qsctr

  committed
  b95cfd1

  Copy full SHA for b95cfd1

• llvm_ffi_setup: Update command documentation

  qsctr

  committed
  f8bdef3

  Copy full SHA for f8bdef3

• llvm_ffi_setup: Check in .bc files for tests

  qsctr

  committed
  320bc33

  Copy full SHA for 320bc33

• llvm_ffi_setup: Use Maybe for ffiToLLVM

  qsctr

  committed
  d9ae3f2

  Copy full SHA for d9ae3f2

• manual: Add llvm_ffi_setup

  qsctr

  committed
  8b4d156

  Copy full SHA for 8b4d156

• CHANGES: Add llvm_ffi_setup

  qsctr

  committed
  8977fc7

  Copy full SHA for 8977fc7

• manual: Edit llvm_ffi_setup supported types

  qsctr

  committed
  db44c2d

  Copy full SHA for db44c2d

Commits on Oct 4, 2023

• llvm_ffi_setup: Edit FFIBasicRef error message

  qsctr

  committed
  8010dcc

  Copy full SHA for 8010dcc

Commits on Oct 5, 2023

• Merge branch 'master' into ffi-verify

  mergify[bot]

  authored
  2aa6269

  Copy full SHA for 2aa6269