| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Crux.LLVM.Overrides
Synopsis
- cruxLLVMOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym arch rtp l a]
- svCompOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr) => [OverrideTemplate (personality sym) sym arch rtp l a]
- cbmcOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym arch rtp l a]
- type ArchOk arch = HasPtrWidth (ArchWidth arch)
- type TPtr arch = LLVMPointerType (ArchWidth arch)
Documentation
cruxLLVMOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym arch rtp l a] Source #
svCompOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr) => [OverrideTemplate (personality sym) sym arch rtp l a] Source #
cbmcOverrides :: (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym arch rtp l a] Source #
type ArchOk arch = HasPtrWidth (ArchWidth arch) Source #
This happens quite a lot, so just a shorter name
type TPtr arch = LLVMPointerType (ArchWidth arch) Source #