Uses of Package
dev.civl.mc.config.IF
Packages that use dev.civl.mc.config.IF
Package
Description
Module analysis provides a list of analyzers for static/runtime analyzing of a program.
Module config provides static configurations of the CIVL tool.
Module kripke provides the definition of various
transitions and the enabler and state manager of CIVL.
Module log provides the data structure for logging errors during verification.
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
Module semantics implements the semantics of CIVL-C.
Module state is responsible for the creation and manipulation of
states of a CIVL model.
Module transform defines various kinds of
transformations of an AST into a CIVL AST.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.analysis.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.config.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.Kinds of deadlock: absolute, potential or none.Error state equivalence semantics for suppressing logging of redundant errors.The different MPI implementation model that CIVL provides.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.kripke.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.log.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.model.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.semantics.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.state.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.
-
Classes in dev.civl.mc.config.IF used by dev.civl.mc.transform.IFClassDescriptionA CIVLConfiguration object encompasses all the parameters used to configure CIVL for the execution of one or more tasks.