Module Asllib.StaticOperationsSource

Sourceval constraint_binop : AST.binop -> AST.int_constraint list -> AST.int_constraint list -> AST.int_constraint list

constraint_binop op cs1 cs2 is the set of constraints given by the element wise application of op.

Supported ops: DIV, DIVRM, MUL, PLUS, MINUS, SHR, SHL, MOD, POW.

Sourcemodule type CONFIG = sig ... end
Sourcemodule Make (C : CONFIG) : sig ... end
Sourceval filter_reduce_constraint_div : AST.int_constraint -> AST.int_constraint option