Skip to content

Crux v0.9

Latest
Latest
Compare
Choose a tag to compare
@mccleeary-galois mccleeary-galois released this 30 Aug 19:17
· 24 commits to master since this release
crux-v0.9
00da89c

Crux Updates

MIR Updates

  • Add support for GHC 9.8
  • Constant slice updates in accordance with downstream changes from crucible-mir.

LLVM Updates

  • Add support for GHC 9.8
  • The type signatures in Crux.LLVM.Overrides now use fewer type parameters in the OverrideTemplates that they return, in accordance with downstream changes from crucible-llvm.
Assets 16
Loading