ocaml fallout (i386): devel/frama-c

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

ocaml fallout (i386): devel/frama-c

Stuart Henderson
Ocamlopt     src/plugins/value/gui_files/register_gui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmx
ldPacking      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)

ld: error: undefined symbol: ml_as_z_neg
>>> referenced by integer.ml:67 (src/libraries/stdlib/integer.ml:67)
>>>               src/kernel_internals/typing/translate_lightweight.o:(camlTranslate_lightweight__aux_1108)
(etc.etc.)

Full log below:


>>> Building on i386 under devel/frama-c
         BDEPENDS = [math/graphviz;math/ocaml-zarith;x11/gnome/libgnomecanvas;x11/gtksourceview;lang/ocaml;devel/ocaml-graph;devel/autoconf/2.69;sysutils/findlib;x11/lablgtk2;devel/metaauto;devel/gmake]
         DIST = [devel/frama-c:frama-c-18.0-Argon.tar.gz]
         FULLPKGNAME = frama-c-18.0
         RDEPENDS = [math/graphviz;x11/lablgtk2;x11/gnome/libgnomecanvas;math/ocaml-zarith;x11/gtksourceview;lang/ocaml]
(Junk lock obtained for i386 at 1552208207)
>>> Running depends in devel/frama-c at 1552208207
   last junk was in textproc/apertium-dicts/tur
/usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 gmake-4.2.1p0 graphviz-2.36.0p12 gtksourceview-2.10.5p5 lablgtk2-2.18.6 libgnomecanvas-2.30.3p7 metaauto-1.0p3 ocaml-4.07.1 ocaml-graph-1.8.8 ocaml-zarith-1.7p0
was: /usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 gmake-4.2.1p0 graphviz-2.36.0p12 gtksourceview-2.10.5p5 lablgtk2-2.18.6 libgnomecanvas-2.30.3p7 metaauto-1.0p3 ocaml-4.07.1 ocaml-graph-1.8.8 ocaml-zarith-1.7p0
/usr/sbin/pkg_add -aI -Drepair autoconf-2.69p2 findlib-1.8.0 gmake-4.2.1p0 graphviz-2.36.0p12 gtksourceview-2.10.5p5 lablgtk2-2.18.6 libgnomecanvas-2.30.3p7 metaauto-1.0p3 ocaml-4.07.1 ocaml-graph-1.8.8 ocaml-zarith-1.7p0
New and changed readme(s):
        /usr/local/share/doc/pkg-readmes/gtk+2
        /usr/local/share/doc/pkg-readmes/tcl-8.5
--- +tcl-8.5.19p4 -------------------
You may wish to add /usr/local/lib/tcl/tcl8.5/man to /etc/man.conf
--- +tk-8.5.19p1 -------------------
You may wish to add /usr/local/lib/tcl/tk8.5/man to /etc/man.conf
>>> Running show-prepare-results in devel/frama-c at 1552208243
===> devel/frama-c
===> frama-c-18.0 depends on: lablgtk2-* -> lablgtk2-2.18.6
===> frama-c-18.0 depends on: ocaml-graph-* -> ocaml-graph-1.8.8
===> frama-c-18.0 depends on: graphviz-* -> graphviz-2.36.0p12
===> frama-c-18.0 depends on: ocaml-zarith-* -> ocaml-zarith-1.7p0
===> frama-c-18.0 depends on: findlib-* -> findlib-1.8.0
===> frama-c-18.0 depends on: ocaml-=4.07.1 -> ocaml-4.07.1
===> frama-c-18.0 depends on: metaauto-* -> metaauto-1.0p3
===> frama-c-18.0 depends on: autoconf-2.69 -> autoconf-2.69p2
===> frama-c-18.0 depends on: gmake-* -> gmake-4.2.1p0
===> frama-c-18.0 depends on: libgnomecanvas-* -> libgnomecanvas-2.30.3p7
===> frama-c-18.0 depends on: gtksourceview-* -> gtksourceview-2.10.5p5
===>  Verifying specs:  X11 Xcomposite Xcursor Xdamage Xext Xfixes Xi Xinerama Xrandr Xrender art_lgpl_2 atk-1.0 c cairo fontconfig freetype gdk-x11-2.0 gdk_pixbuf-2.0 gio-2.0 glib-2.0 gnomecanvas-2 gobject-2.0 gtk-x11-2.0 gtksourceview-2.0 intl m gmp pango-1.0 pangocairo-1.0 pangoft2-1.0 pthread z
===>  found X11.16.1 Xcomposite.4.0 Xcursor.5.0 Xdamage.4.0 Xext.13.0 Xfixes.6.0 Xi.12.1 Xinerama.6.0 Xrandr.7.1 Xrender.6.0 art_lgpl_2.5.20 atk-1.0.21809.2 c.95.0 cairo.13.0 fontconfig.12.0 freetype.29.0 gdk-x11-2.0.2400.0 gdk_pixbuf-2.0.3200.1 gio-2.0.4200.8 glib-2.0.4201.1 gnomecanvas-2.2002.0 gobject-2.0.4200.8 gtk-x11-2.0.2400.0 gtksourceview-2.0.5.0 intl.6.0 m.10.1 gmp.10.0 pango-1.0.3800.2 pangocairo-1.0.3800.1 pangoft2-1.0.3800.1 pthread.26.1 z.5.0
autoconf-2.69p2
findlib-1.8.0
gmake-4.2.1p0
graphviz-2.36.0p12
gtksourceview-2.10.5p5
lablgtk2-2.18.6
libgnomecanvas-2.30.3p7
metaauto-1.0p3
ocaml-4.07.1
ocaml-graph-1.8.8
ocaml-zarith-1.7p0
(Junk lock released for i386 at 1552208245)
distfiles size=5358960
>>> Running patch in devel/frama-c at 1552208245
===> devel/frama-c
===>  Checking files for frama-c-18.0
`/mnt/distfiles/frama-c-18.0-Argon.tar.gz' is up to date.
===>  Extracting for frama-c-18.0
===>  Patching for frama-c-18.0
===>   Applying OpenBSD patch patch-Makefile
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-Makefile,v 1.1 2019/03/04 12:51:12 chrisz Exp $
|
|don't try to install cmx* files on bytecode builds.
|
|Index: Makefile
|--- Makefile.orig
|+++ Makefile
--------------------------
Patching file Makefile using Plan A...
Hunk #1 succeeded at 1863.
done
===>   Applying OpenBSD patch patch-configure_in
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-configure_in,v 1.1 2019/03/04 12:51:12 chrisz Exp $
|
|Use system threads if available - even on bytecode builds.
|Vmthreads are broken and deprecated.
|
|Index: configure.in
|--- configure.in.orig
|+++ configure.in
--------------------------
Patching file configure.in using Plan A...
Hunk #1 succeeded at 436.
done
===>  Compiler link: clang -> /usr/bin/clang
===>  Compiler link: clang++ -> /usr/bin/clang++
===>  Compiler link: cc -> /usr/bin/cc
===>  Compiler link: c++ -> /usr/bin/c++
>>> Running configure in devel/frama-c at 1552208248
===> devel/frama-c
===>  Generating configure for frama-c-18.0
Running autoconf-2.69 in /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon
configure.ac:45: warning: prefer named diversions
configure.ac:49: warning: prefer named diversions
configure.ac:99: warning: prefer named diversions
configure.ac:42: warning: prefer named diversions
configure.ac:57: warning: prefer named diversions
src/plugins/aorai/configure.ac:45: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded from...
src/plugins/aorai/configure.ac:45: the top level
src/plugins/aorai/configure.ac:49: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded from...
src/plugins/aorai/configure.ac:49: the top level
src/plugins/security_slicing/configure.ac:42: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded from...
src/plugins/security_slicing/configure.ac:42: the top level
src/plugins/wp/configure.ac:57: warning: prefer named diversions
/usr/local/share/autoconf-2.69/autoconf/general.m4:196: AC_FOREACH is expanded from...
src/plugins/wp/configure.ac:57: the top level
configure.in:940: warning: prefer named diversions
configure.in:945: warning: prefer named diversions
configure.in:950: warning: prefer named diversions
configure.in:955: warning: prefer named diversions
configure.in:979: warning: prefer named diversions
===>  Configuring for frama-c-18.0
Using /usr/obj/ports/frama-c-18.0/config.site (generated)
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-gtk-doc
configure: loading site script /usr/obj/ports/frama-c-18.0/config.site
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for gmake... gmake
checking version of make... 4.2
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
checking version of OCaml... 4.07.1
checking OCaml library path... /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
native dynlink works fine. Great.
checking for ocamlfind... ocamlfind
configure: Distribution mode: all warnings are deactivated
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamlcp... ocamlcp
checking for ocamlgraph... found 1.8.8: should work
checking for zarith... found
configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamlmktop... ocamlmktop
checking for otags... no
checking for Yojson... yojson not found. Kernel option -json-compilation-database won't be available.
checking for Apron... not found. The corresponding domains won't be available in Eva
checking for MPFR... not found. The numerors domain won't be available in Eva
checking for Landmarks... not found.
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking OCaml native threads... ok.
checking for gcc... cc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... (cached) o
checking whether we are using the GNU C compiler... (cached) yes
checking whether cc accepts -g... (cached) yes
checking for cc option to accept ISO C89... none needed
checking how to run the C preprocessor... cc -E
checking for grep that handles long lines and -e... (cached) /usr/bin/grep
checking for egrep... (cached) /usr/bin/egrep
checking for ANSI C header files... (cached) yes
checking for sys/types.h... (cached) yes
checking for sys/stat.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for memory.h... (cached) yes
checking for strings.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for stdint.h... (cached) yes
checking for unistd.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for assert.h... (cached) yes
checking for float.h... (cached) yes
checking for math.h... (cached) yes
checking for signal.h... (cached) yes
checking for unistd.h... (cached) yes
checking how to run the C preprocessor... cc -E
/* Check whether comments are kept in output */
Default preprocessor is 'cc -E -C -I.'.
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m32\"; : not found
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m64\"; : not found
./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m16\"; : not found
Default preprocessor supported architecture-related options:
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/plugins/callgraph... yes
callgraph... yes
checking for src/plugins/constant_propagation... yes
semantic_constant_folding... yes
checking for src/plugins/from... yes
from_analysis... yes
checking for src/plugins/gui... yes
gui... yes
checking for src/plugins/impact... yes
impact... yes
checking for src/plugins/inout... yes
inout... yes
checking for src/plugins/metrics... yes
metrics... yes
checking for src/plugins/occurrence... yes
occurrence... yes
checking for src/plugins/pdg... yes
pdg... yes
checking for src/plugins/postdominators... yes
postdominators... yes
checking for src/plugins/rte... yes
rtegen... yes
checking for src/plugins/scope... yes
scope... yes
checking for src/plugins/slicing... yes
slicing... yes
checking for src/plugins/sparecode... yes
sparecode... yes
checking for src/plugins/users... yes
users... yes
checking for src/plugins/value... yes
eva... yes
checking for src/plugins/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... no
checking for src/plugins/e-acsl/Makefile.in... yes
e_acsl... yes
checking for uname... uname
checking for stdio.h... (cached) yes
checking for doxygen... no
checking for dot... yes
configure: creating ./config.status
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: executing default commands
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-gtk-doc
checking for src/plugins/loop_analysis/Makefile.in... yes
loop_analysis... yes
checking for src/plugins/nonterm/Makefile.in... yes
nonterm... yes
checking for src/plugins/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/plugins/print_api... yes
print_api... yes
checking for src/plugins/qed... yes
qed... yes
checking for src/plugins/report/Makefile.in... yes
report... yes
checking for src/plugins/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/plugins/studia... yes
studia... yes
checking for src/plugins/variadic/Makefile.in... yes
variadic... yes
checking for src/plugins/wp/Makefile.in... yes
wp... yes
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
Ocamlfind -> using +lablgtk2.(/usr/local/lib/ocaml/lablgtk2,/usr/local/lib/ocaml/lablgtk2)
checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cmxa... yes
checking for dot... yes
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: WARNING: ltl2ba not found.
checking for coqc... configure: WARNING: aorai partially enabled because ltl2ba missing.
no
configure: rerun configure to make wp using coq 8.5+
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg
config.status: creating src/plugins/e-acsl/Makefile
config.status: creating src/plugins/loop_analysis/Makefile
config.status: creating src/plugins/nonterm/Makefile
config.status: creating src/plugins/obfuscator/Makefile
config.status: creating src/plugins/report/Makefile
config.status: creating src/plugins/variadic/Makefile
config.status: creating src/plugins/aorai/Makefile
config.status: creating src/plugins/security_slicing/Makefile
config.status: creating src/plugins/wp/Makefile
config.status: creating share/Makefile.config
config.status: executing default commands
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-gtk-doc
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: callgraph: yes
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: yes
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: rtegen: yes
configure: scope: yes
configure: slicing: yes
configure: sparecode: yes
configure: users: yes
configure: eva: yes
configure: aorai: partial, ltl2ba missing
configure: e_acsl: yes
configure: loop_analysis: yes
configure: nonterm: yes
configure: obfuscator: yes
configure: print_api: yes
configure: qed: yes
configure: report: yes
configure: security_slicing: yes
configure: studia: yes
configure: variadic: yes
configure: wp: yes
>>> Running build in devel/frama-c at 1552208261
===> devel/frama-c
===>  Building for frama-c-18.0
Ocamllex     src/kernel_internals/parsing/clexer.ml
Ocamlyacc    src/kernel_internals/parsing/cparser.ml
386 states, 4411 transitions, table size 19960 bytes
3359 additional bytes used for bindings
Ocamllex     src/kernel_internals/parsing/logic_lexer.ml
156 states, 1841 transitions, table size 8300 bytes
1981 additional bytes used for bindings
Ocamlyacc    src/kernel_internals/parsing/logic_parser.ml
Ocamllex     src/kernel_internals/parsing/logic_preprocess.ml
138 states, 558 transitions, table size 3060 bytes
2139 additional bytes used for bindings
Generating  src/kernel_services/ast_queries/json_compilation_database.ml
Ocamllex     src/libraries/utils/json.ml
36 states, 360 transitions, table size 1656 bytes
Generating  src/kernel_internals/runtime/config.ml
Generating   src/libraries/stdlib/transitioning.ml
Generating   share/frama-c.rc
Generating   share/Makefile.dynamic_config
Generating   src/plugins/wp/.Makefile.plugin.generated
Generating   src/plugins/variadic/.Makefile.plugin.generated
Generating   src/plugins/studia/.Makefile.plugin.generated
Generating   src/plugins/security_slicing/.Makefile.plugin.generated
Generating   src/plugins/report/.Makefile.plugin.generated
Generating   src/plugins/qed/.Makefile.plugin.generated
Generating   src/plugins/print_api/.Makefile.plugin.generated
Generating   src/plugins/obfuscator/.Makefile.plugin.generated
Generating   src/plugins/nonterm/.Makefile.plugin.generated
Generating   src/plugins/loop_analysis/.Makefile.plugin.generated
Generating   src/plugins/e-acsl/.Makefile.plugin.generated
Generating   src/plugins/aorai/.Makefile.plugin.generated
Generating   src/plugins/slicing/.Makefile.plugin.generated
Generating   src/plugins/sparecode/.Makefile.plugin.generated
Generating   src/plugins/scope/.Makefile.plugin.generated
Generating   src/plugins/pdg/.Makefile.plugin.generated
Generating   src/plugins/impact/.Makefile.plugin.generated
Generating   src/plugins/inout/.Makefile.plugin.generated
Generating   src/plugins/postdominators/.Makefile.plugin.generated
Generating   src/plugins/constant_propagation/.Makefile.plugin.generated
Generating   src/plugins/users/.Makefile.plugin.generated
Generating   src/plugins/from/.Makefile.plugin.generated
Generating   src/plugins/rte/.Makefile.plugin.generated
Generating   src/plugins/occurrence/.Makefile.plugin.generated
Generating   src/plugins/value/.Makefile.plugin.generated
Generating   src/plugins/callgraph/.Makefile.plugin.generated
Generating   src/plugins/metrics/.Makefile.plugin.generated
Generating   src/kernel_internals/runtime/frama_c_config.ml
gmake[1]: Entering directory '/usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon'
Ocamllex     src/plugins/wp/script.ml
57 states, 826 transitions, table size 3646 bytes
Ocamllex     src/plugins/wp/rformat.ml
31 states, 1109 transitions, table size 4622 bytes
4393 additional bytes used for bindings
Ocamllex     src/plugins/wp/driver.ml
105 states, 2064 transitions, table size 8886 bytes
2265 additional bytes used for bindings
Ocamllex     src/plugins/wp/why3_xml.ml
114 states, 1396 transitions, table size 6268 bytes
3538 additional bytes used for bindings
Generating   src/plugins/wp/Wp.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Wp.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Wp.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Metrics.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Callgraph.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Eva.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Occurrence.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/RteGen.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/From.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Users.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Constant_Propagation.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Postdominators.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Inout.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Impact.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Pdg.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Scope.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Sparecode.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Slicing.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Aorai.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/E_ACSL.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/LoopAnalysis.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Nonterm.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Obfuscator.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Print_api.mli
Generating   src/plugins/qed/Qed.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Qed.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Report.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Security_slicing.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Studia.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Variadic.mli
Ocamldep     src/plugins/wp/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Variadic.mli
Ocamldep     src/plugins/variadic/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Studia.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Studia.mli
Ocamldep     src/plugins/studia/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Security_slicing.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Security_slicing.mli
Ocamldep     src/plugins/security_slicing/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Report.mli
Ocamldep     src/plugins/report/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Qed.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Qed.mli
Ocamldep     src/plugins/qed/.depend
Ocamlyacc    src/plugins/print_api/grammar.ml
Ocamllex     src/plugins/print_api/lexer.ml
8 states, 264 transitions, table size 1104 bytes
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Print_api.mli
Ocamldep     src/plugins/print_api/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Obfuscator.mli
Ocamldep     src/plugins/obfuscator/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Nonterm.mli
Ocamldep     src/plugins/nonterm/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/LoopAnalysis.mli
Ocamldep     src/plugins/loop_analysis/.depend
Generating   src/plugins/e-acsl/local_config.ml
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/E_ACSL.mli
Ocamldep     src/plugins/e-acsl/.depend
Ocamllex     src/plugins/aorai/promelalexer_withexps.ml
100 states, 4420 transitions, table size 18280 bytes
Ocamlyacc    src/plugins/aorai/promelaparser_withexps.ml
4 shift/reduce conflicts.
Ocamllex     src/plugins/aorai/promelalexer.ml
85 states, 4392 transitions, table size 18078 bytes
Ocamlyacc    src/plugins/aorai/promelaparser.ml
Ocamllex     src/plugins/aorai/ltllexer.ml
82 states, 3369 transitions, table size 13968 bytes
Ocamlyacc    src/plugins/aorai/ltlparser.ml
7 shift/reduce conflicts.
Ocamllex     src/plugins/aorai/yalexer.ml
73 states, 2302 transitions, table size 9646 bytes
Ocamlyacc    src/plugins/aorai/yaparser.ml
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Aorai.mli
Ocamldep     src/plugins/aorai/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Slicing.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Slicing.mli
Ocamldep     src/plugins/slicing/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Sparecode.mli
Ocamldep     src/plugins/sparecode/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Scope.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Scope.mli
Ocamldep     src/plugins/scope/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Pdg.mli
Ocamldep     src/plugins/pdg/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Impact.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Impact.mli
Ocamldep     src/plugins/impact/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Inout.mli
Ocamldep     src/plugins/inout/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Postdominators.mli
Ocamldep     src/plugins/postdominators/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Constant_Propagation.mli
Ocamldep     src/plugins/constant_propagation/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Users.mli
Ocamldep     src/plugins/users/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/From.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/From.mli
Ocamldep     src/plugins/from/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/RteGen.mli
Ocamldep     src/plugins/rte/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Occurrence.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Occurrence.mli
Ocamldep     src/plugins/occurrence/.depend
Generating  src/plugins/value/domains/apron/apron_domain.ml
Generating  src/plugins/value/domains/numerors/numerors_domain.ml
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Eva.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.mli
Ocamldep     src/plugins/value/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Callgraph.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Callgraph.mli
Ocamldep     src/plugins/callgraph/.depend
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Metrics.mli
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Metrics.mli
Ocamldep     src/plugins/metrics/.depend
Ocamldep     src/plugins/metrics/.depend
Ocamldep     src/plugins/callgraph/.depend
Ocamldep     src/plugins/value/.depend
Ocamldep     src/plugins/occurrence/.depend
Ocamldep     src/plugins/rte/.depend
Ocamldep     src/plugins/from/.depend
Ocamldep     src/plugins/users/.depend
Ocamldep     src/plugins/constant_propagation/.depend
Ocamldep     src/plugins/postdominators/.depend
Ocamldep     src/plugins/inout/.depend
Ocamldep     src/plugins/impact/.depend
Ocamldep     src/plugins/pdg/.depend
Ocamldep     src/plugins/scope/.depend
Ocamldep     src/plugins/sparecode/.depend
Ocamldep     src/plugins/slicing/.depend
Ocamldep     src/plugins/aorai/.depend
Ocamldep     src/plugins/e-acsl/.depend
Ocamldep     src/plugins/loop_analysis/.depend
Ocamldep     src/plugins/nonterm/.depend
Ocamldep     src/plugins/obfuscator/.depend
Ocamldep     src/plugins/print_api/.depend
Ocamldep     src/plugins/qed/.depend
Ocamldep     src/plugins/report/.depend
Ocamldep     src/plugins/security_slicing/.depend
Ocamldep     src/plugins/studia/.depend
Ocamldep     src/plugins/variadic/.depend
Ocamldep     src/plugins/wp/.depend
Generating   .depend
gmake[1]: Leaving directory '/usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon'
Generating   META.frama-c-aorai
Ocamlc       src/plugins/aorai/bool3.cmi
Ocamlc       src/libraries/datatype/unmarshal.cmi
Ocamlc       src/libraries/utils/filepath.cmi
Ocamlc       src/libraries/utils/pretty_utils.cmi
Ocamlc       src/libraries/stdlib/FCSet.cmi
Ocamlc       src/libraries/stdlib/FCMap.cmi
Ocamlc       src/libraries/stdlib/FCHashtbl.cmi
Ocamlc       src/libraries/stdlib/extlib.cmi
Ocamlc       src/plugins/aorai/ltlast.cmi
Ocamlc       src/libraries/utils/wto.cmi
Ocamlc       src/plugins/aorai/aorai_dataflow.cmi
Ocamlc       src/libraries/utils/escape.cmi
Ocamlc       src/libraries/utils/hook.cmi
Ocamlc       src/plugins/value_types/cilE.cmi
Ocamlopt     src/plugins/aorai/bool3.cmx
Ocamlopt     src/libraries/datatype/unmarshal.cmx
Ocamlc       src/libraries/stdlib/transitioning.cmi
Ocamlc       src/libraries/utils/rich_text.cmi
Ocamlc       src/libraries/stdlib/FCBuffer.cmi
Ocamlopt     src/libraries/utils/hook.cmx
Ocamlc       src/kernel_internals/runtime/config.cmi
Ocamlopt     src/libraries/stdlib/FCSet.cmx
Ocamlopt     src/libraries/stdlib/FCMap.cmx
Ocamlc       src/libraries/utils/qstack.cmi
Ocamlc       src/libraries/utils/binary_cache.cmi
Ocamlc       src/libraries/utils/utf8_logic.cmi
Ocamlopt     src/libraries/utils/escape.cmx
Ocamlc       src/kernel_internals/typing/alpha.cmi
Ocamlopt     src/libraries/utils/wto.cmx
Ocamlc       src/libraries/utils/bitvector.cmi
Ocamlc       src/kernel_services/abstract_interp/lattice_messages.cmi
Ocamlc       src/libraries/utils/unicode.cmi
Generating   ptests/ptests_config.ml
Generating   tests/ptests_config
Ocamlc       src/plugins/slicing/register_gui.cmi
Ocamlc       src/plugins/gui/wutil.cmi
Ocamlc       src/plugins/gui/widget.cmi
Ocamlc       src/libraries/utils/command.cmi
Ocamlc       src/libraries/utils/cilconfig.cmi
Ocamlc       src/libraries/utils/rgmap.cmi
Ocamlc       src/plugins/gui/wtable.cmi
Ocamlc       src/libraries/utils/indexer.cmi
Ocamlc       src/libraries/utils/task.cmi
Ocamlc       src/plugins/gui/source_viewer.cmi
Generating   src/plugins/e-acsl/tests/ptests_config
Generating   src/plugins/report/tests/ptests_config
Generating   src/plugins/wp/tests/ptests_config
Ocamlc       src/plugins/aorai/bool3.cmo
Ocamlc       src/libraries/datatype/structural_descr.cmi
Ocamlc       src/kernel_services/plugin_entry_points/log.cmi
Ocamlc       src/libraries/stdlib/integer.cmi
Ocamlc       src/plugins/aorai/ltl_output.cmi
Ocamlc       src/kernel_services/abstract_interp/float_sig.cmi
Ocamlopt     src/libraries/datatype/structural_descr.cmx
Ocamlopt     src/libraries/stdlib/transitioning.cmx
Ocamlopt     src/libraries/stdlib/FCBuffer.cmx
Ocamlopt     src/libraries/stdlib/integer.cmx
Ocamlopt     src/libraries/stdlib/FCHashtbl.cmx
Ocamlopt     src/libraries/utils/qstack.cmx
Ocamlopt     src/libraries/utils/utf8_logic.cmx
Ocamlopt     src/plugins/aorai/ltl_output.cmx
Ocamlopt     src/libraries/utils/bitvector.cmx
Ocamlc       src/kernel_services/abstract_interp/fc_float.cmi
Linking      bin/ptests.opt
Ocamlopt     src/plugins/gui/wutil.cmx
Ocamlc       src/plugins/gui/wtext.cmi
Ocamlopt     src/libraries/utils/rgmap.cmx
Ocamlc       src/plugins/gui/warning_manager.cmi
Ocamlopt     src/plugins/gui/wtable.cmx
Ocamlopt     src/libraries/utils/indexer.cmx
Ocamlc       src/libraries/datatype/type.cmi
Ocamlc       src/libraries/project/project_skeleton.cmi
Ocamlc       src/kernel_services/ast_data/cil_types.cmi
Ocamlc       src/kernel_services/cmdline_parameters/cmdline.cmi
Ocamlc       src/plugins/aorai/ltl_output.cmo
Ocamlopt     src/libraries/datatype/type.cmx
Ocamlopt     src/libraries/stdlib/extlib.cmx
Ocamlopt     src/libraries/utils/rich_text.cmx
Ocamlc       src/kernel_services/plugin_entry_points/journal.cmi
Ocamlc       src/libraries/utils/floating_point.cmi
Ocamlc       src/kernel_internals/runtime/machdeps.cmi
Ocamlc       src/kernel_services/ast_printing/cil_descriptive_printer.cmi
Ocamlc       src/kernel_services/ast_queries/ast_info.cmi
Ocamlc       src/kernel_services/ast_printing/cil_types_debug.cmi
Ocamlc       src/kernel_services/analysis/ordered_stmt.cmi
Ocamlc       src/kernel_services/analysis/undefined_sequence.cmi
Ocamlc       src/kernel_internals/typing/rmtmps.cmi
Ocamlc       src/kernel_internals/typing/oneret.cmi
Ocamlc       src/kernel_internals/typing/mergecil.cmi
Ocamlc       src/kernel_internals/typing/logic_builtin.cmi
Ocamlc       src/plugins/callgraph/journalize.cmi
Ocamlc       src/kernel_services/analysis/logic_interp.cmi
Ocamlopt     src/plugins/gui/widget.cmx
Ocamlc       src/libraries/datatype/descr.cmi
Ocamlc       src/kernel_services/parsetree/logic_ptree.cmi
Ocamlc       src/kernel_services/ast_printing/printer_api.cmi
Ocamlc       src/kernel_internals/parsing/logic_parser.cmi
Ocamlc       src/kernel_internals/typing/cfg.cmi
Ocamlopt     src/libraries/utils/pretty_utils.cmx
Ocamlopt     src/libraries/utils/filepath.cmx
Ocamlopt     src/libraries/datatype/descr.cmx
Ocamlc       src/kernel_services/ast_printing/printer_builder.cmi
Ocamlc       src/kernel_services/ast_printing/cil_printer.cmi
Ocamlopt     src/kernel_internals/runtime/machdeps.cmx
Ocamlc       src/kernel_services/ast_printing/logic_print.cmi
Ocamlopt     src/plugins/gui/wtext.cmx
Ocamlc       src/libraries/datatype/datatype.cmi
Ocamlc       src/plugins/aorai/promelaast.cmi
Ocamlc       src/kernel_services/ast_printing/printer.cmi
Ocamlc       src/kernel_services/ast_queries/logic_typing.cmi
Ocamlc       src/plugins/aorai/promelaoutput.cmi
Ocamlc       src/plugins/aorai/logic_simplification.cmi
Ocamlc       src/kernel_internals/parsing/logic_lexer.cmi
Ocamlc       src/plugins/aorai/ltlparser.cmi
Ocamlc       src/plugins/aorai/yaparser.cmi
Ocamlc       src/plugins/aorai/promelaparser.cmi
Ocamlc       src/plugins/aorai/promelaparser_withexps.cmi
Ocamlc       src/kernel_services/analysis/wto_statement.cmi
Ocamlc       src/kernel_services/abstract_interp/lattice_type.cmi
Ocamlc       src/kernel_services/abstract_interp/int_Base.cmi
Ocamlopt     src/kernel_services/plugin_entry_points/log.cmx
Ocamlopt     src/kernel_internals/runtime/config.cmx
Ocamlopt     src/kernel_services/ast_printing/printer_builder.cmx
Ocamlc       src/libraries/utils/rangemap.cmi
Ocamlopt     src/plugins/aorai/ltlparser.cmx
Ocamlc       src/kernel_internals/parsing/logic_preprocess.cmi
Ocamlc       src/kernel_services/ast_queries/json_compilation_database.cmi
Ocamlc       src/plugins/callgraph/journalize.cmo
Ocamlc       src/kernel_services/analysis/service_graph.cmi
Ocamlc       src/plugins/gui/filetree.cmi
Ocamlc       src/plugins/gui/gui_printers.cmi
Ocamlc       src/libraries/project/state.cmi
Ocamlc       src/kernel_services/cmdline_parameters/typed_parameter.cmi
Ocamlc       src/kernel_services/parsetree/cabs.cmo
Ocamlc       src/kernel_services/ast_data/globals.cmi
Ocamlc       src/plugins/aorai/ltlparser.cmo
Ocamlc       src/plugins/aorai/ltllexer.cmo
Ocamlc       src/plugins/aorai/yalexer.cmo
Ocamlc       src/kernel_services/analysis/dataflow2.cmi
Ocamlc       src/kernel_services/plugin_entry_points/dynamic.cmi
Ocamlc       src/kernel_services/abstract_interp/origin.cmi
Ocamlc       src/kernel_services/abstract_interp/bottom.cmi
Ocamlc       src/kernel_services/ast_data/property.cmi
Ocamlc       src/libraries/project/state_dependency_graph.cmi
Ocamlopt     src/kernel_services/cmdline_parameters/cmdline.cmx
Ocamlc       src/libraries/project/state_topological.cmi
Ocamlc       src/kernel_services/parsetree/cabshelper.cmi
Ocamlc       src/kernel_services/ast_printing/cprint.cmi
Ocamlc       src/kernel_internals/typing/frontc.cmi
Ocamlc       src/kernel_internals/runtime/messages.cmi
Ocamlc       src/libraries/project/state_selection.cmi
Ocamlc       src/kernel_services/cmdline_parameters/parameter_category.cmi
Ocamlc       src/libraries/utils/hptmap_sig.cmi
Ocamlc       src/kernel_internals/parsing/cparser.cmi
Ocamlc       src/kernel_services/ast_data/ast.cmi
Ocamlc       src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
Ocamlopt     src/libraries/project/project_skeleton.cmx
Ocamlopt     src/libraries/utils/binary_cache.cmx
Ocamlopt     src/plugins/aorai/ltllexer.cmx
Ocamlc       src/libraries/project/project.cmi
Ocamlc       src/libraries/utils/hptmap.cmi
Ocamlc       src/kernel_internals/parsing/clexer.cmi
Ocamlopt     src/libraries/datatype/datatype.cmx
Ocamlc       src/kernel_services/abstract_interp/map_lattice.cmi
Ocamlc       src/plugins/slicing/slicingTransform.cmi
Ocamlc       src/kernel_services/ast_transformations/filter.cmi
Ocamlc       src/libraries/project/state_builder.cmi
Ocamlc       src/libraries/utils/hptset.cmi
Ocamlc       src/kernel_services/plugin_entry_points/emitter.cmi
Ocamlc       src/kernel_services/ast_queries/logic_env.cmi
Ocamlc       src/kernel_services/ast_queries/cil_const.cmi
Ocamlc       src/kernel_services/ast_data/annotations.cmi
Ocamlc       src/kernel_services/abstract_interp/abstract_interp.cmi
Ocamlc       src/kernel_services/ast_data/property_status.cmi
Ocamlopt     src/libraries/project/state.cmx
Ocamlopt     src/kernel_services/plugin_entry_points/journal.cmx
Ocamlopt     src/kernel_services/cmdline_parameters/typed_parameter.cmx
Ocamlopt     src/kernel_services/parsetree/cabs.cmx
Ocamlopt     src/libraries/utils/rangemap.cmx
Ocamlc       src/kernel_services/ast_queries/cil_state_builder.cmi
Ocamlopt     src/kernel_services/abstract_interp/bottom.cmx
Ocamlc       src/kernel_services/analysis/bit_utils.cmi
Ocamlc       src/kernel_services/ast_data/alarms.cmi
Ocamlc       src/plugins/gui/gtk_helper.cmi
Ocamlc       src/kernel_services/ast_printing/description.cmi
Ocamlc       src/kernel_services/ast_queries/cil_datatype.cmi
Ocamlc       src/kernel_services/abstract_interp/float_interval_sig.cmi
Ocamlopt     src/libraries/project/state_dependency_graph.cmx
Ocamlopt     src/libraries/project/state_topological.cmx
Ocamlopt     src/kernel_services/plugin_entry_points/dynamic.cmx
Ocamlc       src/kernel_internals/parsing/errorloc.cmi
Ocamlc       src/kernel_services/abstract_interp/float_interval.cmi
Ocamlc       src/kernel_services/analysis/stmts_graph.cmi
Ocamlc       src/plugins/gui/pretty_source.cmi
Ocamlc       src/plugins/gui/menu_manager.cmi
Ocamlc       src/plugins/gui/launcher.cmi
Ocamlc       src/kernel_services/cmdline_parameters/parameter_sig.cmi
Ocamlc       src/kernel_services/cmdline_parameters/parameter_customize.cmi
Ocamlc       src/kernel_services/ast_data/kernel_function.cmi
Ocamlc       src/kernel_services/ast_queries/cil.cmi
Ocamlc       src/kernel_services/ast_queries/logic_const.cmi
Ocamlc       src/kernel_internals/typing/cabs2cil.cmi
Ocamlc       src/kernel_services/cmdline_parameters/parameter_state.cmi
Ocamlc       src/kernel_services/abstract_interp/fval.cmi
Ocamlopt     src/libraries/project/state_selection.cmx
Ocamlc       src/kernel_services/cmdline_parameters/parameter_builder.cmi
Ocamlopt     src/kernel_services/cmdline_parameters/parameter_category.cmx
Ocamlc       src/kernel_services/visitors/cabsvisit.cmi
Ocamlc       src/plugins/pdg/ctrlDpds.cmi
Ocamlc       src/kernel_services/analysis/dataflows.cmi
Ocamlc       src/plugins/callgraph/subgraph.cmi
Ocamlc       src/plugins/callgraph/callgraph_api.cmi
Ocamlc       src/kernel_services/ast_data/statuses_by_call.cmi
Ocamlc       src/plugins/gui/source_manager.cmi
Ocamlc       src/plugins/gui/history.cmi
Ocamlc       src/kernel_services/plugin_entry_points/plugin.cmi
Ocamlc       src/kernel_services/visitors/visitor.cmi
Ocamlc       src/kernel_services/ast_queries/logic_utils.cmi
Ocamlc       src/kernel_services/plugin_entry_points/kernel.cmi
Ocamlc       src/kernel_services/ast_queries/filecheck.cmi
Ocamlc       src/kernel_services/ast_queries/file.cmi
Ocamlc       src/kernel_services/abstract_interp/ival.cmi
Ocamlopt     src/libraries/project/project.cmx
Ocamlc       src/kernel_internals/parsing/lexerhack.cmo
Ocamlc       src/plugins/slicing/slicingParameters.cmi
Ocamlc       src/plugins/pdg/pdg_parameters.cmi
Ocamlc       src/plugins/callgraph/options.cmi
Ocamlc       src/plugins/callgraph/cg.cmi
Ocamlc       src/plugins/callgraph/services.cmi
Ocamlc       src/plugins/gui/gui_parameters.cmi
Ocamlc       src/plugins/gui/design.cmi
Ocamlc       src/plugins/slicing/slicingParameters.cmo
Ocamlc       src/plugins/aorai/aorai_option.cmi
Ocamlc       src/kernel_services/abstract_interp/int_Intervals_sig.cmi
Ocamlopt     src/libraries/project/state_builder.cmx
Ocamlc       src/plugins/pdg/pdg_parameters.cmo
Ocamlc       src/plugins/callgraph/options.cmo
Ocamlc       src/plugins/callgraph/subgraph.cmo
Ocamlc       src/plugins/callgraph/services.cmo
Ocamlc       src/plugins/aorai/aorai_option.cmo
Ocamlc       src/plugins/aorai/path_analysis.cmo
Ocamlc       src/plugins/aorai/promelaoutput.cmo
Ocamlc       src/plugins/aorai/logic_simplification.cmo
Ocamlc       src/plugins/aorai/data_for_aorai.cmi
Ocamlc       src/plugins/aorai/utils_parser.cmo
Ocamlc       src/plugins/aorai/promelalexer.cmo
Ocamlc       src/plugins/aorai/promelalexer_withexps.cmo
Ocamlc       src/kernel_services/abstract_interp/base.cmi
Ocamlopt     src/libraries/utils/hptmap.cmx
Ocamlc       src/kernel_services/abstract_interp/tr_offset.cmi
Ocamlc       src/plugins/callgraph/uses.cmi
Ocamlc       src/plugins/aorai/data_for_aorai.cmo
Ocamlc       src/plugins/aorai/aorai_utils.cmi
Ocamlc       src/plugins/aorai/yaparser.cmo
Ocamlc       src/plugins/aorai/promelaparser.cmo
Ocamlc       src/plugins/aorai/promelaparser_withexps.cmo
Ocamlc       src/plugins/aorai/aorai_dataflow.cmo
Ocamlc       src/plugins/aorai/aorai_visitors.cmo
Ocamlc       src/kernel_services/abstract_interp/offsetmap_sig.cmi
Ocamlc       src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
Ocamlopt     src/libraries/utils/hptset.cmx
Ocamlc       src/plugins/callgraph/uses.cmo
Ocamlc       src/plugins/aorai/aorai_utils.cmo
Ocamlc       src/kernel_services/abstract_interp/offsetmap.cmi
Ocamlopt     src/kernel_services/ast_queries/cil_datatype.cmx
Ocamlc       src/kernel_services/abstract_interp/int_Intervals.cmi
Ocamlc       src/kernel_services/abstract_interp/locations.cmi
Ocamlc       src/plugins/value_types/precise_locs.cmi
Ocamlc       src/kernel_services/abstract_interp/lmap_bitwise.cmi
Ocamlc       src/kernel_services/abstract_interp/lmap_sig.cmi
Ocamlc       src/plugins/pdg_types/pdgIndex.cmi
Ocamlc       src/plugins/value_types/inout_type.cmi
Ocamlopt     src/kernel_services/cmdline_parameters/parameter_customize.cmx
Ocamlopt     src/kernel_services/ast_queries/cil_state_builder.cmx
Ocamlopt     src/kernel_services/ast_printing/cil_types_debug.cmx
Ocamlc       src/kernel_services/abstract_interp/lmap.cmi
Ocamlopt     src/plugins/gui/warning_manager.cmx
Ocamlc       src/plugins/value_types/function_Froms.cmi
Ocamlc       src/plugins/value_types/cvalue.cmi
Ocamlc       src/plugins/pdg_types/pdgTypes.cmi
Ocamlopt     src/kernel_services/cmdline_parameters/parameter_state.cmx
Ocamlc       src/plugins/value_types/value_types.cmi
Ocamlc       src/plugins/pdg_types/pdgMarks.cmi
Ocamlc       src/plugins/pdg/pdg_state.cmi
Ocamlc       src/plugins/pdg/build.cmi
Ocamlc       src/plugins/pdg/sets.cmi
Ocamlc       src/plugins/pdg/annot.cmi
Ocamlc       src/plugins/pdg/marks.cmi
Ocamlc       src/kernel_services/plugin_entry_points/db.cmi
Ocamlopt     src/kernel_services/cmdline_parameters/parameter_builder.cmx
Ocamlc       src/plugins/slicing/slicingInternals.cmo
Ocamlc       src/plugins/pdg/ctrlDpds.cmo
Ocamlc       src/plugins/pdg/pdg_state.cmo
Ocamlc       src/plugins/pdg/build.cmo
Ocamlc       src/plugins/pdg/sets.cmo
Ocamlc       src/plugins/pdg/annot.cmo
Ocamlc       src/plugins/pdg/marks.cmo
Ocamlc       src/plugins/callgraph/cg.cmo
Ocamlc       src/plugins/callgraph/register.cmo
Ocamlc       src/plugins/slicing/printSlice.cmi
Ocamlc       src/plugins/slicing/slicingProject.cmi
Ocamlc       src/plugins/aorai/aorai_register.cmo
Ocamlopt     src/kernel_services/plugin_entry_points/plugin.cmx
Ocamlc       src/plugins/slicing/slicingTypes.cmo
Ocamlc       src/plugins/slicing/slicingMacros.cmi
Ocamlc       src/plugins/slicing/fct_slice.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Callgraph.cmi
Ocamlc       src/plugins/slicing/slicingCmds.cmi
Ocamlopt     src/plugins/gui/gui_parameters.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Aorai.cmi
Ocamlopt     src/kernel_services/plugin_entry_points/kernel.cmx
Ocamlopt     src/plugins/slicing/slicingParameters.cmx
Ocamlc       src/plugins/slicing/slicingState.cmi
Ocamlc       src/plugins/slicing/slicingMarks.cmi
Ocamlc       src/plugins/slicing/slicingActions.cmi
Ocamlc       src/plugins/pdg/register.cmo
Ocamlopt     src/libraries/utils/cilconfig.cmx
Ocamlopt     src/plugins/gui/source_viewer.cmx
Ocamlc       src/plugins/slicing/slicingState.cmo
Ocamlc       src/plugins/slicing/slicingMacros.cmo
Ocamlc       src/plugins/slicing/slicingMarks.cmo
Ocamlc       src/plugins/slicing/slicingActions.cmo
Ocamlc       src/plugins/slicing/printSlice.cmo
Ocamlc       src/plugins/slicing/slicingProject.cmo
Ocamlc       src/plugins/slicing/slicingTransform.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Aorai.cmi
Ocamlopt     src/kernel_services/plugin_entry_points/emitter.cmx
Ocamlopt     src/kernel_services/ast_queries/cil_const.cmx
Ocamlopt     src/libraries/utils/floating_point.cmx
Ocamlopt     src/kernel_internals/typing/alpha.cmx
Ocamlopt     src/kernel_internals/parsing/errorloc.cmx
Ocamlopt     src/kernel_internals/parsing/lexerhack.cmx
Ocamlopt     src/kernel_services/ast_queries/json_compilation_database.cmx
Ocamlopt     src/kernel_services/abstract_interp/lattice_messages.cmx
Ocamlopt     src/libraries/utils/unicode.cmx
Ocamlopt     src/kernel_services/abstract_interp/fc_float.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Pdg.cmi
Ocamlc       src/plugins/slicing/slicingSelect.cmo
Ocamlc       src/plugins/slicing/fct_slice.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Aorai.cmo
Ocamlopt     src/plugins/aorai/aorai_option.cmx
Ocamlopt     src/kernel_services/ast_queries/logic_env.cmx
Ocamlopt     src/kernel_services/abstract_interp/abstract_interp.cmx
Ocamlc       src/plugins/slicing/api.cmo
Ocamlc       src/plugins/slicing/slicingCmds.cmo
Generating   META.frama-c-e_acsl
Ocamlc       src/plugins/e-acsl/local_config.cmi
Ocamlc       src/plugins/e-acsl/options.cmi
Ocamlc       src/plugins/e-acsl/rte.cmi
Ocamlc       src/plugins/e-acsl/error.cmi
Ocamlc       src/plugins/e-acsl/builtins.cmi
Ocamlc       src/plugins/e-acsl/functions.cmi
Ocamlc       src/plugins/e-acsl/misc.cmi
Ocamlc       src/plugins/e-acsl/gmpz.cmi
Ocamlc       src/plugins/e-acsl/literal_strings.cmi
Ocamlc       src/plugins/e-acsl/mmodel_analysis.cmi
Ocamlc       src/plugins/e-acsl/exit_points.cmi
Ocamlc       src/plugins/e-acsl/label.cmi
Ocamlc       src/plugins/e-acsl/lscope.cmi
Ocamlc       src/plugins/e-acsl/keep_status.cmi
Ocamlc       src/plugins/e-acsl/dup_functions.cmi
Ocamlc       src/plugins/e-acsl/interval.cmi
Ocamlc       src/plugins/e-acsl/typing.cmi
Ocamlc       src/plugins/e-acsl/prepare_ast.cmi
Ocamlc       src/plugins/e-acsl/visit.cmi
Ocamlopt     src/plugins/aorai/path_analysis.cmx
Ocamlopt     src/kernel_services/ast_queries/logic_const.cmx
Ocamlopt     src/kernel_services/abstract_interp/int_Base.cmx
Ocamlopt     src/kernel_services/abstract_interp/float_interval.cmx
Ocamlc       src/plugins/slicing/register.cmo
Ocamlc       src/plugins/e-acsl/local_config.cmo
Ocamlc       src/plugins/e-acsl/options.cmo
Ocamlc       src/plugins/e-acsl/rte.cmo
Ocamlc       src/plugins/e-acsl/error.cmo
Ocamlc       src/plugins/e-acsl/builtins.cmo
Ocamlc       src/plugins/e-acsl/functions.cmo
Ocamlc       src/plugins/e-acsl/misc.cmo
Ocamlc       src/plugins/e-acsl/gmpz.cmo
Ocamlc       src/plugins/e-acsl/literal_strings.cmo
Ocamlc       src/plugins/e-acsl/mmodel_analysis.cmo
Ocamlc       src/plugins/e-acsl/exit_points.cmo
Ocamlc       src/plugins/e-acsl/label.cmo
Ocamlc       src/plugins/e-acsl/lscope.cmo
Ocamlc       src/plugins/e-acsl/env.cmi
Ocamlc       src/plugins/e-acsl/keep_status.cmo
Ocamlc       src/plugins/e-acsl/dup_functions.cmo
Ocamlc       src/plugins/e-acsl/interval.cmo
Ocamlc       src/plugins/e-acsl/typing.cmo
Ocamlc       src/plugins/e-acsl/loops.cmi
Ocamlc       src/plugins/e-acsl/quantif.cmi
Ocamlc       src/plugins/e-acsl/at_with_lscope.cmi
Ocamlc       src/plugins/e-acsl/mmodel_translate.cmi
Ocamlc       src/plugins/e-acsl/translate.cmi
Ocamlc       src/plugins/e-acsl/temporal.cmi
Ocamlopt     src/kernel_services/ast_queries/cil.cmx
Ocamlopt     src/kernel_services/abstract_interp/fval.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Slicing.cmi
Ocamlc       src/plugins/e-acsl/env.cmo
Ocamlc       src/plugins/e-acsl/loops.cmo
Ocamlc       src/plugins/e-acsl/quantif.cmo
Ocamlc       src/plugins/e-acsl/at_with_lscope.cmo
Ocamlc       src/plugins/e-acsl/mmodel_translate.cmo
Ocamlc       src/plugins/e-acsl/translate.cmo
Ocamlc       src/plugins/e-acsl/temporal.cmo
Ocamlc       src/plugins/e-acsl/prepare_ast.cmo
Ocamlc       src/plugins/e-acsl/visit.cmo
Ocamlc       src/plugins/e-acsl/main.cmo
Ocamlopt     src/kernel_services/ast_printing/cil_printer.cmx
Ocamlopt     src/kernel_services/parsetree/cabshelper.cmx
Ocamlopt     src/kernel_services/ast_queries/ast_info.cmx
Ocamlopt     src/plugins/aorai/utils_parser.cmx
Ocamlopt     src/kernel_services/abstract_interp/origin.cmx
Ocamlopt     src/kernel_services/abstract_interp/ival.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Slicing.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/E_ACSL.cmi
Ocamlopt     src/kernel_services/ast_queries/logic_utils.cmx
Ocamlopt     src/kernel_services/ast_printing/logic_print.cmx
Ocamlopt     src/kernel_services/ast_printing/cil_descriptive_printer.cmx
Ocamlopt     src/kernel_services/visitors/cabsvisit.cmx
Ocamlopt     src/kernel_services/ast_data/ast.cmx
Ocamlopt     src/kernel_services/analysis/undefined_sequence.cmx
Ocamlopt     src/kernel_internals/typing/rmtmps.cmx
Ocamlopt     src/kernel_internals/typing/oneret.cmx
Ocamlopt     src/kernel_internals/typing/logic_builtin.cmx
Ocamlopt     src/kernel_services/abstract_interp/map_lattice.cmx
Ocamlopt     src/kernel_internals/runtime/messages.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/E_ACSL.cmi
Ocamlopt     src/kernel_internals/parsing/logic_parser.cmx
Ocamlopt     src/kernel_services/ast_printing/cprint.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/E_ACSL.cmo
Ocamlopt     src/kernel_internals/parsing/logic_lexer.cmx
Generating   META.frama-c-loopanalysis
Ocamlc       src/plugins/loop_analysis/options.cmi
Ocamlc       src/plugins/loop_analysis/region_analysis_sig.cmo
Ocamlc       src/kernel_services/analysis/dominators.cmi
Ocamlc       src/plugins/loop_analysis/loop_analysis.cmi
Ocamlc       src/kernel_services/analysis/loop.cmi
Ocamlopt     src/kernel_services/ast_queries/logic_typing.cmx
Ocamlopt     src/kernel_internals/parsing/cparser.cmx
Ocamlc       src/plugins/loop_analysis/options.cmo
Ocamlc       src/plugins/loop_analysis/region_analysis.cmi
Ocamlopt     src/kernel_internals/parsing/clexer.cmx
Ocamlc       src/plugins/loop_analysis/region_analysis.cmo
Ocamlc       src/plugins/loop_analysis/region_analysis_stmt.cmi
Ocamlopt     src/kernel_internals/typing/cabs2cil.cmx
Ocamlopt     src/kernel_internals/parsing/logic_preprocess.cmx
Ocamlc       src/plugins/loop_analysis/region_analysis_stmt.cmo
Ocamlc       src/plugins/loop_analysis/loop_analysis.cmo
Ocamlc       src/plugins/loop_analysis/slevel_analysis.cmo
Ocamlc       src/plugins/loop_analysis/register.cmo
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/LoopAnalysis.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/LoopAnalysis.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/LoopAnalysis.cmo
Generating   META.frama-c-nonterm
Ocamlc       src/plugins/nonterm/nonterm_run.cmo
Ocamlopt     src/kernel_services/ast_data/globals.cmx
Ocamlopt     src/kernel_internals/typing/cfg.cmx
Ocamlopt     src/kernel_internals/typing/frontc.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Nonterm.cmi
Ocamlopt     src/kernel_services/ast_data/kernel_function.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Nonterm.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Nonterm.cmo
Generating   META.frama-c-obfuscator
Ocamlc       src/plugins/obfuscator/options.cmi
Ocamlc       src/plugins/obfuscator/obfuscator_kind.cmi
Ocamlc       src/plugins/obfuscator/obfuscate.cmi
Ocamlopt     src/kernel_services/ast_data/property.cmx
Ocamlopt     src/kernel_services/analysis/wto_statement.cmx
Ocamlopt     src/kernel_services/analysis/ordered_stmt.cmx
Ocamlc       src/plugins/obfuscator/options.cmo
Ocamlc       src/plugins/obfuscator/obfuscator_kind.cmo
Ocamlc       src/plugins/obfuscator/dictionary.cmi
Ocamlopt     src/kernel_services/analysis/dataflow2.cmx
Ocamlc       src/plugins/obfuscator/dictionary.cmo
Ocamlc       src/plugins/obfuscator/obfuscate.cmo
Ocamlc       src/plugins/obfuscator/obfuscator_register.cmo
Ocamlopt     src/kernel_services/ast_data/property_status.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Obfuscator.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Obfuscator.cmi
Ocamlopt     src/kernel_services/ast_data/annotations.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Obfuscator.cmo
Generating   META.frama-c-print_api
Ocamlc       src/plugins/print_api/grammar.cmi
Ocamlopt     src/kernel_services/ast_printing/printer.cmx
Ocamlc       src/plugins/print_api/grammar.cmo
Ocamlc       src/plugins/print_api/lexer.cmo
Ocamlc       src/plugins/print_api/print_interface.cmo
Ocamlopt     src/plugins/aorai/promelaoutput.cmx
Ocamlopt     src/kernel_services/visitors/visitor.cmx
Ocamlopt     src/kernel_internals/typing/mergecil.cmx
Ocamlopt     src/kernel_services/analysis/bit_utils.cmx
Ocamlopt     src/kernel_services/ast_data/alarms.cmx
Ocamlopt     src/kernel_services/ast_data/statuses_by_call.cmx
Ocamlopt     src/plugins/gui/gui_printers.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Print_api.cmi
Ocamlopt     src/plugins/aorai/logic_simplification.cmx
Ocamlopt     src/kernel_services/ast_queries/filecheck.cmx
Ocamlopt     src/kernel_services/abstract_interp/base.cmx
Ocamlopt     src/kernel_services/ast_printing/description.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Print_api.cmi
Ocamlopt     src/plugins/aorai/data_for_aorai.cmx
Ocamlopt     src/kernel_services/ast_queries/file.cmx
Ocamlopt     src/kernel_services/abstract_interp/tr_offset.cmx
Ocamlopt     src/kernel_services/ast_transformations/filter.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Print_api.cmo
Ocamlopt     src/plugins/aorai/aorai_utils.cmx
Ocamlopt     src/plugins/aorai/yaparser.cmx
Ocamlopt     src/plugins/aorai/promelaparser.cmx
Ocamlopt     src/plugins/aorai/promelaparser_withexps.cmx
Ocamlopt     src/plugins/aorai/aorai_dataflow.cmx
Ocamlopt     src/plugins/aorai/aorai_visitors.cmx
Ocamlopt     src/kernel_services/abstract_interp/offsetmap.cmx
Generating   META.frama-c-qed
Ocamlc       src/plugins/qed/hcons.cmi
Ocamlc       src/plugins/qed/listmap.cmi
Ocamlc       src/plugins/qed/listset.cmi
Ocamlc       src/plugins/qed/intmap.cmi
Ocamlc       src/plugins/qed/intset.cmi
Ocamlc       src/plugins/qed/idxmap.cmi
Ocamlc       src/plugins/qed/idxset.cmi
Ocamlc       src/plugins/qed/mergemap.cmi
Ocamlc       src/plugins/qed/mergeset.cmi
Ocamlc       src/plugins/qed/collection.cmi
Ocamlc       src/plugins/qed/partition.cmi
Ocamlc       src/plugins/qed/cache.cmi
Ocamlc       src/plugins/qed/bvars.cmi
Ocamlc       src/plugins/qed/pool.cmi
Ocamlc       src/plugins/qed/plib.cmi
Ocamlopt     src/plugins/aorai/yalexer.cmx
Ocamlopt     src/plugins/aorai/promelalexer.cmx
Ocamlopt     src/plugins/aorai/promelalexer_withexps.cmx
Ocamlopt     src/kernel_services/abstract_interp/int_Intervals.cmx
Ocamlc       src/plugins/qed/hcons.cmo
Ocamlc       src/plugins/qed/listmap.cmo
Ocamlc       src/plugins/qed/listset.cmo
Ocamlc       src/plugins/qed/intmap.cmo
Ocamlc       src/plugins/qed/intset.cmo
Ocamlc       src/plugins/qed/idxmap.cmo
Ocamlc       src/plugins/qed/idxset.cmo
Ocamlc       src/plugins/qed/mergemap.cmo
Ocamlc       src/plugins/qed/mergeset.cmo
Ocamlc       src/plugins/qed/collection.cmo
Ocamlc       src/plugins/qed/partition.cmo
Ocamlc       src/plugins/qed/cache.cmo
Ocamlc       src/plugins/qed/bvars.cmo
Ocamlc       src/plugins/qed/logic.cmo
Ocamlc       src/plugins/qed/pool.cmo
Ocamlc       src/plugins/qed/plib.cmo
Ocamlc       src/plugins/qed/pretty.cmi
Ocamlc       src/plugins/qed/engine.cmo
Ocamlopt     src/kernel_services/abstract_interp/locations.cmx
Ocamlc       src/plugins/qed/kind.cmi
Ocamlc       src/plugins/qed/term.cmi
Ocamlc       src/plugins/qed/pretty.cmo
Ocamlc       src/plugins/qed/export.cmi
Ocamlc       src/plugins/qed/export_whycore.cmi
Ocamlc       src/plugins/qed/export_altergo.cmi
Ocamlc       src/plugins/qed/export_why3.cmi
Ocamlc       src/plugins/qed/export_coq.cmi
Ocamlopt     src/plugins/value_types/precise_locs.cmx
Ocamlopt     src/kernel_services/abstract_interp/lmap_bitwise.cmx
Ocamlopt     src/kernel_services/abstract_interp/lmap.cmx
Ocamlopt     src/plugins/pdg_types/pdgIndex.cmx
Ocamlopt     src/plugins/value_types/inout_type.cmx
Ocamlc       src/plugins/qed/kind.cmo
Ocamlc       src/plugins/qed/term.cmo
Ocamlc       src/plugins/qed/export.cmo
Ocamlc       src/plugins/qed/export_whycore.cmo
Ocamlc       src/plugins/qed/export_altergo.cmo
Ocamlc       src/plugins/qed/export_why3.cmo
Ocamlc       src/plugins/qed/export_coq.cmo
Ocamlopt     src/plugins/value_types/function_Froms.cmx
Ocamlopt     src/plugins/value_types/cvalue.cmx
Ocamlopt     src/plugins/pdg_types/pdgTypes.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Qed.cmi
Ocamlopt     src/plugins/value_types/value_types.cmx
Ocamlopt     src/plugins/pdg_types/pdgMarks.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Qed.cmi
Ocamlopt     src/kernel_services/plugin_entry_points/db.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Qed.cmo
Ocamlopt     src/plugins/slicing/slicingInternals.cmx
Ocamlopt     src/kernel_services/analysis/logic_interp.cmx
Ocamlopt     src/libraries/utils/command.cmx
Generating   META.frama-c-report
Ocamlc       src/plugins/report/report_parameters.cmi
Ocamlc       src/plugins/report/scan.cmi
Ocamlc       src/plugins/report/csv.cmi
Ocamlc       src/plugins/report/property_names.cmi
Ocamlc       src/libraries/utils/json.cmi
Ocamlc       src/plugins/report/classify.cmi
Ocamlc       src/plugins/report/register.cmi
Ocamlopt     src/plugins/aorai/aorai_register.cmx
Ocamlopt     src/plugins/slicing/slicingTypes.cmx
Ocamlopt     src/plugins/slicing/slicingMarks.cmx
Ocamlopt     src/plugins/gui/gtk_helper.cmx
Ocamlopt     src/libraries/utils/task.cmx
Ocamlc       src/plugins/report/report_parameters.cmo
Ocamlc       src/plugins/report/scan.cmo
Ocamlc       src/plugins/report/dump.cmi
Ocamlc       src/plugins/report/csv.cmo
Ocamlc       src/plugins/report/property_names.cmo
Ocamlc       src/plugins/report/classify.cmo
Ocamlc       src/plugins/report/register.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Aorai.cmx
Ocamlopt     src/plugins/slicing/slicingState.cmx
Ocamlopt     src/plugins/gui/pretty_source.cmx
Ocamlopt     src/plugins/gui/filetree.cmx
Ocamlopt     src/plugins/gui/menu_manager.cmx
Ocamlopt     src/plugins/gui/launcher.cmx
Ocamlc       src/plugins/report/dump.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Aorai.cmxs
Ocamlopt     src/plugins/slicing/slicingMacros.cmx
Ocamlopt     src/plugins/gui/source_manager.cmx
Ocamlopt     src/plugins/gui/history.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Report.cmi
Ocamlopt     src/plugins/e-acsl/local_config.cmx
Ocamlopt     src/plugins/e-acsl/literal_strings.cmx
Ocamlopt     src/plugins/slicing/slicingActions.cmx
Ocamlopt     src/plugins/gui/design.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Report.cmi
Ocamlopt     src/plugins/e-acsl/options.cmx
Ocamlopt     src/plugins/slicing/fct_slice.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Report.cmo
Ocamlopt     src/plugins/e-acsl/rte.cmx
Ocamlopt     src/plugins/e-acsl/error.cmx
Ocamlopt     src/plugins/e-acsl/builtins.cmx
Ocamlopt     src/plugins/e-acsl/functions.cmx
Ocamlopt     src/plugins/e-acsl/exit_points.cmx
Ocamlopt     src/plugins/e-acsl/label.cmx
Ocamlopt     src/plugins/e-acsl/keep_status.cmx
Ocamlopt     src/plugins/slicing/printSlice.cmx
Generating   META.frama-c-security_slicing
Ocamlc       src/plugins/security_slicing/security_slicing_parameters.cmi
Ocamlc       src/plugins/security_slicing/components.cmi
Ocamlopt     src/plugins/e-acsl/misc.cmx
Ocamlopt     src/plugins/slicing/slicingProject.cmx
Ocamlc       src/plugins/security_slicing/security_slicing_parameters.cmo
Ocamlc       src/plugins/security_slicing/components.cmo
Ocamlopt     src/plugins/e-acsl/gmpz.cmx
Ocamlopt     src/plugins/e-acsl/mmodel_analysis.cmx
Ocamlopt     src/plugins/e-acsl/lscope.cmx
Ocamlopt     src/plugins/e-acsl/interval.cmx
Ocamlopt     src/plugins/slicing/slicingTransform.cmx
Ocamlopt     src/plugins/slicing/slicingSelect.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Security_slicing.cmi
Ocamlopt     src/plugins/e-acsl/env.cmx
Ocamlopt     src/plugins/e-acsl/typing.cmx
Ocamlopt     src/plugins/slicing/slicingCmds.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Security_slicing.cmi
Ocamlopt     src/plugins/e-acsl/dup_functions.cmx
Ocamlopt     src/plugins/e-acsl/loops.cmx
Ocamlopt     src/plugins/e-acsl/mmodel_translate.cmx
Ocamlopt     src/plugins/e-acsl/temporal.cmx
Ocamlopt     src/plugins/slicing/api.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Security_slicing.cmo
Ocamlopt     src/plugins/e-acsl/quantif.cmx
Ocamlopt     src/plugins/e-acsl/at_with_lscope.cmx
Ocamlopt     src/plugins/e-acsl/prepare_ast.cmx
Ocamlopt     src/plugins/slicing/register.cmx
Ocamlopt     src/plugins/slicing/register_gui.cmx
Generating   META.frama-c-studia
Ocamlc       src/plugins/studia/options.cmi
Ocamlc       src/plugins/studia/writes.cmi
Ocamlopt     src/plugins/e-acsl/translate.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Slicing.cmx
Ocamlc       src/plugins/studia/options.cmo
Ocamlc       src/plugins/studia/writes.cmo
Ocamlc       src/plugins/studia/reads.cmi
Ocamlopt     src/plugins/e-acsl/visit.cmx
Ocamlc       src/plugins/studia/reads.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Slicing.cmxs
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Studia.cmi
Ocamlopt     src/plugins/e-acsl/main.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Studia.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Qed.cmi
Ocamlc       src/plugins/qed/QedGui.cmo
Ocamlopt     src/plugins/qed/hcons.cmx
Ocamlopt     src/plugins/qed/intmap.cmx
Ocamlopt     src/plugins/qed/partition.cmx
Ocamlopt     src/plugins/qed/cache.cmx
Ocamlopt     src/plugins/qed/bvars.cmx
Ocamlopt     src/plugins/qed/pool.cmx
Ocamlopt     src/plugins/qed/plib.cmx
Ocamlopt     src/plugins/qed/QedGui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Studia.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/E_ACSL.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Qed.cmo
Ocamlopt     src/plugins/qed/listmap.cmx
Ocamlopt     src/plugins/qed/listset.cmx
Ocamlopt     src/plugins/qed/intset.cmx
Ocamlopt     src/plugins/qed/idxmap.cmx
Ocamlopt     src/plugins/qed/idxset.cmx
Ocamlopt     src/plugins/qed/mergemap.cmx
Ocamlopt     src/plugins/qed/mergeset.cmx
Ocamlopt     src/plugins/qed/logic.cmx
Ocamlopt     src/plugins/qed/engine.cmx
Generating   META.frama-c-variadic
Ocamlc       src/plugins/variadic/options.cmi
Ocamlc       src/plugins/variadic/extends.cmi
Ocamlc       src/plugins/variadic/va_build.cmo
Ocamlc       src/plugins/variadic/environment.cmo
Ocamlc       src/plugins/variadic/format_string.cmo
Ocamlc       src/plugins/variadic/format_types.cmi
Ocamlc       src/plugins/variadic/generic.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/E_ACSL.cmxs
Ocamlopt     src/plugins/qed/collection.cmx
Ocamlopt     src/plugins/qed/kind.cmx
Ocamlc       src/plugins/variadic/options.cmo
Ocamlc       src/plugins/variadic/extends.cmo
Ocamlc       src/plugins/variadic/format_pprint.cmi
Ocamlc       src/plugins/variadic/format_typer.cmi
Ocamlc       src/plugins/variadic/format_parser.cmi
Ocamlc       src/plugins/variadic/va_types.cmi
Ocamlopt     src/plugins/loop_analysis/options.cmx
Ocamlopt     src/plugins/loop_analysis/region_analysis_sig.cmx
Ocamlopt     src/kernel_services/analysis/dominators.cmx
Ocamlopt     src/kernel_services/analysis/dataflows.cmx
Ocamlopt     src/kernel_services/analysis/loop.cmx
Ocamlopt     src/plugins/qed/term.cmx
Ocamlopt     src/plugins/qed/pretty.cmx
Ocamlopt     src/plugins/qed/export.cmx
Ocamlc       src/plugins/variadic/format_pprint.cmo
Ocamlc       src/plugins/variadic/format_typer.cmo
Ocamlc       src/plugins/variadic/format_parser.cmo
Ocamlc       src/plugins/variadic/standard.cmo
Ocamlc       src/plugins/variadic/classify.cmo
Ocamlopt     src/plugins/loop_analysis/region_analysis.cmx
Ocamlopt     src/plugins/qed/export_whycore.cmx
Ocamlopt     src/plugins/qed/export_coq.cmx
Ocamlc       src/plugins/variadic/translate.cmo
Ocamlopt     src/plugins/loop_analysis/region_analysis_stmt.cmx
Ocamlopt     src/plugins/qed/export_altergo.cmx
Ocamlopt     src/plugins/qed/export_why3.cmx
Ocamlc       src/plugins/variadic/register.cmo
Ocamlopt     src/plugins/loop_analysis/loop_analysis.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Variadic.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Qed.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Variadic.cmi
Ocamlopt     src/plugins/loop_analysis/slevel_analysis.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Variadic.cmo
Ocamlopt     src/plugins/loop_analysis/register.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Qed.cmxs
Generating   META.frama-c-wp
Ocamlc       src/plugins/wp/rformat.cmi
Ocamlc       src/plugins/wp/wprop.cmi
Ocamlc       src/plugins/wp/wp_parameters.cmi
Ocamlc       src/plugins/wp/wp_error.cmi
Ocamlc       src/plugins/wp/dyncall.cmi
Ocamlc       src/plugins/wp/ctypes.cmi
Ocamlc       src/plugins/wp/clabels.cmi
Ocamlc       src/plugins/wp/MemoryContext.cmi
Ocamlc       src/plugins/wp/RefUsage.cmi
Ocamlc       src/plugins/wp/cil2cfg.cmi
Ocamlc       src/plugins/wp/normAtLabels.cmi
Ocamlc       src/libraries/utils/bag.cmi
Ocamlc       src/plugins/wp/Context.cmi
Ocamlc       src/plugins/wp/Warning.cmi
Ocamlc       src/plugins/wp/Model.cmi
Ocamlc       src/plugins/wp/Splitter.cmi
Ocamlc       src/kernel_services/analysis/interpreted_automata.cmi
Ocamlc       src/plugins/wp/VCS.cmi
Ocamlc       src/plugins/wp/script.cmi
Ocamlc       src/plugins/wp/wpReport.cmi
Ocamlc       src/libraries/utils/vector.cmi
Ocamlc       src/plugins/wp/why3_xml.cmi
Ocamlc       src/plugins/wp/ProverTask.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/LoopAnalysis.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Security_slicing.cmi
Ocamlc       src/plugins/security_slicing/register_gui.cmi
Ocamlopt     src/plugins/security_slicing/security_slicing_parameters.cmx
Ocamlc       src/plugins/wp/rformat.cmo
Ocamlc       src/plugins/wp/wprop.cmo
Ocamlc       src/plugins/wp/wp_parameters.cmo
Ocamlc       src/plugins/wp/wp_error.cmo
Ocamlc       src/plugins/wp/dyncall.cmo
Ocamlc       src/plugins/wp/ctypes.cmo
Ocamlc       src/plugins/wp/clabels.cmo
Ocamlc       src/plugins/wp/MemoryContext.cmo
Ocamlc       src/plugins/wp/LogicUsage.cmi
Ocamlc       src/plugins/wp/RefUsage.cmo
Ocamlc       src/plugins/wp/cil2cfg.cmo
Ocamlc       src/plugins/wp/normAtLabels.cmo
Ocamlc       src/plugins/wp/wpPropId.cmi
Ocamlc       src/plugins/wp/Context.cmo
Ocamlc       src/plugins/wp/Warning.cmo
Ocamlc       src/plugins/wp/Model.cmo
Ocamlc       src/plugins/wp/Lang.cmi
Ocamlc       src/plugins/wp/Splitter.cmo
Ocamlc       src/plugins/wp/wpStrategy.cmi
Ocamlc       src/plugins/wp/wpRTE.cmi
Ocamlc       src/plugins/wp/wpAnnot.cmi
Ocamlc       src/plugins/wp/VCS.cmo
Ocamlc       src/plugins/wp/script.cmo
Ocamlc       src/plugins/wp/proof.cmi
Ocamlc       src/plugins/wp/Footprint.cmi
Ocamlc       src/plugins/wp/WpTac.cmi
Ocamlc       src/plugins/wp/why3_xml.cmo
Ocamlc       src/plugins/wp/ProverTask.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/LoopAnalysis.cmxs
Ocamlc       src/plugins/security_slicing/register_gui.cmo
Ocamlopt     src/plugins/security_slicing/components.cmx
Ocamlc       src/plugins/wp/LogicUsage.cmo
Ocamlc       src/plugins/wp/wpPropId.cmo
Ocamlc       src/plugins/wp/mcfg.cmo
Ocamlc       src/plugins/wp/Lang.cmo
Ocamlc       src/plugins/wp/Repr.cmi
Ocamlc       src/plugins/wp/Matrix.cmi
Ocamlc       src/plugins/wp/Passive.cmi
Ocamlc       src/plugins/wp/LogicBuiltins.cmi
Ocamlc       src/plugins/wp/Definitions.cmi
Ocamlc       src/plugins/wp/Cmath.cmi
Ocamlc       src/plugins/wp/Vset.cmi
Ocamlc       src/plugins/wp/Cfloat.cmi
Ocamlc       src/plugins/wp/Vlist.cmi
Ocamlc       src/plugins/wp/Region.cmi
Ocamlc       src/plugins/wp/Letify.cmi
Ocamlc       src/plugins/wp/Cleaning.cmi
Ocamlc       src/plugins/wp/Plang.cmi
Ocamlc       src/plugins/wp/wpStrategy.cmo
Ocamlc       src/plugins/wp/wpAnnot.cmo
Ocamlc       src/plugins/wp/proof.cmo
Ocamlc       src/plugins/wp/Footprint.cmo
Ocamlc       src/plugins/wp/driver.cmi
Ocamlc       src/plugins/wp/calculus.cmi
Ocamlopt     src/kernel_services/analysis/stmts_graph.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Security_slicing.cmo
Ocamlopt     src/plugins/security_slicing/register_gui.cmx
Ocamlc       src/plugins/wp/Repr.cmo
Ocamlc       src/plugins/wp/Matrix.cmo
Ocamlc       src/plugins/wp/Passive.cmo
Ocamlc       src/plugins/wp/LogicBuiltins.cmo
Ocamlc       src/plugins/wp/Definitions.cmo
Ocamlc       src/plugins/wp/Cmath.cmo
Ocamlc       src/plugins/wp/Cstring.cmi
Ocamlc       src/plugins/wp/Cfloat.cmo
Ocamlc       src/plugins/wp/Vset.cmo
Ocamlc       src/plugins/wp/Region.cmo
Ocamlc       src/plugins/wp/Cstring.cmo
Ocamlc       src/plugins/wp/Cleaning.cmo
Ocamlc       src/plugins/wp/Plang.cmo
Ocamlc       src/plugins/wp/driver.cmo
Ocamlc       src/plugins/wp/calculus.cmo
Ocamlopt     src/plugins/nonterm/nonterm_run.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Security_slicing.cmx
Ocamlc       src/plugins/wp/Sigs.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Security_slicing.cmxs
Ocamlc       src/plugins/wp/Mstate.cmi
Ocamlc       src/plugins/wp/Sigma.cmi
Ocamlc       src/plugins/wp/CodeSemantics.cmi
Ocamlc       src/plugins/wp/LogicCompiler.cmi
Ocamlc       src/plugins/wp/LogicSemantics.cmi
Ocamlc       src/plugins/wp/LogicAssigns.cmi
Ocamlc       src/plugins/wp/Sigma.cmo
Ocamlc       src/plugins/wp/MemEmpty.cmi
Ocamlc       src/plugins/wp/MemZeroAlias.cmi
Ocamlc       src/plugins/wp/MemVar.cmi
Ocamlc       src/plugins/wp/MemTyped.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Nonterm.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Studia.cmi
Ocamlc       src/plugins/studia/studia_gui.cmi
Ocamlopt     src/plugins/studia/options.cmx
Ocamlopt     src/plugins/studia/writes.cmx
Ocamlc       src/plugins/wp/Conditions.cmi
Ocamlc       src/plugins/wp/Cvalues.cmi
Ocamlc       src/plugins/wp/Mstate.cmo
Ocamlc       src/plugins/wp/LogicCompiler.cmo
Ocamlc       src/plugins/wp/LogicAssigns.cmo
Ocamlc       src/plugins/wp/MemEmpty.cmo
Ocamlc       src/plugins/wp/MemZeroAlias.cmo
Ocamlc       src/plugins/wp/MemVar.cmo
Ocamlc       src/plugins/wp/MemTyped.cmo
Ocamlc       src/plugins/wp/CfgCompiler.cmi
Ocamlc       src/plugins/wp/wpo.cmi
Ocamlc       src/plugins/wp/Tactical.cmi
Ocamlc       src/plugins/wp/WpTac.cmo
Ocamlc       src/plugins/wp/ProofSession.cmi
Ocamlc       src/plugins/wp/ProofScript.cmi
Ocamlc       src/plugins/wp/ProverErgo.cmi
Ocamlc       src/plugins/wp/ProverCoq.cmi
Ocamlc       src/plugins/wp/ProverWhy3.cmi
Ocamlc       src/plugins/wp/ProverWhy3ide.cmi
Ocamlc       src/plugins/wp/prover.cmi
Ocamlc       src/plugins/wp/Generator.cmi
Ocamlc       src/plugins/wp/VC.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Nonterm.cmxs
Ocamlc       src/plugins/studia/studia_gui.cmo
Ocamlopt     src/plugins/studia/reads.cmx
Ocamlc       src/plugins/wp/Cint.cmi
Ocamlc       src/plugins/wp/Conditions.cmo
Ocamlc       src/plugins/wp/Filtering.cmi
Ocamlc       src/plugins/wp/Pcfg.cmi
Ocamlc       src/plugins/wp/CodeSemantics.cmo
Ocamlc       src/plugins/wp/LogicSemantics.cmo
Ocamlc       src/plugins/wp/wpRTE.cmo
Ocamlc       src/plugins/wp/CfgCompiler.cmo
Ocamlc       src/plugins/wp/StmtSemantics.cmi
Ocamlc       src/plugins/wp/wpReport.cmo
Ocamlc       src/plugins/wp/Tactical.cmo
Ocamlc       src/plugins/wp/Strategy.cmi
Ocamlc       src/plugins/wp/TacOverflow.cmi
Ocamlc       src/plugins/wp/ProofSession.cmo
Ocamlc       src/plugins/wp/ProofScript.cmo
Ocamlc       src/plugins/wp/ProverErgo.cmo
Ocamlc       src/plugins/wp/ProverCoq.cmo
Ocamlc       src/plugins/wp/ProverWhy3.cmo
Ocamlc       src/plugins/wp/ProverWhy3ide.cmo
Ocamlc       src/plugins/wp/prover.cmo
Ocamlc       src/plugins/wp/Generator.cmo
Ocamlc       src/plugins/wp/Factory.cmi
Ocamlc       src/plugins/wp/cfgDump.cmi
Ocamlopt     src/plugins/obfuscator/options.cmx
Ocamlopt     src/plugins/obfuscator/obfuscator_kind.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Studia.cmo
Ocamlopt     src/plugins/studia/studia_gui.cmx
Ocamlc       src/plugins/wp/Cint.cmo
Ocamlc       src/plugins/wp/Vlist.cmo
Ocamlc       src/plugins/wp/Cvalues.cmo
Ocamlc       src/plugins/wp/Letify.cmo
Ocamlc       src/plugins/wp/Filtering.cmo
Ocamlc       src/plugins/wp/Pcfg.cmo
Ocamlc       src/plugins/wp/Pcond.cmi
Ocamlc       src/plugins/wp/StmtSemantics.cmo
Ocamlc       src/plugins/wp/Strategy.cmo
Ocamlc       src/plugins/wp/TacSplit.cmi
Ocamlc       src/plugins/wp/TacChoice.cmi
Ocamlc       src/plugins/wp/TacRange.cmi
Ocamlc       src/plugins/wp/TacArray.cmi
Ocamlc       src/plugins/wp/TacCompound.cmi
Ocamlc       src/plugins/wp/TacUnfold.cmi
Ocamlc       src/plugins/wp/TacHavoc.cmi
Ocamlc       src/plugins/wp/TacInstance.cmi
Ocamlc       src/plugins/wp/TacLemma.cmi
Ocamlc       src/plugins/wp/TacFilter.cmi
Ocamlc       src/plugins/wp/TacCut.cmi
Ocamlc       src/plugins/wp/TacNormalForm.cmi
Ocamlc       src/plugins/wp/TacRewrite.cmi
Ocamlc       src/plugins/wp/TacBitwised.cmi
Ocamlc       src/plugins/wp/TacBitrange.cmi
Ocamlc       src/plugins/wp/TacShift.cmi
Ocamlc       src/plugins/wp/TacCongruence.cmi
Ocamlc       src/plugins/wp/TacOverflow.cmo
Ocamlc       src/plugins/wp/Auto.cmi
Ocamlc       src/plugins/wp/ProofEngine.cmi
Ocamlc       src/plugins/wp/Factory.cmo
Ocamlc       src/plugins/wp/cfgDump.cmo
Ocamlc       src/plugins/wp/cfgWP.cmi
Ocamlopt     src/plugins/obfuscator/dictionary.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Studia.cmx
Ocamlc       src/plugins/wp/Pcond.cmo
Ocamlc       src/plugins/wp/wpo.cmo
Ocamlc       src/plugins/wp/TacSplit.cmo
Ocamlc       src/plugins/wp/TacChoice.cmo
Ocamlc       src/plugins/wp/TacRange.cmo
Ocamlc       src/plugins/wp/TacArray.cmo
Ocamlc       src/plugins/wp/TacCompound.cmo
Ocamlc       src/plugins/wp/TacUnfold.cmo
Ocamlc       src/plugins/wp/TacHavoc.cmo
Ocamlc       src/plugins/wp/TacInstance.cmo
Ocamlc       src/plugins/wp/TacLemma.cmo
Ocamlc       src/plugins/wp/TacFilter.cmo
Ocamlc       src/plugins/wp/TacCut.cmo
Ocamlc       src/plugins/wp/TacNormalForm.cmo
Ocamlc       src/plugins/wp/TacRewrite.cmo
Ocamlc       src/plugins/wp/TacBitwised.cmo
Ocamlc       src/plugins/wp/TacBitrange.cmo
Ocamlc       src/plugins/wp/TacShift.cmo
Ocamlc       src/plugins/wp/TacCongruence.cmo
Ocamlc       src/plugins/wp/Auto.cmo
Ocamlc       src/plugins/wp/ProofEngine.cmo
Ocamlc       src/plugins/wp/ProverSearch.cmi
Ocamlc       src/plugins/wp/ProverScript.cmi
Ocamlc       src/plugins/wp/cfgWP.cmo
Ocamlopt     src/plugins/obfuscator/obfuscate.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Studia.cmxs
Ocamlc       src/plugins/wp/ProverSearch.cmo
Ocamlc       src/plugins/wp/ProverScript.cmo
Ocamlc       src/plugins/wp/register.cmo
Ocamlopt     src/plugins/obfuscator/obfuscator_register.cmx
Ocamlc       src/plugins/gui/wpane.cmi
Ocamlc       src/plugins/wp/GuiConfig.cmi
Ocamlc       src/plugins/wp/GuiSequent.cmi
Ocamlc       src/plugins/gui/wpalette.cmi
Ocamlc       src/plugins/gui/wbox.cmi
Ocamlc       src/plugins/wp/GuiProof.cmi
Ocamlc       src/plugins/wp/GuiGoal.cmi
Ocamlc       src/plugins/wp/GuiSource.cmi
Ocamlc       src/plugins/gui/gtk_form.cmi
Ocamlc       src/plugins/wp/GuiPanel.cmi
Ocamlc       src/plugins/wp/GuiNavigator.cmi
Ocamlopt     src/plugins/wp/rformat.cmx
Ocamlopt     src/plugins/wp/wprop.cmx
Ocamlopt     src/plugins/wp/wp_parameters.cmx
Ocamlopt     src/plugins/wp/wp_error.cmx
Ocamlopt     src/plugins/wp/MemoryContext.cmx
Ocamlopt     src/libraries/utils/bag.cmx
Ocamlopt     src/plugins/wp/Context.cmx
Ocamlopt     src/plugins/wp/Splitter.cmx
Ocamlopt     src/kernel_services/analysis/interpreted_automata.cmx
Ocamlopt     src/plugins/wp/VCS.cmx
Ocamlopt     src/plugins/wp/script.cmx
Ocamlopt     src/libraries/utils/json.cmx
Ocamlopt     src/libraries/utils/vector.cmx
Ocamlopt     src/plugins/wp/why3_xml.cmx
Ocamlopt     src/plugins/gui/wpane.cmx
Ocamlopt     src/plugins/gui/wpalette.cmx
Ocamlopt     src/plugins/gui/wbox.cmx
Ocamlopt     src/plugins/gui/gtk_form.cmx
Ocamlc       src/plugins/wp/VC.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Obfuscator.cmx
Ocamlc       src/plugins/wp/GuiConfig.cmo
Ocamlc       src/plugins/wp/GuiList.cmi
Ocamlc       src/plugins/wp/GuiSequent.cmo
Ocamlc       src/plugins/wp/GuiProver.cmi
Ocamlc       src/plugins/wp/GuiTactic.cmi
Ocamlc       src/plugins/wp/GuiProof.cmo
Ocamlc       src/plugins/wp/GuiComposer.cmi
Ocamlc       src/plugins/wp/GuiSource.cmo
Ocamlc       src/plugins/wp/GuiPanel.cmo
Ocamlc       src/plugins/wp/GuiNavigator.cmo
Ocamlopt     src/plugins/wp/dyncall.cmx
Ocamlopt     src/plugins/wp/ctypes.cmx
Ocamlopt     src/plugins/wp/clabels.cmx
Ocamlopt     src/plugins/wp/Warning.cmx
Ocamlopt     src/plugins/wp/Model.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Wp.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Obfuscator.cmxs
Ocamlc       src/plugins/wp/GuiList.cmo
Ocamlc       src/plugins/wp/GuiProver.cmo
Ocamlc       src/plugins/wp/GuiTactic.cmo
Ocamlc       src/plugins/wp/GuiComposer.cmo
Ocamlc       src/plugins/wp/GuiGoal.cmo
Ocamlopt     src/plugins/wp/LogicUsage.cmx
Ocamlopt     src/plugins/wp/RefUsage.cmx
Ocamlopt     src/plugins/wp/cil2cfg.cmx
Ocamlopt     src/plugins/wp/normAtLabels.cmx
Ocamlopt     src/plugins/wp/Lang.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmi
Ocamlopt     src/plugins/print_api/grammar.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Wp.cmi
Ocamlopt     src/plugins/wp/wpPropId.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmo
Ocamlopt     src/plugins/print_api/lexer.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Wp.cmo
Ocamlopt     src/plugins/wp/mcfg.cmx
Ocamlopt     src/plugins/wp/Repr.cmx
Ocamlopt     src/plugins/wp/Matrix.cmx
Ocamlopt     src/plugins/wp/Passive.cmx
Ocamlopt     src/plugins/wp/LogicBuiltins.cmx
Ocamlopt     src/plugins/wp/Vset.cmx
Ocamlopt     src/plugins/wp/Cleaning.cmx
Ocamlopt     src/plugins/wp/wpStrategy.cmx
Ocamlopt     src/plugins/wp/proof.cmx
Ocamlopt     src/plugins/wp/Footprint.cmx
Ocamlopt     src/plugins/wp/ProverTask.cmx
Ocamlopt     src/plugins/wp/driver.cmx
Ocamlopt     src/plugins/wp/calculus.cmx
Ocamlopt     src/plugins/print_api/print_interface.cmx
Ocamlopt     src/plugins/wp/Definitions.cmx
Ocamlopt     src/plugins/wp/Cmath.cmx
Ocamlopt     src/plugins/wp/Region.cmx
Ocamlopt     src/plugins/wp/Cstring.cmx
Generation of the extra-config for why3
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Print_api.cmx
Ocamlopt     src/plugins/wp/Cint.cmx
Ocamlopt     src/plugins/wp/Cfloat.cmx
Ocamlopt     src/plugins/wp/Sigs.cmx
Ocamlopt     src/plugins/wp/Letify.cmx
Ocamlopt     src/plugins/wp/wpRTE.cmx
Ocamlc       src/kernel_internals/runtime/frama_c_init.cmi
Ocamlc       src/libraries/stdlib/transitioning.cmo
Ocamlc       src/libraries/stdlib/FCSet.cmo
Ocamlc       src/libraries/stdlib/FCMap.cmo
Ocamlc       src/libraries/stdlib/FCBuffer.cmo
Ocamlc       src/libraries/stdlib/FCHashtbl.cmo
Ocamlc       src/libraries/stdlib/extlib.cmo
Ocamlc       src/libraries/datatype/unmarshal.cmo
Ocamlc       src/libraries/datatype/unmarshal_z.cmi
Ocamlc       src/libraries/datatype/structural_descr.cmo
Ocamlc       src/libraries/datatype/type.cmo
Ocamlc       src/libraries/datatype/descr.cmo
Ocamlc       src/libraries/utils/filepath.cmo
Ocamlc       src/libraries/utils/pretty_utils.cmo
Ocamlc       src/libraries/utils/hook.cmo
Ocamlc       src/libraries/utils/bag.cmo
Ocamlc       src/libraries/utils/wto.cmo
Ocamlc       src/libraries/utils/vector.cmo
Ocamlc       src/libraries/utils/indexer.cmo
Ocamlc       src/libraries/utils/rgmap.cmo
Ocamlc       src/libraries/utils/bitvector.cmo
Ocamlc       src/libraries/utils/qstack.cmo
Ocamlc       src/libraries/utils/leftistheap.cmi
Ocamlc       src/libraries/stdlib/integer.cmo
Ocamlc       src/libraries/utils/json.cmo
Ocamlc       src/libraries/utils/rich_text.cmo
Ocamlc       src/kernel_internals/runtime/config.cmo
Ocamlc       src/kernel_services/plugin_entry_points/log.cmo
Ocamlc       src/kernel_services/cmdline_parameters/cmdline.cmo
Ocamlc       src/libraries/project/project_skeleton.cmo
Ocamlc       src/libraries/datatype/datatype.cmo
Ocamlc       src/kernel_services/plugin_entry_points/journal.cmo
Ocamlc       src/libraries/project/state.cmo
Ocamlc       src/libraries/project/state_dependency_graph.cmo
Ocamlc       src/libraries/project/state_topological.cmo
Ocamlc       src/libraries/project/state_selection.cmo
Ocamlc       src/libraries/project/project.cmo
Ocamlc       src/libraries/project/state_builder.cmo
Ocamlc       src/libraries/utils/utf8_logic.cmo
Ocamlc       src/libraries/utils/binary_cache.cmo
Ocamlc       src/libraries/utils/hptmap.cmo
Ocamlc       src/libraries/utils/hptset.cmo
Ocamlc       src/libraries/utils/escape.cmo
Ocamlc       src/kernel_services/ast_queries/cil_datatype.cmo
Ocamlc       src/kernel_services/cmdline_parameters/typed_parameter.cmo
Ocamlc       src/kernel_services/plugin_entry_points/dynamic.cmo
Ocamlc       src/kernel_services/cmdline_parameters/parameter_category.cmo
Ocamlc       src/kernel_services/cmdline_parameters/parameter_customize.cmo
Ocamlc       src/kernel_services/cmdline_parameters/parameter_state.cmo
Ocamlc       src/kernel_services/cmdline_parameters/parameter_builder.cmo
Ocamlc       src/kernel_services/plugin_entry_points/plugin.cmo
Ocamlc       src/kernel_services/plugin_entry_points/kernel.cmo
Ocamlc       src/libraries/utils/unicode.cmo
Ocamlc       src/kernel_services/plugin_entry_points/emitter.cmo
Ocamlc       src/libraries/utils/floating_point.cmo
Ocamlc       src/libraries/utils/rangemap.cmo
Ocamlc       src/kernel_services/ast_printing/cil_types_debug.cmo
Ocamlc       src/kernel_services/ast_printing/printer_builder.cmo
Ocamlc       src/libraries/utils/cilconfig.cmo
Ocamlc       src/kernel_internals/typing/alpha.cmo
Ocamlc       src/kernel_services/ast_queries/cil_state_builder.cmo
Ocamlc       src/kernel_internals/runtime/machdeps.cmo
Ocamlc       src/kernel_services/ast_queries/cil_const.cmo
Ocamlc       src/kernel_services/ast_queries/logic_env.cmo
Ocamlc       src/kernel_services/ast_queries/logic_const.cmo
Ocamlc       src/kernel_services/ast_queries/cil.cmo
Ocamlc       src/kernel_internals/parsing/errorloc.cmo
Ocamlc       src/kernel_services/ast_printing/cil_printer.cmo
Ocamlc       src/kernel_services/ast_printing/cil_descriptive_printer.cmo
Ocamlc       src/kernel_services/parsetree/cabshelper.cmo
Ocamlc       src/kernel_services/ast_printing/logic_print.cmo
Ocamlc       src/kernel_services/ast_queries/logic_utils.cmo
Ocamlc       src/kernel_internals/parsing/logic_parser.cmo
Ocamlc       src/kernel_internals/parsing/logic_lexer.cmo
Ocamlc       src/kernel_services/ast_queries/logic_typing.cmo
Ocamlc       src/kernel_services/ast_queries/ast_info.cmo
Ocamlc       src/kernel_services/ast_data/ast.cmo
Ocamlc       src/kernel_services/ast_printing/cprint.cmo
Ocamlc       src/kernel_services/visitors/cabsvisit.cmo
Ocamlc       src/kernel_internals/typing/cabs2cil.cmo
Ocamlc       src/kernel_services/ast_data/globals.cmo
Ocamlc       src/kernel_internals/typing/cfg.cmo
Ocamlc       src/kernel_services/ast_data/kernel_function.cmo
Ocamlc       src/kernel_services/ast_data/property.cmo
Ocamlc       src/kernel_services/ast_data/property_status.cmo
Ocamlc       src/kernel_services/ast_data/annotations.cmo
Ocamlc       src/kernel_services/ast_printing/printer.cmo
Ocamlc       src/kernel_internals/typing/logic_builtin.cmo
Ocamlc       src/kernel_services/ast_printing/cabs_debug.cmi
Ocamlc       src/kernel_internals/parsing/clexer.cmo
Ocamlc       src/kernel_internals/parsing/cparser.cmo
Ocamlc       src/kernel_internals/parsing/logic_preprocess.cmo
Ocamlc       src/kernel_internals/typing/mergecil.cmo
Ocamlc       src/kernel_internals/typing/rmtmps.cmo
Ocamlc       src/kernel_internals/typing/oneret.cmo
Ocamlc       src/kernel_internals/typing/frontc.cmo
Ocamlc       src/kernel_services/analysis/ordered_stmt.cmo
Ocamlc       src/kernel_services/analysis/wto_statement.cmo
Ocamlc       src/kernel_services/analysis/dataflows.cmo
Ocamlc       src/kernel_services/analysis/dataflow2.cmo
Ocamlc       src/kernel_services/analysis/stmts_graph.cmo
Ocamlc       src/kernel_services/analysis/dominators.cmo
Ocamlc       src/kernel_services/analysis/service_graph.cmo
Ocamlc       src/kernel_services/analysis/undefined_sequence.cmo
Ocamlc       src/kernel_services/analysis/interpreted_automata.cmo
Ocamlc       src/kernel_services/ast_data/alarms.cmo
Ocamlc       src/kernel_services/ast_printing/description.cmo
Ocamlc       src/kernel_services/abstract_interp/lattice_messages.cmo
Ocamlc       src/kernel_services/abstract_interp/abstract_interp.cmo
Ocamlc       src/kernel_services/abstract_interp/bottom.cmo
Ocamlc       src/kernel_services/abstract_interp/int_Base.cmo
Ocamlc       src/kernel_services/analysis/bit_utils.cmo
Ocamlc       src/kernel_services/abstract_interp/fc_float.cmo
Ocamlc       src/kernel_services/abstract_interp/float_interval.cmo
Ocamlc       src/kernel_services/abstract_interp/fval.cmo
Ocamlc       src/kernel_services/abstract_interp/ival.cmo
Ocamlc       src/kernel_services/abstract_interp/base.cmo
Ocamlc       src/kernel_services/abstract_interp/origin.cmo
Ocamlc       src/kernel_services/abstract_interp/map_lattice.cmo
Ocamlc       src/kernel_services/abstract_interp/tr_offset.cmo
Ocamlc       src/kernel_services/abstract_interp/offsetmap.cmo
Ocamlc       src/kernel_services/abstract_interp/int_Intervals.cmo
Ocamlc       src/kernel_services/abstract_interp/locations.cmo
Ocamlc       src/kernel_services/abstract_interp/lmap.cmo
Ocamlc       src/kernel_services/abstract_interp/lmap_bitwise.cmo
Ocamlc       src/kernel_services/visitors/visitor.cmo
Ocamlc       src/kernel_services/ast_data/statuses_by_call.cmo
Ocamlc       src/plugins/value_types/cilE.cmo
Ocamlc       src/plugins/value_types/cvalue.cmo
Ocamlc       src/plugins/value_types/precise_locs.cmo
Ocamlc       src/plugins/value_types/value_types.cmo
Ocamlc       src/plugins/value_types/widen_type.cmi
Ocamlc       src/plugins/value_types/function_Froms.cmo
Ocamlc       src/plugins/value_types/inout_type.cmo
Ocamlc       src/plugins/pdg_types/pdgIndex.cmo
Ocamlc       src/plugins/pdg_types/pdgTypes.cmo
Ocamlc       src/plugins/pdg_types/pdgMarks.cmo
Ocamlc       src/kernel_services/plugin_entry_points/db.cmo
Ocamlc       src/libraries/utils/command.cmo
Ocamlc       src/libraries/utils/task.cmo
Ocamlc       src/kernel_services/ast_queries/filecheck.cmo
Ocamlc       src/kernel_services/ast_queries/json_compilation_database.cmo
Ocamlc       src/kernel_services/ast_queries/file.cmo
Ocamlc       src/kernel_internals/typing/translate_lightweight.cmi
Ocamlc       src/kernel_internals/typing/allocates.cmi
Ocamlc       src/kernel_internals/typing/unroll_loops.cmi
Ocamlc       src/kernel_internals/typing/asm_contracts.cmi
Ocamlc       src/kernel_services/analysis/loop.cmo
Ocamlc       src/kernel_services/analysis/exn_flow.cmi
Ocamlc       src/kernel_services/analysis/destructors.cmi
Ocamlc       src/kernel_services/analysis/logic_interp.cmo
Ocamlc       src/kernel_internals/typing/infer_annotations.cmi
Ocamlc       src/kernel_services/ast_transformations/clone.cmi
Ocamlc       src/kernel_services/ast_transformations/filter.cmo
Ocamlc       src/kernel_services/ast_transformations/inline.cmi
Ocamlc       src/kernel_internals/runtime/special_hooks.cmi
Ocamlc       src/kernel_internals/runtime/messages.cmo
Ocamlc       src/kernel_internals/runtime/boot.cmo
CC           src/libraries/utils/c_bindings.o
Ocamlc       src/plugins/metrics/metrics_parameters.cmi
Ocamlc       src/plugins/metrics/css_html.cmo
Ocamlc       src/plugins/metrics/metrics_base.cmi
Ocamlc       src/plugins/metrics/metrics_acsl.cmi
Ocamlc       src/plugins/metrics/metrics_cabs.cmi
Ocamlc       src/plugins/metrics/metrics_cilast.cmi
Ocamlc       src/plugins/metrics/metrics_coverage.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Callgraph.cmi
Ocamlc       src/plugins/value/slevel/split_strategy.cmi
Ocamlc       src/plugins/value/utils/value_perf.cmi
Ocamlc       src/plugins/value/utils/red_statuses.cmi
Ocamlc       src/plugins/value/utils/widen.cmi
Ocamlc       src/plugins/value/utils/unroll_annots.cmi
Ocamlc       src/plugins/value/engine/split_return.cmi
Ocamlc       src/plugins/value/slevel/per_stmt_slevel.cmi
Ocamlc       src/plugins/value/utils/library_functions.cmi
Ocamlc       src/plugins/value/utils/eval_typ.cmi
Ocamlc       src/plugins/value/utils/backward_formals.cmi
Ocamlc       src/plugins/value/alarmset.cmi
Ocamlc       src/plugins/value/utils/structure.cmi
Ocamlc       src/plugins/value/values/cvalue_backward.cmi
Ocamlc       src/plugins/value/legacy/function_args.cmi
Ocamlc       src/plugins/value/domains/hcexprs.cmi
Ocamlc       src/plugins/value/domains/cvalue/warn.cmi
Ocamlc       src/plugins/value/utils/value_results.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_malloc.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_string.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_misc.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_memory.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_print_c.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_watchpoint.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_float.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_split.cmi
Ocamlc       src/plugins/value/utils/state_import.cmi
Ocamlc       src/plugins/value/domains/cvalue/cvalue_init.cmi
Ocamlc       src/plugins/value/domains/cvalue/cvalue_specification.cmi
Ocamlc       src/plugins/value/engine/recursion.cmi
Ocamlc       src/plugins/value/register.cmi
Ocamlc       src/plugins/occurrence/options.cmi
Ocamlc       src/plugins/rte/options.cmi
Ocamlc       src/plugins/rte/generator.cmi
Ocamlc       src/plugins/rte/rte.cmi
Ocamlc       src/plugins/rte/visit.cmi
Ocamlc       src/plugins/from/from_parameters.cmi
Ocamlc       src/plugins/from/from_compute.cmi
Ocamlc       src/plugins/from/functionwise.cmi
Ocamlc       src/plugins/from/callwise.cmi
Ocamlc       src/plugins/from/from_register.cmi
Ocamlc       src/plugins/users/users_register.cmo
Ocamlc       src/plugins/constant_propagation/propagationParameters.cmi
Ocamlc       src/plugins/constant_propagation/api.cmi
Ocamlc       src/plugins/postdominators/postdominators_parameters.cmi
Ocamlc       src/plugins/inout/inout_parameters.cmi
Ocamlc       src/plugins/inout/cumulative_analysis.cmi
Ocamlc       src/plugins/inout/outputs.cmi
Ocamlc       src/plugins/inout/inputs.cmi
Ocamlc       src/plugins/inout/derefs.cmi
Ocamlc       src/plugins/impact/options.cmi
Ocamlc       src/plugins/impact/pdg_aux.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Pdg.cmi
Ocamlc       src/plugins/scope/datascope.cmi
Ocamlc       src/plugins/scope/zones.cmi
Ocamlc       src/plugins/scope/defs.cmi
Ocamlc       src/plugins/sparecode/sparecode_params.cmi
Ocamlc       src/plugins/sparecode/spare_marks.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Slicing.cmi
Ocamlc       src/plugins/gui/wfile.cmi
Ocamlc       src/plugins/gui/book_manager.cmi
Ocamlc       src/plugins/gui/analyses_manager.cmi
Ocamlc       src/plugins/gui/file_manager.cmi
Ocamlc       src/plugins/gui/project_manager.cmi
Ocamlc       src/plugins/gui/debug_manager.cmi
Ocamlc       src/plugins/gui/help_manager.cmi
Ocamlc       src/plugins/gui/property_navigator.cmi
Ocamlc       src/plugins/gui/wutil.cmo
Ocamlc       src/plugins/gui/widget.cmo
Ocamlc       src/plugins/gui/wbox.cmo
Ocamlc       src/plugins/gui/wfile.cmo
Ocamlc       src/plugins/gui/wpane.cmo
Ocamlc       src/plugins/gui/wpalette.cmo
Ocamlc       src/plugins/gui/wtext.cmo
Ocamlc       src/plugins/gui/wtable.cmo
Ocamlc       src/plugins/gui/gui_parameters.cmo
Ocamlc       src/plugins/gui/gtk_helper.cmo
Ocamlc       src/plugins/gui/gtk_form.cmo
Ocamlc       src/plugins/gui/source_viewer.cmo
Ocamlc       src/plugins/gui/pretty_source.cmo
Ocamlc       src/plugins/gui/source_manager.cmo
Ocamlc       src/plugins/gui/book_manager.cmo
Ocamlc       src/plugins/gui/warning_manager.cmo
Ocamlc       src/plugins/gui/filetree.cmo
Ocamlc       src/plugins/gui/launcher.cmo
Ocamlc       src/plugins/gui/menu_manager.cmo
Ocamlc       src/plugins/gui/history.cmo
Ocamlc       src/plugins/gui/gui_printers.cmo
Ocamlc       src/plugins/gui/design.cmo
Ocamlc       src/plugins/gui/analyses_manager.cmo
Ocamlc       src/plugins/gui/file_manager.cmo
Ocamlc       src/plugins/gui/project_manager.cmo
Ocamlc       src/plugins/gui/debug_manager.cmo
Ocamlc       src/plugins/gui/help_manager.cmo
Ocamlc       src/plugins/gui/property_navigator.cmo
Generating   META.frama-c-metrics
Generating   META.frama-c-callgraph
Generating   META.frama-c-eva
Generating   META.frama-c-occurrence
Generating   META.frama-c-rtegen
Generating   META.frama-c-from
Generating   META.frama-c-users
Generating   META.frama-c-constant_propagation
Generating   META.frama-c-postdominators
Generating   META.frama-c-inout
Generating   META.frama-c-impact
Generating   META.frama-c-pdg
Generating   META.frama-c-scope
Generating   META.frama-c-sparecode
Generating   META.frama-c-slicing
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Print_api.cmxs
Ocamlopt     src/plugins/wp/Vlist.cmx
Ocamlopt     src/plugins/wp/Cvalues.cmx
Ocamlopt     src/plugins/wp/Mstate.cmx
Ocamlopt     src/plugins/wp/Plang.cmx
Ocamlopt     src/plugins/wp/CodeSemantics.cmx
Ocamlopt     src/plugins/wp/Sigma.cmx
Ocamlopt     src/plugins/wp/LogicAssigns.cmx
Ocamlopt     src/plugins/wp/wpAnnot.cmx
Ocamlc       src/kernel_internals/runtime/frama_c_init.cmo
Ocamlc       src/libraries/datatype/unmarshal_z.cmo
Ocamlc       src/libraries/utils/leftistheap.cmo
Ocamlc       src/kernel_services/ast_printing/cabs_debug.cmo
Ocamlc       src/plugins/value_types/widen_type.cmo
Ocamlc       src/kernel_internals/typing/translate_lightweight.cmo
Ocamlc       src/kernel_internals/typing/allocates.cmo
Ocamlc       src/kernel_internals/typing/unroll_loops.cmo
Ocamlc       src/kernel_internals/typing/asm_contracts.cmo
Ocamlc       src/kernel_services/analysis/exn_flow.cmo
Ocamlc       src/kernel_services/analysis/destructors.cmo
Ocamlc       src/kernel_internals/typing/infer_annotations.cmo
Ocamlc       src/kernel_services/ast_transformations/clone.cmo
Ocamlc       src/kernel_services/ast_transformations/inline.cmo
Ocamlc       src/kernel_internals/runtime/special_hooks.cmo
Ocamlc       src/plugins/metrics/metrics_parameters.cmo
Ocamlc       src/plugins/metrics/metrics_base.cmo
Ocamlc       src/plugins/metrics/metrics_acsl.cmo
Ocamlc       src/plugins/metrics/metrics_cabs.cmo
Ocamlc       src/plugins/metrics/metrics_cilast.cmo
Ocamlc       src/plugins/metrics/metrics_coverage.cmo
Ocamlc       src/plugins/metrics/register.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Callgraph.cmo
Ocamlc       src/plugins/value/slevel/split_strategy.cmo
Ocamlc       src/plugins/value/value_parameters.cmi
Ocamlc       src/plugins/value/utils/unroll_annots.cmo
Ocamlc       src/plugins/value/utils/eval_typ.cmo
Ocamlc       src/plugins/value/utils/backward_formals.cmo
Ocamlc       src/plugins/value/eval.cmi
Ocamlc       src/plugins/value/utils/structure.cmo
Ocamlc       src/plugins/value/domains/equality/equality.cmi
Ocamlc       src/plugins/occurrence/options.cmo
Ocamlc       src/plugins/occurrence/register.cmo
Ocamlc       src/plugins/rte/options.cmo
Ocamlc       src/plugins/rte/generator.cmo
Ocamlc       src/plugins/rte/rte.cmo
Ocamlc       src/plugins/rte/visit.cmo
Ocamlc       src/plugins/rte/register.cmo
Ocamlc       src/plugins/from/from_parameters.cmo
Ocamlc       src/plugins/from/from_compute.cmo
Ocamlc       src/plugins/from/functionwise.cmo
Ocamlc       src/plugins/from/callwise.cmo
Ocamlc       src/plugins/from/from_register.cmo
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Users.cmi
Ocamlc       src/plugins/constant_propagation/propagationParameters.cmo
Ocamlc       src/plugins/constant_propagation/api.cmo
Ocamlc       src/plugins/postdominators/postdominators_parameters.cmo
Ocamlc       src/plugins/postdominators/print.cmo
Ocamlc       src/plugins/inout/inout_parameters.cmo
Ocamlc       src/plugins/inout/cumulative_analysis.cmo
Ocamlc       src/plugins/inout/operational_inputs.cmo
Ocamlc       src/plugins/inout/inputs.cmo
Ocamlc       src/plugins/inout/derefs.cmo
Ocamlc       src/plugins/inout/register.cmo
Ocamlc       src/plugins/impact/options.cmo
Ocamlc       src/plugins/impact/pdg_aux.cmo
Ocamlc       src/plugins/impact/reason_graph.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Pdg.cmo
Ocamlc       src/plugins/scope/datascope.cmo
Ocamlc       src/plugins/scope/zones.cmo
Ocamlc       src/plugins/scope/defs.cmo
Ocamlc       src/plugins/sparecode/sparecode_params.cmo
Ocamlc       src/plugins/sparecode/globs.cmo
Ocamlc       src/plugins/sparecode/spare_marks.cmo
Ocamlc       src/plugins/sparecode/transform.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Slicing.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Qed.cmx
Ocamlopt     src/plugins/wp/Conditions.cmx
Ocamlopt     src/plugins/wp/LogicCompiler.cmx
Ocamlopt     src/plugins/wp/MemEmpty.cmx
Ocamlopt     src/plugins/wp/MemZeroAlias.cmx
Ocamlopt     src/plugins/wp/MemVar.cmx
Ocamlopt     src/plugins/wp/MemTyped.cmx
Ocamlopt     src/plugins/wp/CfgCompiler.cmx
Ocamlopt     src/plugins/wp/Tactical.cmx
Ocamlopt     src/plugins/wp/WpTac.cmx
Ocamlopt     src/plugins/wp/TacOverflow.cmx
Ocamlopt     src/plugins/wp/ProofScript.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Metrics.cmi
Ocamlc       src/plugins/value/value_parameters.cmo
Ocamlc       src/plugins/value/utils/value_perf.cmo
Ocamlc       src/plugins/value/utils/value_util.cmi
Ocamlc       src/plugins/value/utils/mark_noresults.cmo
Ocamlc       src/plugins/value/utils/widen_hints_ext.cmi
Ocamlc       src/plugins/value/engine/split_return.cmo
Ocamlc       src/plugins/value/slevel/per_stmt_slevel.cmo
Ocamlc       src/plugins/value/utils/library_functions.cmo
Ocamlc       src/plugins/value/alarmset.cmo
Ocamlc       src/plugins/value/eval.cmo
Ocamlc       src/plugins/value/values/abstract_value.cmi
Ocamlc       src/plugins/value/legacy/eval_op.cmi
Ocamlc       src/plugins/value/domains/abstract_domain.cmi
Ocamlc       src/plugins/value/domains/hcexprs.cmo
Ocamlc       src/plugins/value/domains/equality/equality.cmo
Ocamlc       src/plugins/value/domains/equality/equality_domain.cmi
Ocamlc       src/plugins/value/domains/symbolic_locs.cmi
Ocamlc       src/plugins/value/domains/numerors/numerors_domain.cmi
Ocamlc       src/plugins/value/domains/cvalue/warn.cmo
Ocamlc       src/plugins/value/domains/cvalue/locals_scoping.cmi
Ocamlc       src/plugins/value/domains/cvalue/cvalue_offsetmap.cmi
Ocamlc       src/plugins/value/utils/value_results.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_split.cmo
Ocamlc       src/plugins/value/domains/inout_domain.cmi
Ocamlc       src/plugins/value/utils/state_import.cmo
Ocamlc       src/plugins/value/legacy/eval_terms.cmi
Ocamlc       src/plugins/value/domains/powerset.cmi
Ocamlc       src/plugins/value/domains/cvalue/cvalue_init.cmo
Ocamlc       src/plugins/value/engine/recursion.cmo
Ocamlc       src/plugins/value/engine/partitioning.cmi
Ocamlc       src/plugins/value/engine/mem_exec.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Occurrence.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/RteGen.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/From.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Users.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Constant_Propagation.cmi
Ocamlc       src/plugins/postdominators/compute.cmo
Ocamlc       src/plugins/inout/outputs.cmo
Ocamlc       src/plugins/impact/compute_impact.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Scope.cmi
Ocamlc       src/plugins/sparecode/register.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Qed.cmxs
Ocamlopt     src/plugins/wp/Filtering.cmx
Ocamlopt     src/plugins/wp/Pcfg.cmx
Ocamlopt     src/plugins/wp/LogicSemantics.cmx
Ocamlopt     src/plugins/wp/StmtSemantics.cmx
Ocamlopt     src/plugins/wp/Strategy.cmx
Ocamlopt     src/plugins/wp/Factory.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Metrics.cmi
Ocamlc       src/plugins/value/utils/value_util.cmo
Ocamlc       src/plugins/value/utils/red_statuses.cmo
Ocamlc       src/plugins/value/utils/widen_hints_ext.cmo
Ocamlc       src/plugins/value/utils/widen.cmo
Ocamlc       src/plugins/value/values/value_product.cmi
Ocamlc       src/plugins/value/values/abstract_location.cmi
Ocamlc       src/plugins/value/values/cvalue_forward.cmi
Ocamlc       src/plugins/value/values/main_values.cmi
Ocamlc       src/plugins/value/values/offsm_value.cmi
Ocamlc       src/plugins/value/values/sign_value.cmi
Ocamlc       src/plugins/value/legacy/eval_op.cmo
Ocamlc       src/plugins/value/legacy/function_args.cmo
Ocamlc       src/plugins/value/domains/domain_store.cmi
Ocamlc       src/plugins/value/domains/simpler_domains.cmi
Ocamlc       src/plugins/value/domains/domain_product.cmi
Ocamlc       src/plugins/value/domains/domain_lift.cmi
Ocamlc       src/plugins/value/domains/unit_domain.cmi
Ocamlc       src/plugins/value/domains/printer_domain.cmi
Ocamlc       src/plugins/value/domains/simple_memory.cmi
Ocamlc       src/plugins/value/domains/gauges/gauges_domain.cmi
Ocamlc       src/plugins/value/domains/apron/apron_domain.cmi
Ocamlc       src/plugins/value/domains/equality/equality_domain.cmo
Ocamlc       src/plugins/value/domains/offsm_domain.cmi
Ocamlc       src/plugins/value/domains/sign_domain.cmi
Ocamlc       src/plugins/value/domains/numerors/numerors_domain.cmo
Ocamlc       src/plugins/value/domains/cvalue/locals_scoping.cmo
Ocamlc       src/plugins/value/domains/cvalue/cvalue_offsetmap.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_malloc.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_string.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_misc.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_memory.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_print_c.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_watchpoint.cmo
Ocamlc       src/plugins/value/domains/cvalue/builtins_float.cmo
Ocamlc       src/plugins/value/legacy/eval_terms.cmo
Ocamlc       src/plugins/value/legacy/eval_annots.cmi
Ocamlc       src/plugins/value/domains/powerset.cmo
Ocamlc       src/plugins/value/engine/transfer_logic.cmi
Ocamlc       src/plugins/value/engine/subdivided_evaluation.cmi
Ocamlc       src/plugins/value/engine/evaluation.cmi
Ocamlc       src/plugins/value/engine/transfer_specification.cmi
Ocamlc       src/plugins/value/engine/state_partitioning.cmi
Ocamlc       src/plugins/value/engine/abstractions.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Occurrence.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/RteGen.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/From.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Users.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Constant_Propagation.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Postdominators.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Inout.cmi
Ocamlc       src/plugins/impact/compute_impact.cmo
Ocamlc       src/plugins/impact/register.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Scope.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Sparecode.cmi
Ocamlopt     src/plugins/report/report_parameters.cmx
Ocamlopt     src/plugins/report/property_names.cmx
Ocamlopt     src/plugins/wp/Pcond.cmx
Ocamlopt     src/plugins/wp/TacSplit.cmx
Ocamlopt     src/plugins/wp/TacChoice.cmx
Ocamlopt     src/plugins/wp/TacRange.cmx
Ocamlopt     src/plugins/wp/TacArray.cmx
Ocamlopt     src/plugins/wp/TacCompound.cmx
Ocamlopt     src/plugins/wp/TacUnfold.cmx
Ocamlopt     src/plugins/wp/TacHavoc.cmx
Ocamlopt     src/plugins/wp/TacInstance.cmx
Ocamlopt     src/plugins/wp/TacFilter.cmx
Ocamlopt     src/plugins/wp/TacCut.cmx
Ocamlopt     src/plugins/wp/TacNormalForm.cmx
Ocamlopt     src/plugins/wp/TacRewrite.cmx
Ocamlopt     src/plugins/wp/TacBitwised.cmx
Ocamlopt     src/plugins/wp/TacBitrange.cmx
Ocamlopt     src/plugins/wp/TacShift.cmx
Ocamlopt     src/plugins/wp/TacCongruence.cmx
Ocamlopt     src/plugins/wp/GuiTactic.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Metrics.cmo
Ocamlc       src/plugins/value/values/value_product.cmo
Ocamlc       src/plugins/value/values/location_lift.cmi
Ocamlc       src/plugins/value/values/cvalue_forward.cmo
Ocamlc       src/plugins/value/values/cvalue_backward.cmo
Ocamlc       src/plugins/value/values/main_values.cmo
Ocamlc       src/plugins/value/values/main_locations.cmi
Ocamlc       src/plugins/value/values/offsm_value.cmo
Ocamlc       src/plugins/value/values/sign_value.cmo
Ocamlc       src/plugins/value/domains/domain_store.cmo
Ocamlc       src/plugins/value/domains/domain_builder.cmi
Ocamlc       src/plugins/value/domains/domain_product.cmo
Ocamlc       src/plugins/value/domains/domain_lift.cmo
Ocamlc       src/plugins/value/domains/unit_domain.cmo
Ocamlc       src/plugins/value/domains/printer_domain.cmo
Ocamlc       src/plugins/value/domains/simple_memory.cmo
Ocamlc       src/plugins/value/domains/gauges/gauges_domain.cmo
Ocamlc       src/plugins/value/domains/apron/apron_domain.cmo
Ocamlc       src/plugins/value/domains/offsm_domain.cmo
Ocamlc       src/plugins/value/domains/symbolic_locs.cmo
Ocamlc       src/plugins/value/domains/sign_domain.cmo
Ocamlc       src/plugins/value/domains/inout_domain.cmo
Ocamlc       src/plugins/value/legacy/eval_annots.cmo
Ocamlc       src/plugins/value/engine/transfer_logic.cmo
Ocamlc       src/plugins/value/domains/cvalue/cvalue_transfer.cmi
Ocamlc       src/plugins/value/domains/cvalue/cvalue_specification.cmo
Ocamlc       src/plugins/value/domains/cvalue/cvalue_domain.cmi
Ocamlc       src/plugins/value/engine/subdivided_evaluation.cmo
Ocamlc       src/plugins/value/engine/evaluation.cmo
Ocamlc       src/plugins/value/engine/transfer_stmt.cmi
Ocamlc       src/plugins/value/engine/transfer_specification.cmo
Ocamlc       src/plugins/value/engine/partitioning.cmo
Ocamlc       src/plugins/value/engine/mem_exec.cmo
Ocamlc       src/plugins/value/engine/legacy_partitioning.cmi
Ocamlc       src/plugins/value/engine/basic_partitioning.cmi
Ocamlc       src/plugins/value/engine/loop_partitioning.cmi
Ocamlc       src/plugins/value/engine/initialization.cmi
Ocamlc       src/plugins/value/engine/abstractions.cmo
Ocamlc       src/plugins/value/engine/compute_functions.cmi
Ocamlc       src/plugins/value/engine/analysis.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Occurrence.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/RteGen.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/From.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Constant_Propagation.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Postdominators.cmi
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Impact.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Inout.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Scope.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Sparecode.cmi
Ocamlopt     src/plugins/report/scan.cmx
Ocamlopt     src/plugins/wp/wpo.cmx
Ocamlopt     src/plugins/wp/TacLemma.cmx
Ocamlc       src/plugins/value/values/location_lift.cmo
Ocamlc       src/plugins/value/values/main_locations.cmo
Ocamlc       src/plugins/value/domains/domain_builder.cmo
Ocamlc       src/plugins/value/domains/cvalue/cvalue_transfer.cmo
Ocamlc       src/plugins/value/domains/cvalue/cvalue_domain.cmo
Ocamlc       src/plugins/value/engine/transfer_stmt.cmo
Ocamlc       src/plugins/value/engine/legacy_partitioning.cmo
Ocamlc       src/plugins/value/engine/basic_partitioning.cmo
Ocamlc       src/plugins/value/engine/loop_partitioning.cmo
Ocamlc       src/plugins/value/engine/partitioned_dataflow.cmi
Ocamlc       src/plugins/value/engine/initialization.cmo
Ocamlc       src/plugins/value/engine/compute_functions.cmo
Ocamlc       src/plugins/value/engine/analysis.cmo
Ocamlc       src/plugins/value/register.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Postdominators.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Inout.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Impact.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Sparecode.cmo
Ocamlopt     src/plugins/report/dump.cmx
Ocamlopt     src/plugins/report/csv.cmx
Ocamlopt     src/plugins/report/classify.cmx
Ocamlopt     src/plugins/wp/wpReport.cmx
Ocamlopt     src/plugins/wp/Auto.cmx
Ocamlopt     src/plugins/wp/ProofSession.cmx
Ocamlopt     src/plugins/wp/ProverErgo.cmx
Ocamlopt     src/plugins/wp/ProverCoq.cmx
Ocamlopt     src/plugins/wp/ProverWhy3.cmx
Ocamlopt     src/plugins/wp/Generator.cmx
Ocamlopt     src/plugins/wp/GuiSequent.cmx
Ocamlopt     src/plugins/wp/GuiSource.cmx
Ocamlc       src/plugins/value/engine/partitioned_dataflow.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Impact.cmo
Ocamlopt     src/plugins/report/register.cmx
Ocamlopt     src/plugins/wp/ProofEngine.cmx
Ocamlopt     src/plugins/wp/ProverWhy3ide.cmx
Ocamlopt     src/plugins/wp/prover.cmx
Ocamlopt     src/plugins/wp/ProverSearch.cmx
Ocamlopt     src/plugins/wp/cfgDump.cmx
Ocamlopt     src/plugins/wp/cfgWP.cmx
Ocamlopt     src/plugins/wp/GuiConfig.cmx
Ocamlopt     src/plugins/wp/GuiProver.cmx
Ocamlopt     src/plugins/wp/GuiProof.cmx
Ocamlopt     src/plugins/wp/GuiComposer.cmx
Ocamlc       /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/Eva.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Report.cmx
Ocamlopt     src/plugins/wp/ProverScript.cmx
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Eva.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Report.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Eva.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Security_slicing.cmx
Ocamlopt     src/plugins/wp/register.cmx
Ocamlopt     src/plugins/wp/GuiList.cmx
Ocamlopt     src/plugins/wp/GuiGoal.cmx
Linking      bin/toplevel.byte
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Security_slicing.cmxs
Ocamlopt     src/plugins/wp/VC.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Studia.cmx
Ocamlopt     src/plugins/wp/GuiPanel.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Studia.cmxs
Ocamlopt     src/plugins/wp/GuiNavigator.cmx
Ocamlopt     src/plugins/variadic/options.cmx
Ocamlopt     src/plugins/variadic/environment.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Wp.cmx
Ocamlopt     src/plugins/variadic/extends.cmx
Ocamlopt     src/plugins/variadic/va_build.cmx
Ocamlopt     src/plugins/variadic/format_string.cmx
Ocamlopt     src/plugins/variadic/format_pprint.cmx
Ocamlopt     src/plugins/variadic/format_typer.cmx
Ocamlopt     src/plugins/variadic/generic.cmx
Ocamlopt     src/plugins/variadic/classify.cmx
Ocamlopt     src/plugins/variadic/format_parser.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Wp.cmxs
Ocamlopt     src/plugins/variadic/standard.cmx
Ocamlopt     src/plugins/variadic/translate.cmx
Ocamlc       src/kernel_internals/runtime/gui_init.cmi
Ocamlc       src/plugins/metrics/metrics_gui.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Metrics.cmi
Ocamlc       src/plugins/callgraph/cg_viewer.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Callgraph.cmi
Ocamlc       src/plugins/value/gui_files/gui_types.cmi
Ocamlc       src/plugins/value/gui_files/gui_red.cmi
Ocamlc       src/plugins/value/gui_files/register_gui.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmi
Ocamlc       src/plugins/occurrence/register_gui.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Occurrence.cmi
Ocamlc       src/plugins/from/from_register_gui.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/From.cmi
Ocamlc       src/plugins/impact/register_gui.cmi
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Impact.cmi
Ocamlc       src/plugins/scope/dpds_gui.cmo
Generating   /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Scope.cmi
Ocamlc       src/plugins/slicing/register_gui.cmo
Ocamlopt     src/kernel_internals/runtime/frama_c_init.cmx
Ocamlopt     src/libraries/datatype/unmarshal_z.cmx
Ocamlopt     src/libraries/utils/leftistheap.cmx
Ocamlopt     src/kernel_internals/runtime/gui_init.cmx
Ocamlopt     src/kernel_services/ast_printing/cabs_debug.cmx
Ocamlopt     src/kernel_services/analysis/service_graph.cmx
Ocamlopt     src/plugins/value_types/cilE.cmx
Ocamlopt     src/plugins/value_types/widen_type.cmx
Ocamlopt     src/kernel_internals/typing/translate_lightweight.cmx
Ocamlopt     src/kernel_internals/typing/allocates.cmx
Ocamlopt     src/kernel_internals/typing/unroll_loops.cmx
Ocamlopt     src/kernel_internals/typing/asm_contracts.cmx
Ocamlopt     src/kernel_services/analysis/exn_flow.cmx
Ocamlopt     src/kernel_internals/typing/infer_annotations.cmx
Ocamlopt     src/kernel_services/ast_transformations/clone.cmx
Ocamlopt     src/kernel_services/ast_transformations/inline.cmx
Ocamlopt     src/kernel_internals/runtime/special_hooks.cmx
Ocamlopt     src/kernel_internals/runtime/boot.cmx
Ocamlopt     src/plugins/gui/wfile.cmx
Ocamlopt     src/plugins/gui/book_manager.cmx
Ocamlopt     src/plugins/gui/analyses_manager.cmx
Ocamlopt     src/plugins/gui/file_manager.cmx
Ocamlopt     src/plugins/gui/project_manager.cmx
Ocamlopt     src/plugins/gui/debug_manager.cmx
Ocamlopt     src/plugins/gui/help_manager.cmx
Ocamlopt     src/plugins/gui/property_navigator.cmx
Ocamlopt     src/plugins/metrics/metrics_parameters.cmx
Ocamlopt     src/plugins/metrics/css_html.cmx
Ocamlopt     src/plugins/metrics/metrics_base.cmx
Ocamlopt     src/plugins/callgraph/options.cmx
Ocamlopt     src/plugins/callgraph/journalize.cmx
Ocamlopt     src/plugins/value/slevel/split_strategy.cmx
Ocamlopt     src/plugins/value/utils/unroll_annots.cmx
Ocamlopt     src/plugins/value/utils/eval_typ.cmx
Ocamlopt     src/plugins/value/utils/backward_formals.cmx
Ocamlopt     src/plugins/value/utils/structure.cmx
Ocamlopt     src/plugins/occurrence/options.cmx
Ocamlopt     src/plugins/rte/options.cmx
Ocamlopt     src/plugins/from/from_parameters.cmx
Ocamlopt     src/plugins/constant_propagation/propagationParameters.cmx
Ocamlopt     src/plugins/postdominators/postdominators_parameters.cmx
Ocamlopt     src/plugins/inout/inout_parameters.cmx
Ocamlopt     src/plugins/impact/options.cmx
Ocamlopt     src/plugins/pdg/pdg_parameters.cmx
Ocamlopt     src/plugins/scope/datascope.cmx
Ocamlopt     src/plugins/sparecode/sparecode_params.cmx
Ocamlopt     src/plugins/sparecode/spare_marks.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Slicing.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmx
Ocamlopt     src/plugins/metrics/metrics_gui.cmx
Ocamlopt     src/plugins/from/from_register_gui.cmx
Ocamlopt     src/plugins/variadic/register.cmx
Ocamlc       src/kernel_internals/runtime/gui_init.cmo
Ocamlc       src/plugins/metrics/metrics_gui.cmo
Ocamlc       src/plugins/metrics/register_gui.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Callgraph.cmo
Ocamlc       src/plugins/value/gui_files/gui_types.cmo
Ocamlc       src/plugins/value/gui_files/gui_eval.cmi
Ocamlc       src/plugins/value/gui_files/gui_red.cmo
Ocamlc       src/plugins/occurrence/register_gui.cmo
Ocamlc       src/plugins/from/from_register_gui.cmo
Ocamlc       src/plugins/impact/register_gui.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Scope.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Slicing.cmo
Ocamlopt     src/kernel_services/analysis/destructors.cmx
Ocamlopt     src/plugins/metrics/metrics_acsl.cmx
Ocamlopt     src/plugins/metrics/metrics_cabs.cmx
Ocamlopt     src/plugins/metrics/metrics_cilast.cmx
Ocamlopt     src/plugins/metrics/metrics_coverage.cmx
Ocamlopt     src/plugins/callgraph/subgraph.cmx
Ocamlopt     src/plugins/value/value_parameters.cmx
Ocamlopt     src/plugins/value/values/main_locations.cmx
Ocamlopt     src/plugins/occurrence/register.cmx
Ocamlopt     src/plugins/rte/generator.cmx
Ocamlopt     src/plugins/rte/rte.cmx
Ocamlopt     src/plugins/from/from_compute.cmx
Ocamlopt     src/plugins/from/from_register.cmx
Ocamlopt     src/plugins/users/users_register.cmx
Ocamlopt     src/plugins/constant_propagation/api.cmx
Ocamlopt     src/plugins/postdominators/print.cmx
Ocamlopt     src/plugins/inout/cumulative_analysis.cmx
Ocamlopt     src/plugins/impact/pdg_aux.cmx
Ocamlopt     src/plugins/pdg/ctrlDpds.cmx
Ocamlopt     src/plugins/pdg/pdg_state.cmx
Ocamlopt     src/plugins/scope/zones.cmx
Ocamlopt     src/plugins/scope/defs.cmx
Ocamlopt     src/plugins/sparecode/globs.cmx
Ocamlopt     src/plugins/sparecode/transform.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Slicing.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Wp.cmxs
Ocamlopt     src/plugins/occurrence/register_gui.cmx
Ocamlopt     src/plugins/scope/dpds_gui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Variadic.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Metrics.cmo
Ocamlc       src/plugins/value/gui_files/gui_eval.cmo
Ocamlc       src/plugins/value/gui_files/gui_callstacks_filters.cmi
Ocamlc       src/plugins/value/gui_files/gui_callstacks_manager.cmi
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Occurrence.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/From.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Impact.cmo
Ocamlopt     src/plugins/metrics/register.cmx
Ocamlopt     src/plugins/callgraph/cg.cmx
Ocamlopt     src/plugins/value/utils/value_perf.cmx
Ocamlopt     src/plugins/value/utils/mark_noresults.cmx
Ocamlopt     src/plugins/value/utils/widen_hints_ext.cmx
Ocamlopt     src/plugins/value/engine/split_return.cmx
Ocamlopt     src/plugins/value/domains/numerors/numerors_domain.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Occurrence.cmx
Ocamlopt     src/plugins/rte/visit.cmx
Ocamlopt     src/plugins/from/functionwise.cmx
Ocamlopt     src/plugins/from/callwise.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Users.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Constant_Propagation.cmx
Ocamlopt     src/plugins/postdominators/compute.cmx
Ocamlopt     src/plugins/inout/operational_inputs.cmx
Ocamlopt     src/plugins/inout/inputs.cmx
Ocamlopt     src/plugins/inout/derefs.cmx
Ocamlopt     src/plugins/impact/reason_graph.cmx
Ocamlopt     src/plugins/pdg/build.cmx
Ocamlopt     src/plugins/pdg/sets.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Scope.cmx
Ocamlopt     src/plugins/sparecode/register.cmx
Ocamlopt     src/plugins/metrics/register_gui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Occurrence.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/From.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Scope.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Variadic.cmxs
Ocamlc       src/plugins/value/gui_files/gui_callstacks_filters.cmo
Ocamlc       src/plugins/value/gui_files/gui_callstacks_manager.cmo
Ocamlc       src/plugins/value/gui_files/register_gui.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Metrics.cmx
Ocamlopt     src/plugins/callgraph/services.cmx
Ocamlopt     src/plugins/callgraph/uses.cmx
Ocamlopt     src/plugins/value/utils/value_util.cmx
Ocamlopt     src/plugins/value/utils/widen.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Occurrence.cmxs
Ocamlopt     src/plugins/rte/register.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/From.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Users.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Constant_Propagation.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Postdominators.cmx
Ocamlopt     src/plugins/inout/outputs.cmx
Ocamlopt     src/plugins/impact/compute_impact.cmx
Ocamlopt     src/plugins/pdg/annot.cmx
Ocamlopt     src/plugins/pdg/marks.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Scope.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Sparecode.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Metrics.cmx
Ocamlopt     src/plugins/callgraph/cg_viewer.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Occurrence.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/From.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Scope.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Metrics.cmxs
Ocamlopt     src/plugins/callgraph/register.cmx
Ocamlopt     src/plugins/value/utils/red_statuses.cmx
Ocamlopt     src/plugins/value/slevel/per_stmt_slevel.cmx
Ocamlopt     src/plugins/value/utils/library_functions.cmx
Ocamlopt     src/plugins/value/alarmset.cmx
Ocamlopt     src/plugins/value/values/cvalue_forward.cmx
Ocamlopt     src/plugins/value/domains/hcexprs.cmx
Ocamlopt     src/plugins/value/domains/cvalue/warn.cmx
Ocamlopt     src/plugins/value/utils/value_results.cmx
Ocamlopt     src/plugins/value/domains/cvalue/cvalue_init.cmx
Ocamlopt     src/plugins/value/engine/recursion.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/RteGen.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/From.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Postdominators.cmxs
Ocamlopt     src/plugins/inout/register.cmx
Ocamlopt     src/plugins/impact/register.cmx
Ocamlopt     src/plugins/pdg/register.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Sparecode.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmo
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Metrics.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Callgraph.cmx
Ocamlopt     src/plugins/value/gui_files/gui_red.cmx
Ocamlopt     src/plugins/impact/register_gui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Callgraph.cmx
Ocamlopt     src/plugins/value/eval.cmx
Ocamlopt     src/plugins/value/values/cvalue_backward.cmx
Ocamlopt     src/plugins/value/legacy/eval_op.cmx
Ocamlopt     src/plugins/value/domains/domain_store.cmx
Ocamlopt     src/plugins/value/domains/domain_product.cmx
Ocamlopt     src/plugins/value/domains/domain_lift.cmx
Ocamlopt     src/plugins/value/domains/unit_domain.cmx
Ocamlopt     src/plugins/value/domains/equality/equality.cmx
Ocamlopt     src/plugins/value/domains/cvalue/locals_scoping.cmx
Ocamlopt     src/plugins/value/domains/cvalue/cvalue_offsetmap.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_split.cmx
Ocamlopt     src/plugins/value/domains/powerset.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/RteGen.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Inout.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Impact.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Pdg.cmx
Linking      bin/viewer.byte
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Callgraph.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Impact.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Callgraph.cmxs
Ocamlopt     src/plugins/value/values/value_product.cmx
Ocamlopt     src/plugins/value/values/location_lift.cmx
Ocamlopt     src/plugins/value/values/main_values.cmx
Ocamlopt     src/plugins/value/values/sign_value.cmx
Ocamlopt     src/plugins/value/legacy/function_args.cmx
Ocamlopt     src/plugins/value/domains/domain_builder.cmx
Ocamlopt     src/plugins/value/domains/apron/apron_domain.cmx
Ocamlopt     src/plugins/value/domains/equality/equality_domain.cmx
Ocamlopt     src/plugins/value/domains/symbolic_locs.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins.cmx
Ocamlopt     src/plugins/value/domains/inout_domain.cmx
Ocamlopt     src/plugins/value/engine/subdivided_evaluation.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Inout.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Impact.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Pdg.cmxs
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Impact.cmxs
Ocamlopt     src/plugins/value/values/offsm_value.cmx
Ocamlopt     src/plugins/value/domains/printer_domain.cmx
Ocamlopt     src/plugins/value/domains/simple_memory.cmx
Ocamlopt     src/plugins/value/domains/gauges/gauges_domain.cmx
Ocamlopt     src/plugins/value/domains/offsm_domain.cmx
Ocamlopt     src/plugins/value/domains/sign_domain.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_malloc.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_string.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_misc.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_memory.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_print_c.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_watchpoint.cmx
Ocamlopt     src/plugins/value/domains/cvalue/builtins_float.cmx
Ocamlopt     src/plugins/value/utils/state_import.cmx
Ocamlopt     src/plugins/value/legacy/eval_terms.cmx
Ocamlopt     src/plugins/value/domains/cvalue/cvalue_transfer.cmx
Ocamlopt     src/plugins/value/engine/evaluation.cmx
Ocamlopt     src/plugins/value/legacy/eval_annots.cmx
Ocamlopt     src/plugins/value/engine/transfer_logic.cmx
Ocamlopt     src/plugins/value/domains/cvalue/cvalue_domain.cmx
Ocamlopt     src/plugins/value/domains/cvalue/cvalue_specification.cmx
Ocamlopt     src/plugins/value/engine/transfer_stmt.cmx
Ocamlopt     src/plugins/value/engine/transfer_specification.cmx
Ocamlopt     src/plugins/value/engine/partitioning.cmx
Ocamlopt     src/plugins/value/engine/abstractions.cmx
Ocamlopt     src/plugins/value/engine/mem_exec.cmx
Ocamlopt     src/plugins/value/engine/legacy_partitioning.cmx
Ocamlopt     src/plugins/value/engine/basic_partitioning.cmx
Ocamlopt     src/plugins/value/engine/loop_partitioning.cmx
Ocamlopt     src/plugins/value/engine/initialization.cmx
Ocamlopt     src/plugins/value/gui_files/gui_types.cmx
Ocamlopt     src/plugins/value/engine/partitioned_dataflow.cmx
Ocamlopt     src/plugins/value/engine/compute_functions.cmx
Ocamlopt     src/plugins/value/engine/analysis.cmx
Ocamlopt     src/plugins/value/register.cmx
Ocamlopt     src/plugins/value/gui_files/gui_eval.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Eva.cmx
Ocamlopt     src/plugins/value/gui_files/gui_callstacks_filters.cmx
Ocamlopt     src/plugins/value/gui_files/gui_callstacks_manager.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/top/Eva.cmxs
Linking      bin/toplevel.opt
Ocamlopt     src/plugins/value/gui_files/register_gui.cmx
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmx
ldPacking      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)

ld: error: undefined symbol: ml_as_z_neg
>>> referenced by integer.ml:67 (src/libraries/stdlib/integer.ml:67)
>>>               src/kernel_internals/typing/translate_lightweight.o:(camlTranslate_lightweight__aux_1108)

ld: error: undefined symbol: ml_as_z_succ
>>> referenced by integer.ml:65 (src/libraries/stdlib/integer.ml:65)
>>>               src/plugins/value_types/widen_type.o:(camlWiden_type__fun_20251)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/plugins/value_types/widen_type.o:(camlWiden_type__fun_20251)

ld: error: undefined symbol: ml_as_z_mul
>>> referenced by integer.ml:71 (src/libraries/stdlib/integer.ml:71)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs___scale_offset_1651)

ld: error: undefined symbol: ml_as_z_add
>>> referenced by integer.ml:63 (src/libraries/stdlib/integer.ml:63)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__shift_offset_by_singleton_1661)

ld: error: undefined symbol: ml_as_z_add
>>> referenced by integer.ml:63 (src/libraries/stdlib/integer.ml:63)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__shift_offset_1675)

ld: error: undefined symbol: ml_as_z_mul
>>> referenced by integer.ml:71 (src/libraries/stdlib/integer.ml:71)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__shift_offset_1675)

ld: error: undefined symbol: ml_as_z_mul
>>> referenced by integer.ml:71 (src/libraries/stdlib/integer.ml:71)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__shift_offset_1675)

ld: error: undefined symbol: ml_as_z_mul
>>> referenced by integer.ml:71 (src/libraries/stdlib/integer.ml:71)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__combine_loc_precise_offset_3685)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__reduce_offset_by_validity_4040)

ld: error: undefined symbol: ml_as_z_sub
>>> referenced by integer.ml:64 (src/libraries/stdlib/integer.ml:64)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__reduce_offset_by_validity_4040)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__reduce_offset_by_validity_4040)

ld: error: undefined symbol: ml_as_z_sub
>>> referenced by integer.ml:64 (src/libraries/stdlib/integer.ml:64)
>>>               src/plugins/value_types/precise_locs.o:(camlPrecise_locs__reduce_offset_by_validity_4040)

ld: error: undefined symbol: ml_as_z_mul
>>> referenced by integer.ml:71 (src/libraries/stdlib/integer.ml:71)
>>>               src/plugins/value_types/cvalue.o:(camlCvalue__conv_offset_4557)

ld: error: undefined symbol: ml_as_z_succ
>>> referenced by integer.ml:65 (src/libraries/stdlib/integer.ml:65)
>>>               src/plugins/value_types/cvalue.o:(camlCvalue__extract_bits_6860)

ld: error: undefined symbol: ml_as_z_add
>>> referenced by integer.ml:63 (src/libraries/stdlib/integer.ml:63)
>>>               src/plugins/value_types/cvalue.o:(camlCvalue__fun_22679)

ld: error: undefined symbol: ml_as_z_add
>>> referenced by integer.ml:63 (src/libraries/stdlib/integer.ml:63)
>>>               src/plugins/value_types/cvalue.o:(camlCvalue__cardinal_estimate_8802)

ld: error: too many errors emitted, stopping now (use -error-limit=0 to see all errors)
cc: error: linker command failed with exit code 1 (use -v to see invocation)
File "caml_startup", line 1:
Error: Error during linking
gmake: *** [Makefile:1165: bin/toplevel.opt] Error 2
gmake: *** Waiting for unfinished jobs....
===> Exiting devel/frama-c with an error
*** Error 2 in devel/frama-c (/usr/ports/infrastructure/mk/bsd.port.mk:2801 '/usr/obj/ports/frama-c-18.0/.build_done')
*** Error 1 in devel/frama-c (/usr/ports/infrastructure/mk/bsd.port.mk:2467 'build')
*** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:137 'build')
Error: job failed with 256 on i386 at 1552208709