package codex
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
The Codex library for building static analysers based on abstract interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386
doc/codex.domains/Domains/Log/Log_With_Focusing/Block_Forward/index.html
Module Log_With_Focusing.Block_Forward
val sizeof : (block, offset) Sig.Context_Arity_Forward(Context).ar1Size of a block in bytes
val concat : (block, block, block) Sig.Context_Arity_Forward(Context).ar2Concatenates two blocks
val load :
size:Units.In_bits.t ->
(block, offset, binary) Sig.Context_Arity_Forward(Context).ar2Loads (extracts) a value of a fixed size at a given index from a block
val store :
size:Units.In_bits.t ->
(block, offset, binary, block) Sig.Context_Arity_Forward(Context).ar3Stores (writes) a fixed size value of a given index in a block
val binary_to_block :
size:Units.In_bits.t ->
(binary, block) Sig.Context_Arity_Forward(Context).ar1Converts a fixed size value to a block
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>