| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Crux.LLVM.Overrides
Synopsis
- cruxLLVMOverrides :: forall sym (wptr :: Natural) (arch :: LLVMArch) personality ext. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym ext arch]
- svCompOverrides :: forall sym (wptr :: Natural) personality ext (arch :: LLVMArch). (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr) => [OverrideTemplate (personality sym) sym ext arch]
- cbmcOverrides :: forall sym (wptr :: Natural) (arch :: LLVMArch) personality ext. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym ext arch]
- type ArchOk (arch :: LLVMArch) = HasPtrWidth (ArchWidth arch)
- type TPtr (arch :: LLVMArch) = LLVMPointerType (ArchWidth arch)
Documentation
cruxLLVMOverrides :: forall sym (wptr :: Natural) (arch :: LLVMArch) personality ext. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym ext arch] Source #
svCompOverrides :: forall sym (wptr :: Natural) personality ext (arch :: LLVMArch). (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr) => [OverrideTemplate (personality sym) sym ext arch] Source #
cbmcOverrides :: forall sym (wptr :: Natural) (arch :: LLVMArch) personality ext. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth wptr, wptr ~ ArchWidth arch, ?lc :: TypeContext, ?intrinsicsOpts :: IntrinsicsOptions, ?memOpts :: MemOptions) => Proxy# arch -> [OverrideTemplate (personality sym) sym ext arch] Source #