src/kernel_services/plugin_entry_points/journal.ml

src/kernel_services/plugin_entry_points/journal.mli

src/plugins/callgraph/journalize.ml

src/plugins/callgraph/journalize.mli

tests/journal/abstract_cpt.ml

tests/journal/control.i

tests/journal/control2.c

tests/journal/intra.i

tests/journal/intra.ml

tests/journal/oracle/control.0.res.oracle

tests/journal/oracle/control.1.res.oracle

tests/journal/oracle/control.2.res.oracle

tests/journal/oracle/control2.res.oracle

tests/journal/oracle/control2_sav.err

tests/journal/oracle/control2_sav.res

tests/journal/oracle/intra.res.oracle

tests/journal/test_config

tests/journal/use_cpt.ml