Skip to content

Crux v0.8
Compare
Choose a tag to compare
@RyanGlScott RyanGlScott released this 05 Feb 22:26
· 231 commits to master since this release
crux-v0.8
e4e532f

New features

  • [LLVM] Add support for LLVM bitcode files produced by Apple Clang on macOS.
  • [LLVM] Implement overrides for the LLVM llvm.is.fpclass.f* intrinsics.
  • [LLVM] Implement overrides for the isinf, __isinf, and __isinff C functions.
  • [LLVM] Implement overrides for the LLVM llvm.fma.f* and llvm.fmuladd.f* intrinsics.
  • [LLVM] Implement overrides for the fma and fmaf C functions.
  • [MIR] Support the nightly-2023-01-23 Rust toolchain. Some of the highlights of this include:
    • Properly support for Rust's new constant forms
    • Better support for zero-sized constants
    • Encoding enum discriminant types so that crux-mir can know about non-isize discriminant types (e.g., Ordering, which uses an i8 discriminant)
    • A more intelligent way of computing crate disambiguators for looking up known types such as MaybeUninit and Option
  • [MIR] Support enums marked with repr(transparent).
Assets 14
Loading