{0 Library goblint.incremental}
This library is unwrapped and provides the following top-level modules.
For better context, see {!Goblint_lib} which also documents these modules.


{1 Incremental}

{!modules:
CompareCIL
CompareAST
CompareCFG
UpdateCil
MaxIdUtil
Serialize
CilMaps
}
