package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Universal.Partitioning`

module Int_var : sig ... end

State partitioning depending on the value of target integer variables

module Tail_markers : sig ... end

Trace partitioning keeping the k last of markers