Code

Goal metadata#1679

Code

Merged

mergify[bot] merged 12 commits intomasterGaloisInc/saw-script:masterfrom rwd/goal-metadataGaloisInc/saw-script:rwd/goal-metadataCopy head branch name to clipboardJun 2, 2022

+1,088-354

Commits

Commits on Jun 2, 2022

• Introduce a notion of "condition metadata", which

  Show description for fa6958e
  robdockins

  committed
  fa6958e

  Copy full SHA for fa6958e

• Implement a special case when we have exactly one override that could

  Show description for 1adda9d
  robdockins

  committed
  1adda9d

  Copy full SHA for 1adda9d

• Fix warnings

  robdockins

  committed
  55611fa

  Copy full SHA for 55611fa

• Fix crux-mir-comp build

  robdockins

  committed
  d0ac7e2

  Copy full SHA for d0ac7e2

• Implement partial condition metadata tracking for JVM.

  Show description for 20ed0b0
  robdockins

  committed
  20ed0b0

  Copy full SHA for 20ed0b0

• Gate the new special-case handling of single overrides

  Show description for b99840c
  robdockins

  committed
  b99840c

  Copy full SHA for b99840c

• Pipe condition metadata through the X86 verification modes.

  robdockins

  committed
  ecef4a7

  Copy full SHA for ecef4a7

• Add a simple test for the goal tagging primitives.

  robdockins

  committed
  58289a4

  Copy full SHA for 58289a4

• Update changelog

  robdockins

  committed
  cc2ba1b

  Copy full SHA for cc2ba1b

• Stray comments/typos

  robdockins

  committed
  79e7ea9

  Copy full SHA for 79e7ea9

• Update JVM and X86 metadata propagation to match LLVM.

  robdockins

  committed
  67fe177

  Copy full SHA for 67fe177

• Add the jvm_setup_with_tag primitive, similar to the LLVM one

  Show description for 84b00b7
  robdockins

  committed
  84b00b7

  Copy full SHA for 84b00b7