Code

Changes#1165

Code

Merged

andreistefanescu merged 10 commits intomasterGaloisInc/crucible:masterfrom changesGaloisInc/crucible:changesCopy head branch name to clipboardJan 24, 2024

+323-236

Commits

Commits on Jan 19, 2024

• Cleanup.

  andreistefanescu

  committed
  ebbcd4e

  Copy full SHA for ebbcd4e

• Derive Show.

  andreistefanescu

  committed
  39e9c1e

  Copy full SHA for 39e9c1e

• Add updateHandleMap.

  andreistefanescu

  committed
  63f2c2a

  Copy full SHA for 63f2c2a

• Add parentWTOComponent.

  andreistefanescu

  committed
  f5422da

  Copy full SHA for f5422da

• Export writeSourceSize.

  andreistefanescu

  committed
  8813bd4

  Copy full SHA for 8813bd4

• Add runCHC and helpers.

  andreistefanescu

  committed
  72d90c0

  Copy full SHA for 72d90c0

• Bump what4.

  andreistefanescu

  committed
  34651c6

  Copy full SHA for 34651c6

• CI: Regenerate cabal.GHC-*.config files

  RyanGlScott

  committed
  9f9c0b5

  Copy full SHA for 9f9c0b5

Commits on Jan 24, 2024

• Update parentWTOComponent.

  andreistefanescu

  committed
  623b043

  Copy full SHA for 623b043

• Update test output.

  andreistefanescu

  committed
  d458f24

  Copy full SHA for d458f24