Module DomainsSource

Sourcemodule Assert_false_domain : sig ... end
Sourcemodule Bitwise : sig ... end
Sourcemodule Extend : sig ... end
Sourcemodule Integer2binary : sig ... end
Sourcemodule Log : sig ... end
Sourcemodule Loop_domain : sig ... end
module Memory_domains : sig ... end
module Memory_sig : sig ... end

Signature for the parts of memory domain.

Sourcemodule Overflow_checks : sig ... end

Adds checks for overflows around bitvector operation. Assumes no overflow occurs and optionaly raise alarms if overflows are possible.

Sourcemodule Product : sig ... end
Sourcemodule Sig : sig ... end
module Term_based : sig ... end
module Term_based_sig : sig ... end
Sourcemodule Term_domain : sig ... end
Sourcemodule With_Noop : sig ... end