| Fct_slice |
This module deals with slice computation.
|
| PrintSlice |
Everything needed to print the result
|
| Register_gui |
Extension of the GUI in order to support slicing visualization.
|
| Slicing |
Slicing API.
|
| SlicingActions |
selection mode (ie which mark to associate to the node
and how to propagate in the different kinds of dependencies)
|
| SlicingCmds |
Those functions were previously outside the slicing module to show how to
use the slicing API.
|
| SlicingMacros |
This .mli exists mainly to facilitate 'make -j'.
|
| SlicingMarks |
generated
spare = the smallest visible mark
|
| SlicingParameters |
Slicing
|
| SlicingProject |
Handle the project global object.
|
| SlicingState |
State of the slicing.
|
| SlicingTransform |
Export a CIL application from a slicing project
|
| SlicingInternals |
Internals types
Internals type definitions should be hidden to the outside world,
but it is not really possible to have abstract types since Slicing has to
use Db.Slicing functions...
|
| SlicingTypes |
Slicing module types.
|