Api | |
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 | |
SlicingActions | This module deals with the action management. |
SlicingCmds | Those functions were previously outside the slicing module to show how to use the slicing API. |
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... |
SlicingMacros | This .mli exists mainly to facilitate 'make -j'. |
SlicingMarks | Everything related with the marks. |
SlicingParameters | Slicing |
SlicingProject | Handle the project global object. |
SlicingSelect | |
SlicingState | State of the slicing. |
SlicingTransform | Export a CIL application from a slicing project |
SlicingTypes | Slicing module types. |