Code

Prepare release crux 0.9#1244

Code

Closed

mccleeary-galois wants to merge 3 commits intomasterGaloisInc/crucible:masterfrom prepare-release-crux-0.9GaloisInc/crucible:prepare-release-crux-0.9Copy head branch name to clipboard

+45-11

Commits

Commits on Aug 30, 2024

• Update Changelogs in preparation for crux-0.9 release.

  mccleeary-galois

  committed
  f02b82b

  Copy full SHA for f02b82b

• 0.9 Release: Synchronize and update cabal version numbers to 0.9

  mccleeary-galois

  committed
  6025736

  Copy full SHA for 6025736

• Update cabal version numbers to development version number.

  mccleeary-galois

  committed
  edf36bb

  Copy full SHA for edf36bb