package codex
On This Page
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.single_value_abstraction/Single_value_abstraction/Log/Log_Numeric_Enum/index.html
Module Log.Log_Numeric_EnumSource
Logs all calls to Sub using Tracelog.
Parameters
module Log : Tracelog.Smodule Sub : Sig.NUMERIC_ENUMSignature
Source
module Bitvector_Forward :
Operator.BITVECTOR_FORWARD_WITH_BIMUL_ADD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type bitvector := bitvectorSource
module Boolean_Forward :
Operator.BOOLEAN_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := booleanSource
module Boolean_Backward :
Operator.BOOLEAN_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := booleanSource
module Integer_Forward :
Operator.INTEGER_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type integer := integerSource
module Integer_Backward :
Operator.INTEGER_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := boolean
and type integer := integerSource
module Enum_Forward :
Operator.ENUM_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type enum := enumSource
module Enum_Backward :
Operator.ENUM_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := boolean
and type enum := enumOn This Page