Index: head/devel/frama-c/Makefile =================================================================== --- head/devel/frama-c/Makefile (revision 435382) +++ head/devel/frama-c/Makefile (revision 435383) @@ -1,64 +1,80 @@ # Created by: b.f. # $FreeBSD$ PORTNAME= frama-c -DISTVERSIONPREFIX= Sodium- -DISTVERSION= 20150201 -PORTREVISION= 3 -CATEGORIES= devel +DISTVERSIONPREFIX= Silicon- +DISTVERSION= 20161101 +CATEGORIES= devel lang MASTER_SITES= http://frama-c.com/download/ DIST_SUBDIR= framac-01 MAINTAINER= mmokhi@FreeBSD.org COMMENT= Extensible platform for source-code analysis of C LICENSE= LGPL21 -EXTRACT_DEPENDS= gtar:archivers/gtar -BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph -RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph +BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \ + ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith +RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \ + ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith +LIB_DEPENDS= libgmp.so:math/gmp \ + libfreetype.so:print/freetype2 \ + libfontconfig.so:x11-fonts/fontconfig -USES= gmake +USES= gettext-runtime gmake gnome localbase pathfix pkgconfig USE_OCAML= yes +USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 \ + libartlgpl2 libgnomecanvas pango + GNU_CONFIGURE= yes -EXTRACT_CMD= gtar -EXTRACT_BEFORE_ARGS= -xf CONFIGURE_ARGS+=--with-cpp="${FRAMAC_DEFAULT_CPP}" -MAKE_ENV+= FRAMAC_LIBDIR="${PREFIX}/lib/frama-c" +MAKE_ENV+= FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \ + FRAMAC_DATADIR="${FRAMAC_DATADIR}" \ + STAGEDIR="${STAGEDIR}" FRAMAC_DEFAULT_CPP?= ${CPP} -C -I${DATADIR}/libc -I. +FRAMAC_LIBDIR= ${PREFIX}/lib/${PORTNAME} +FRAMAC_DATADIR= ${DATADIR} post-patch: @cd ${WRKSRC}/tests; ${MKDIR} aorai report wp wp_acsl wp_bts \ wp_engine wp_hoare wp_plugin wp_runtime wp_store wp_typed @${REINPLACE_CMD} -e 's|@make |@${MAKE_CMD} |' \ - ${WRKSRC}/src/aorai/Makefile.in + ${WRKSRC}/src/plugins/*/Makefile.in @${REINPLACE_CMD} \ -e 's|$$(CP)|${INSTALL_DATA}|' \ -e 's|add_prefix|addprefix|' \ - ${WRKSRC}/share/Makefile.plugin + ${WRKSRC}/share/Makefile.plugin.template @${REINPLACE_CMD} \ + -e 's|$$(CP)|${INSTALL_DATA}|' \ + -e 's|add_prefix|addprefix|' \ + ${WRKSRC}/share/Makefile.common + @${REINPLACE_CMD} \ -e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \ -e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \ ${WRKSRC}/share/Makefile.dynamic + @${REINPLACE_CMD} \ + -e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \ + -e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \ + ${WRKSRC}/share/Makefile.common @${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \ \|_LIBDIR|s|(FRAMAC_LIBDIR)|(DESTDIR)$$(FRAMAC_LIBDIR)|; \ \|_PLUGINDIR|s|(FRAMAC_PLUGINDIR)|(DESTDIR)$$(FRAMAC_PLUGINDIR)|; \ \|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \ \|$$(CP).*man/|s|$$(CP)|${INSTALL_MAN}|; \ s|$$(CP)|${INSTALL_DATA}|; }' \ ${WRKSRC}/Makefile post-install: ${CHMOD} u+w ${STAGEDIR}${PREFIX}/bin/* ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* ${CHMOD} u-w ${STAGEDIR}${PREFIX}/bin/* - ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/*.cmxs - ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/gui/*.cmxs + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/gui/*.cmxs + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/top/*.cmxs check regression-test test: build @cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \ CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \ ${MAKE_CMD} ${MAKE_ARGS} oracles fulltests .include Index: head/devel/frama-c/distinfo =================================================================== --- head/devel/frama-c/distinfo (revision 435382) +++ head/devel/frama-c/distinfo (revision 435383) @@ -1,2 +1,3 @@ -SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d -SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507 +TIMESTAMP = 1483395653 +SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3 +SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893 Index: head/devel/frama-c/files/patch-Makefile =================================================================== --- head/devel/frama-c/files/patch-Makefile (nonexistent) +++ head/devel/frama-c/files/patch-Makefile (revision 435383) @@ -0,0 +1,96 @@ +--- Makefile.orig 2017-03-03 17:51:06 UTC ++++ Makefile +@@ -1581,12 +1581,12 @@ install-lib: clean-install + + install-doc-code: + $(PRINT_INSTALL) API documentation +- $(MKDIR) $(FRAMAC_DATADIR)/doc/code ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code + (cd doc ; tar cf - --exclude='.svn' --exclude='*.toc' \ + --exclude='*.htm' --exclude='*.txt' \ + --exclude='*.ml' \ + code \ +- | (cd $(FRAMAC_DATADIR)/doc ; tar xf -)) ++ | (cd $(STAGEDIR)$(FRAMAC_DATADIR)/doc ; tar xf -)) + + .PHONY: install + install:: install-lib +@@ -1595,38 +1595,38 @@ install:: install-lib + $(MKDIR) $(MANDIR)/man1 + $(MKDIR) $(FRAMAC_PLUGINDIR)/top + $(MKDIR) $(FRAMAC_PLUGINDIR)/gui +- $(MKDIR) $(FRAMAC_DATADIR)/theme/default +- $(MKDIR) $(FRAMAC_DATADIR)/theme/colorblind +- $(MKDIR) $(FRAMAC_DATADIR)/libc/sys +- $(MKDIR) $(FRAMAC_DATADIR)/libc/netinet +- $(MKDIR) $(FRAMAC_DATADIR)/libc/linux +- $(MKDIR) $(FRAMAC_DATADIR)/libc/net +- $(MKDIR) $(FRAMAC_DATADIR)/libc/arpa ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa + $(PRINT_INSTALL) shared files + $(CP) \ + $(wildcard share/*.c share/*.h) \ + share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \ + share/Makefile.config share/Makefile.common share/Makefile.generic \ + share/configure.ac \ +- $(FRAMAC_DATADIR) +- $(MKDIR) $(FRAMAC_DATADIR)/emacs +- $(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs +- $(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR) +- $(CP) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default +- $(CP) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind ++ $(STAGEDIR)$(FRAMAC_DATADIR) ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs ++ $(CP) $(wildcard share/emacs/*.el) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs ++ $(CP) share/frama-c.rc $(ICONS) $(STAGEDIR)$(FRAMAC_DATADIR) ++ $(CP) $(FEEDBACK_ICONS_DEFAULT) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default ++ $(CP) $(FEEDBACK_ICONS_COLORBLIND) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind + if [ -d $(EMACS_DATADIR) ]; then \ + $(CP) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \ + fi + $(CP) share/Makefile.dynamic_config.external \ +- $(FRAMAC_DATADIR)/Makefile.dynamic_config ++ $(STAGEDIR)$(FRAMAC_DATADIR)/Makefile.dynamic_config + $(PRINT_INSTALL) C standard library + $(CP) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \ +- $(FRAMAC_DATADIR)/libc +- $(CP) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys +- $(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa +- $(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net +- $(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet +- $(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux ++ $(STAGEDIR)$(FRAMAC_DATADIR)/libc ++ $(CP) share/libc/sys/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys ++ $(CP) share/libc/arpa/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa ++ $(CP) share/libc/net/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net ++ $(CP) share/libc/netinet/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet ++ $(CP) share/libc/linux/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux + $(PRINT_INSTALL) binaries + $(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE) + $(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE) +@@ -1647,8 +1647,8 @@ + $(PRINT_INSTALL) config files + $(CP) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR) + $(PRINT_INSTALL) API documentation +- $(MKDIR) $(FRAMAC_DATADIR)/doc/code +- $(CP) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code ++ $(CP) $(wildcard $(DOC_GEN_FILES)) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code + $(PRINT_INSTALL) dynamic plug-ins + if [ -d "$(FRAMAC_PLUGIN)" -a "$(PLUGIN_DYN_EXISTS)" = "yes" ]; then \ + $(CP) $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \ +@@ -1672,7 +1672,7 @@ + $(PRINT_RM) installed binaries + $(RM) $(BINDIR)/frama-c* $(BINDIR)/ptests.$(PTESTSBEST)$(EXE) + $(PRINT_RM) installed shared files +- $(RM) -R $(FRAMAC_DATADIR) ++ $(RM) -R $(STAGEDIR)$(FRAMAC_DATADIR) + $(PRINT_RM) installed libraries + $(RM) -R $(FRAMAC_LIBDIR) $(FRAMAC_PLUGINDIR) + $(PRINT_RM) installed man files Property changes on: head/devel/frama-c/files/patch-Makefile ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in =================================================================== --- head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in (nonexistent) +++ head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in (revision 435383) @@ -0,0 +1,30 @@ +--- src/plugins/wp/Makefile.in.orig 2017-03-03 17:46:27 UTC ++++ src/plugins/wp/Makefile.in +@@ -313,7 +313,7 @@ wp-coq-install: + $(PRINT_INSTALL) "Coq Libraries" + $(INSTALL_SHARE) -f -p -s \ + -i $(Wp_DIR)/share \ +- -d $(FRAMAC_DATADIR)/wp \ ++ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \ + $(ALL_COQ_BINARIES) + + wp-coq-uninstall: +@@ -351,14 +351,14 @@ $(Wp_DIR)/share/why3/why3.conf: + + install:: clean-install + $(PRINT_INSTALL) WP shared files +- $(MKDIR) $(FRAMAC_DATADIR)/wp ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/wp + $(INSTALL_SHARE) -p \ + -i $(Wp_DIR)/share \ +- -d $(FRAMAC_DATADIR)/wp \ ++ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \ + $(ALL_RESOURCES) -f -b $(ALL_COQ_BINARIES) + $(PRINT_INSTALL) "Qed Library" +- $(MKDIR) $(FRAMAC_LIBDIR) +- $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(FRAMAC_LIBDIR) ++ $(MKDIR) $(STAGEDIR)$(FRAMAC_LIBDIR) ++ $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(STAGEDIR)$(FRAMAC_LIBDIR) + + uninstall:: + $(PRINT_RM) WP shared files Property changes on: head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/frama-c/pkg-plist =================================================================== --- head/devel/frama-c/pkg-plist (revision 435382) +++ head/devel/frama-c/pkg-plist (revision 435383) @@ -1,1009 +1,1158 @@ bin/frama-c bin/frama-c-config bin/frama-c-gui bin/frama-c-gui.byte bin/frama-c.byte bin/ptests.opt -lib/frama-c/Constant_Propagation.cmi -lib/frama-c/Constant_Propagation.cmo -lib/frama-c/Constant_Propagation.cmx -lib/frama-c/Constant_Propagation.o +lib/frama-c/FCBuffer.cmi +lib/frama-c/FCBuffer.cmo +lib/frama-c/FCBuffer.cmx +lib/frama-c/FCBuffer.o +lib/frama-c/FCDynlink.cmi +lib/frama-c/FCDynlink.cmo +lib/frama-c/FCDynlink.cmx +lib/frama-c/FCDynlink.o lib/frama-c/FCHashtbl.cmi lib/frama-c/FCHashtbl.cmo lib/frama-c/FCHashtbl.cmx lib/frama-c/FCHashtbl.o lib/frama-c/FCMap.cmi lib/frama-c/FCMap.cmo lib/frama-c/FCMap.cmx lib/frama-c/FCMap.o lib/frama-c/FCSet.cmi lib/frama-c/FCSet.cmo lib/frama-c/FCSet.cmx lib/frama-c/FCSet.o -lib/frama-c/From.cmi -lib/frama-c/From.cmo -lib/frama-c/From.cmx -lib/frama-c/From.o -lib/frama-c/Impact.cmi -lib/frama-c/Impact.cmo -lib/frama-c/Impact.cmx -lib/frama-c/Impact.o -lib/frama-c/Inout.cmi -lib/frama-c/Inout.cmo -lib/frama-c/Inout.cmx -lib/frama-c/Inout.o -lib/frama-c/Metrics.cmi -lib/frama-c/Metrics.cmo -lib/frama-c/Metrics.cmx -lib/frama-c/Metrics.o -lib/frama-c/Occurrence.cmi -lib/frama-c/Occurrence.cmo -lib/frama-c/Occurrence.cmx -lib/frama-c/Occurrence.o -lib/frama-c/Pdg.cmi -lib/frama-c/Pdg.cmo -lib/frama-c/Pdg.cmx -lib/frama-c/Pdg.o -lib/frama-c/Postdominators.cmi -lib/frama-c/Postdominators.cmo -lib/frama-c/Postdominators.cmx -lib/frama-c/Postdominators.o -lib/frama-c/RteGen.cmi -lib/frama-c/RteGen.cmo -lib/frama-c/RteGen.cmx -lib/frama-c/RteGen.o -lib/frama-c/Scope.cmi -lib/frama-c/Scope.cmo -lib/frama-c/Scope.cmx -lib/frama-c/Scope.o -lib/frama-c/Semantic_callgraph.cmi -lib/frama-c/Semantic_callgraph.cmo -lib/frama-c/Semantic_callgraph.cmx -lib/frama-c/Semantic_callgraph.o -lib/frama-c/Slicing.cmi -lib/frama-c/Slicing.cmo -lib/frama-c/Slicing.cmx -lib/frama-c/Slicing.o -lib/frama-c/Sparecode.cmi -lib/frama-c/Sparecode.cmo -lib/frama-c/Sparecode.cmx -lib/frama-c/Sparecode.o -lib/frama-c/Syntactic_callgraph.cmi -lib/frama-c/Syntactic_callgraph.cmo -lib/frama-c/Syntactic_callgraph.cmx -lib/frama-c/Syntactic_callgraph.o -lib/frama-c/Users.cmi -lib/frama-c/Users.cmo -lib/frama-c/Users.cmx -lib/frama-c/Users.o -lib/frama-c/Value.cmi -lib/frama-c/Value.cmo -lib/frama-c/Value.cmx -lib/frama-c/Value.o +lib/frama-c/Qed.cmi +lib/frama-c/Qed.cmo +lib/frama-c/Qed.cmx +lib/frama-c/Qed.o lib/frama-c/abstract_interp.cmi lib/frama-c/abstract_interp.cmo lib/frama-c/abstract_interp.cmx lib/frama-c/abstract_interp.o lib/frama-c/alarms.cmi lib/frama-c/alarms.cmo lib/frama-c/alarms.cmx lib/frama-c/alarms.o lib/frama-c/allocates.cmi lib/frama-c/allocates.cmo lib/frama-c/allocates.cmx lib/frama-c/allocates.o lib/frama-c/alpha.cmi lib/frama-c/alpha.cmo lib/frama-c/alpha.cmx lib/frama-c/alpha.o lib/frama-c/analyses_manager.cmi lib/frama-c/analyses_manager.cmo lib/frama-c/analyses_manager.cmx lib/frama-c/analyses_manager.o lib/frama-c/annotations.cmi lib/frama-c/annotations.cmo lib/frama-c/annotations.cmx lib/frama-c/annotations.o +lib/frama-c/asm_contracts.cmi +lib/frama-c/asm_contracts.cmo +lib/frama-c/asm_contracts.cmx +lib/frama-c/asm_contracts.o lib/frama-c/ast.cmi lib/frama-c/ast.cmo lib/frama-c/ast.cmx lib/frama-c/ast.o lib/frama-c/ast_info.cmi lib/frama-c/ast_info.cmo lib/frama-c/ast_info.cmx lib/frama-c/ast_info.o lib/frama-c/bag.cmi lib/frama-c/bag.cmo lib/frama-c/bag.cmx lib/frama-c/bag.o lib/frama-c/base.cmi lib/frama-c/base.cmo lib/frama-c/base.cmx lib/frama-c/base.o lib/frama-c/binary_cache.cmi lib/frama-c/binary_cache.cmo lib/frama-c/binary_cache.cmx lib/frama-c/binary_cache.o lib/frama-c/bit_utils.cmi lib/frama-c/bit_utils.cmo lib/frama-c/bit_utils.cmx lib/frama-c/bit_utils.o lib/frama-c/bitvector.cmi lib/frama-c/bitvector.cmo lib/frama-c/bitvector.cmx lib/frama-c/bitvector.o lib/frama-c/book_manager.cmi lib/frama-c/book_manager.cmo lib/frama-c/book_manager.cmx lib/frama-c/book_manager.o lib/frama-c/boot.cmi lib/frama-c/boot.cmo lib/frama-c/boot.cmx lib/frama-c/boot.o -lib/frama-c/buckx_c.o +lib/frama-c/bottom.cmi +lib/frama-c/bottom.cmo +lib/frama-c/bottom.cmx +lib/frama-c/bottom.o +lib/frama-c/c_bindings.o lib/frama-c/cabs.cmi lib/frama-c/cabs.cmo lib/frama-c/cabs.cmx lib/frama-c/cabs.o lib/frama-c/cabs2cil.cmi lib/frama-c/cabs2cil.cmo lib/frama-c/cabs2cil.cmx lib/frama-c/cabs2cil.o lib/frama-c/cabs_debug.cmi lib/frama-c/cabs_debug.cmo lib/frama-c/cabs_debug.cmx lib/frama-c/cabs_debug.o lib/frama-c/cabshelper.cmi lib/frama-c/cabshelper.cmo lib/frama-c/cabshelper.cmx lib/frama-c/cabshelper.o lib/frama-c/cabsvisit.cmi lib/frama-c/cabsvisit.cmo lib/frama-c/cabsvisit.cmx lib/frama-c/cabsvisit.o -lib/frama-c/callgraph.cmi -lib/frama-c/callgraph.cmo -lib/frama-c/callgraph.cmx -lib/frama-c/callgraph.o lib/frama-c/cfg.cmi lib/frama-c/cfg.cmo lib/frama-c/cfg.cmx lib/frama-c/cfg.o lib/frama-c/cil.cmi lib/frama-c/cil.cmo lib/frama-c/cil.cmx lib/frama-c/cil.o lib/frama-c/cilE.cmi lib/frama-c/cilE.cmo lib/frama-c/cilE.cmx lib/frama-c/cilE.o lib/frama-c/cil_const.cmi lib/frama-c/cil_const.cmo lib/frama-c/cil_const.cmx lib/frama-c/cil_const.o lib/frama-c/cil_datatype.cmi lib/frama-c/cil_datatype.cmo lib/frama-c/cil_datatype.cmx lib/frama-c/cil_datatype.o lib/frama-c/cil_descriptive_printer.cmi lib/frama-c/cil_descriptive_printer.cmo lib/frama-c/cil_descriptive_printer.cmx lib/frama-c/cil_descriptive_printer.o lib/frama-c/cil_printer.cmi lib/frama-c/cil_printer.cmo lib/frama-c/cil_printer.cmx lib/frama-c/cil_printer.o lib/frama-c/cil_state_builder.cmi lib/frama-c/cil_state_builder.cmo lib/frama-c/cil_state_builder.cmx lib/frama-c/cil_state_builder.o lib/frama-c/cil_types.cmi lib/frama-c/cilconfig.cmi lib/frama-c/cilconfig.cmo lib/frama-c/cilconfig.cmx lib/frama-c/cilconfig.o -lib/frama-c/cilmsg.cmi -lib/frama-c/cilmsg.cmo -lib/frama-c/cilmsg.cmx -lib/frama-c/cilmsg.o lib/frama-c/clexer.cmi lib/frama-c/clexer.cmo lib/frama-c/clexer.cmx lib/frama-c/clexer.o lib/frama-c/clone.cmi lib/frama-c/clone.cmo lib/frama-c/clone.cmx lib/frama-c/clone.o lib/frama-c/cmdline.cmi lib/frama-c/cmdline.cmo lib/frama-c/cmdline.cmx lib/frama-c/cmdline.o lib/frama-c/command.cmi lib/frama-c/command.cmo lib/frama-c/command.cmx lib/frama-c/command.o lib/frama-c/config.cmi lib/frama-c/config.cmo lib/frama-c/config.cmx lib/frama-c/config.o lib/frama-c/cparser.cmi lib/frama-c/cparser.cmo lib/frama-c/cparser.cmx lib/frama-c/cparser.o lib/frama-c/cprint.cmi lib/frama-c/cprint.cmo lib/frama-c/cprint.cmx lib/frama-c/cprint.o lib/frama-c/cvalue.cmi lib/frama-c/cvalue.cmo lib/frama-c/cvalue.cmx lib/frama-c/cvalue.o lib/frama-c/dataflow.cmi lib/frama-c/dataflow.cmo lib/frama-c/dataflow.cmx lib/frama-c/dataflow.o lib/frama-c/dataflow2.cmi lib/frama-c/dataflow2.cmo lib/frama-c/dataflow2.cmx lib/frama-c/dataflow2.o lib/frama-c/dataflows.cmi lib/frama-c/dataflows.cmo lib/frama-c/dataflows.cmx lib/frama-c/dataflows.o lib/frama-c/datatype.cmi lib/frama-c/datatype.cmo lib/frama-c/datatype.cmx lib/frama-c/datatype.o lib/frama-c/db.cmi lib/frama-c/db.cmo lib/frama-c/db.cmx lib/frama-c/db.o lib/frama-c/debug_manager.cmi lib/frama-c/debug_manager.cmo lib/frama-c/debug_manager.cmx lib/frama-c/debug_manager.o lib/frama-c/descr.cmi lib/frama-c/descr.cmo lib/frama-c/descr.cmx lib/frama-c/descr.o lib/frama-c/description.cmi lib/frama-c/description.cmo lib/frama-c/description.cmx lib/frama-c/description.o lib/frama-c/design.cmi lib/frama-c/design.cmo lib/frama-c/design.cmx lib/frama-c/design.o -lib/frama-c/dgraph.cmi lib/frama-c/dominators.cmi lib/frama-c/dominators.cmo lib/frama-c/dominators.cmx lib/frama-c/dominators.o lib/frama-c/dynamic.cmi lib/frama-c/dynamic.cmo lib/frama-c/dynamic.cmx lib/frama-c/dynamic.o -lib/frama-c/dynlink_common_interface.cmi -lib/frama-c/dynlink_common_interface.cmo -lib/frama-c/dynlink_common_interface.cmx -lib/frama-c/dynlink_common_interface.o lib/frama-c/emitter.cmi lib/frama-c/emitter.cmo lib/frama-c/emitter.cmx lib/frama-c/emitter.o lib/frama-c/errorloc.cmi lib/frama-c/errorloc.cmo lib/frama-c/errorloc.cmx lib/frama-c/errorloc.o lib/frama-c/escape.cmi lib/frama-c/escape.cmo lib/frama-c/escape.cmx lib/frama-c/escape.o lib/frama-c/exn_flow.cmi lib/frama-c/exn_flow.cmo lib/frama-c/exn_flow.cmx lib/frama-c/exn_flow.o lib/frama-c/extlib.cmi lib/frama-c/extlib.cmo lib/frama-c/extlib.cmx lib/frama-c/extlib.o lib/frama-c/file.cmi lib/frama-c/file.cmo lib/frama-c/file.cmx lib/frama-c/file.o lib/frama-c/file_manager.cmi lib/frama-c/file_manager.cmo lib/frama-c/file_manager.cmx lib/frama-c/file_manager.o +lib/frama-c/filecheck.cmi +lib/frama-c/filecheck.cmo +lib/frama-c/filecheck.cmx +lib/frama-c/filecheck.o lib/frama-c/filepath.cmi lib/frama-c/filepath.cmo lib/frama-c/filepath.cmx lib/frama-c/filepath.o lib/frama-c/filetree.cmi lib/frama-c/filetree.cmo lib/frama-c/filetree.cmx lib/frama-c/filetree.o lib/frama-c/filter.cmi lib/frama-c/filter.cmo lib/frama-c/filter.cmx lib/frama-c/filter.o lib/frama-c/floating_point.cmi lib/frama-c/floating_point.cmo lib/frama-c/floating_point.cmx lib/frama-c/floating_point.o -lib/frama-c/frama_c_config.cmi lib/frama-c/frama_c_init.cmi lib/frama-c/frama_c_init.cmo lib/frama-c/frama_c_init.cmx lib/frama-c/frama_c_init.o lib/frama-c/frontc.cmi lib/frama-c/frontc.cmo lib/frama-c/frontc.cmx lib/frama-c/frontc.o lib/frama-c/function_Froms.cmi lib/frama-c/function_Froms.cmo lib/frama-c/function_Froms.cmx lib/frama-c/function_Froms.o +lib/frama-c/fval.cmi +lib/frama-c/fval.cmo +lib/frama-c/fval.cmx +lib/frama-c/fval.o lib/frama-c/globals.cmi lib/frama-c/globals.cmo lib/frama-c/globals.cmx lib/frama-c/globals.o -lib/frama-c/graph.cmi -lib/frama-c/graph.cmo -lib/frama-c/graph.cmx -lib/frama-c/graph.o lib/frama-c/gtk_form.cmi lib/frama-c/gtk_form.cmo lib/frama-c/gtk_form.cmx lib/frama-c/gtk_form.o lib/frama-c/gtk_helper.cmi lib/frama-c/gtk_helper.cmo lib/frama-c/gtk_helper.cmx lib/frama-c/gtk_helper.o -lib/frama-c/gui_init.cmi lib/frama-c/gui_parameters.cmi lib/frama-c/gui_parameters.cmo lib/frama-c/gui_parameters.cmx lib/frama-c/gui_parameters.o +lib/frama-c/gui_printers.cmi +lib/frama-c/gui_printers.cmo +lib/frama-c/gui_printers.cmx +lib/frama-c/gui_printers.o lib/frama-c/help_manager.cmi lib/frama-c/help_manager.cmo lib/frama-c/help_manager.cmx lib/frama-c/help_manager.o lib/frama-c/history.cmi lib/frama-c/history.cmo lib/frama-c/history.cmx lib/frama-c/history.o lib/frama-c/hook.cmi lib/frama-c/hook.cmo lib/frama-c/hook.cmx lib/frama-c/hook.o lib/frama-c/hptmap.cmi lib/frama-c/hptmap.cmo lib/frama-c/hptmap.cmx lib/frama-c/hptmap.o +lib/frama-c/hptmap_sig.cmi lib/frama-c/hptset.cmi lib/frama-c/hptset.cmo lib/frama-c/hptset.cmx lib/frama-c/hptset.o lib/frama-c/indexer.cmi lib/frama-c/indexer.cmo lib/frama-c/indexer.cmx lib/frama-c/indexer.o lib/frama-c/infer_annotations.cmi lib/frama-c/infer_annotations.cmo lib/frama-c/infer_annotations.cmx lib/frama-c/infer_annotations.o lib/frama-c/inout_type.cmi lib/frama-c/inout_type.cmo lib/frama-c/inout_type.cmx lib/frama-c/inout_type.o lib/frama-c/int_Base.cmi lib/frama-c/int_Base.cmo lib/frama-c/int_Base.cmx lib/frama-c/int_Base.o lib/frama-c/int_Intervals.cmi lib/frama-c/int_Intervals.cmo lib/frama-c/int_Intervals.cmx lib/frama-c/int_Intervals.o lib/frama-c/int_Intervals_sig.cmi lib/frama-c/integer.cmi lib/frama-c/integer.cmo lib/frama-c/integer.cmx lib/frama-c/integer.o lib/frama-c/ival.cmi lib/frama-c/ival.cmo lib/frama-c/ival.cmx lib/frama-c/ival.o lib/frama-c/journal.cmi lib/frama-c/journal.cmo lib/frama-c/journal.cmx lib/frama-c/journal.o +lib/frama-c/json.cmi +lib/frama-c/json.cmo +lib/frama-c/json.cmx +lib/frama-c/json.o lib/frama-c/kernel.cmi lib/frama-c/kernel.cmo lib/frama-c/kernel.cmx lib/frama-c/kernel.o lib/frama-c/kernel_function.cmi lib/frama-c/kernel_function.cmo lib/frama-c/kernel_function.cmx lib/frama-c/kernel_function.o +lib/frama-c/lattice_messages.cmi +lib/frama-c/lattice_messages.cmo +lib/frama-c/lattice_messages.cmx +lib/frama-c/lattice_messages.o lib/frama-c/lattice_type.cmi lib/frama-c/launcher.cmi lib/frama-c/launcher.cmo lib/frama-c/launcher.cmx lib/frama-c/launcher.o +lib/frama-c/leftistheap.cmi +lib/frama-c/leftistheap.cmo +lib/frama-c/leftistheap.cmx +lib/frama-c/leftistheap.o lib/frama-c/lexerhack.cmi lib/frama-c/lexerhack.cmo lib/frama-c/lexerhack.cmx lib/frama-c/lexerhack.o lib/frama-c/lmap.cmi lib/frama-c/lmap.cmo lib/frama-c/lmap.cmx lib/frama-c/lmap.o lib/frama-c/lmap_bitwise.cmi lib/frama-c/lmap_bitwise.cmo lib/frama-c/lmap_bitwise.cmx lib/frama-c/lmap_bitwise.o lib/frama-c/lmap_sig.cmi lib/frama-c/locations.cmi lib/frama-c/locations.cmo lib/frama-c/locations.cmx lib/frama-c/locations.o lib/frama-c/log.cmi lib/frama-c/log.cmo lib/frama-c/log.cmx lib/frama-c/log.o lib/frama-c/logic_builtin.cmi lib/frama-c/logic_builtin.cmo lib/frama-c/logic_builtin.cmx lib/frama-c/logic_builtin.o lib/frama-c/logic_const.cmi lib/frama-c/logic_const.cmo lib/frama-c/logic_const.cmx lib/frama-c/logic_const.o lib/frama-c/logic_env.cmi lib/frama-c/logic_env.cmo lib/frama-c/logic_env.cmx lib/frama-c/logic_env.o lib/frama-c/logic_interp.cmi lib/frama-c/logic_interp.cmo lib/frama-c/logic_interp.cmx lib/frama-c/logic_interp.o lib/frama-c/logic_lexer.cmi lib/frama-c/logic_lexer.cmo lib/frama-c/logic_lexer.cmx lib/frama-c/logic_lexer.o lib/frama-c/logic_parser.cmi lib/frama-c/logic_parser.cmo lib/frama-c/logic_parser.cmx lib/frama-c/logic_parser.o lib/frama-c/logic_preprocess.cmi lib/frama-c/logic_preprocess.cmo lib/frama-c/logic_preprocess.cmx lib/frama-c/logic_preprocess.o lib/frama-c/logic_print.cmi lib/frama-c/logic_print.cmo lib/frama-c/logic_print.cmx lib/frama-c/logic_print.o lib/frama-c/logic_ptree.cmi lib/frama-c/logic_typing.cmi lib/frama-c/logic_typing.cmo lib/frama-c/logic_typing.cmx lib/frama-c/logic_typing.o lib/frama-c/logic_utils.cmi lib/frama-c/logic_utils.cmo lib/frama-c/logic_utils.cmx lib/frama-c/logic_utils.o lib/frama-c/loop.cmi lib/frama-c/loop.cmo lib/frama-c/loop.cmx lib/frama-c/loop.o lib/frama-c/machdeps.cmi lib/frama-c/machdeps.cmo lib/frama-c/machdeps.cmx lib/frama-c/machdeps.o lib/frama-c/map_Lattice.cmi lib/frama-c/map_Lattice.cmo lib/frama-c/map_Lattice.cmx lib/frama-c/map_Lattice.o lib/frama-c/menu_manager.cmi lib/frama-c/menu_manager.cmo lib/frama-c/menu_manager.cmx lib/frama-c/menu_manager.o lib/frama-c/mergecil.cmi lib/frama-c/mergecil.cmo lib/frama-c/mergecil.cmx lib/frama-c/mergecil.o lib/frama-c/messages.cmi lib/frama-c/messages.cmo lib/frama-c/messages.cmx lib/frama-c/messages.o lib/frama-c/offsetmap.cmi lib/frama-c/offsetmap.cmo lib/frama-c/offsetmap.cmx lib/frama-c/offsetmap.o lib/frama-c/offsetmap_bitwise_sig.cmi lib/frama-c/offsetmap_lattice_with_isotropy.cmi lib/frama-c/offsetmap_sig.cmi lib/frama-c/oneret.cmi lib/frama-c/oneret.cmo lib/frama-c/oneret.cmx lib/frama-c/oneret.o lib/frama-c/ordered_stmt.cmi lib/frama-c/ordered_stmt.cmo lib/frama-c/ordered_stmt.cmx lib/frama-c/ordered_stmt.o lib/frama-c/origin.cmi lib/frama-c/origin.cmo lib/frama-c/origin.cmx lib/frama-c/origin.o lib/frama-c/parameter_builder.cmi lib/frama-c/parameter_builder.cmo lib/frama-c/parameter_builder.cmx lib/frama-c/parameter_builder.o lib/frama-c/parameter_category.cmi lib/frama-c/parameter_category.cmo lib/frama-c/parameter_category.cmx lib/frama-c/parameter_category.o lib/frama-c/parameter_customize.cmi lib/frama-c/parameter_customize.cmo lib/frama-c/parameter_customize.cmx lib/frama-c/parameter_customize.o lib/frama-c/parameter_sig.cmi lib/frama-c/parameter_state.cmi lib/frama-c/parameter_state.cmo lib/frama-c/parameter_state.cmx lib/frama-c/parameter_state.o lib/frama-c/pdgIndex.cmi lib/frama-c/pdgIndex.cmo lib/frama-c/pdgIndex.cmx lib/frama-c/pdgIndex.o lib/frama-c/pdgMarks.cmi lib/frama-c/pdgMarks.cmo lib/frama-c/pdgMarks.cmx lib/frama-c/pdgMarks.o lib/frama-c/pdgTypes.cmi lib/frama-c/pdgTypes.cmo lib/frama-c/pdgTypes.cmx lib/frama-c/pdgTypes.o lib/frama-c/plugin.cmi lib/frama-c/plugin.cmo lib/frama-c/plugin.cmx lib/frama-c/plugin.o lib/frama-c/plugins/Aorai.cmi -lib/frama-c/plugins/Aorai.cmo -lib/frama-c/plugins/Aorai.cmxs +lib/frama-c/plugins/Callgraph.cmi +lib/frama-c/plugins/Constant_Propagation.cmi +lib/frama-c/plugins/From.cmi +lib/frama-c/plugins/Impact.cmi +lib/frama-c/plugins/Inout.cmi +lib/frama-c/plugins/LoopAnalysis.cmi +lib/frama-c/plugins/META.frama-c-aorai +lib/frama-c/plugins/META.frama-c-callgraph +lib/frama-c/plugins/META.frama-c-constant_propagation +lib/frama-c/plugins/META.frama-c-from +lib/frama-c/plugins/META.frama-c-impact +lib/frama-c/plugins/META.frama-c-inout +lib/frama-c/plugins/META.frama-c-loopanalysis +lib/frama-c/plugins/META.frama-c-metrics +lib/frama-c/plugins/META.frama-c-nonterm +lib/frama-c/plugins/META.frama-c-obfuscator +lib/frama-c/plugins/META.frama-c-occurrence +lib/frama-c/plugins/META.frama-c-pdg +lib/frama-c/plugins/META.frama-c-postdominators +lib/frama-c/plugins/META.frama-c-print_api +lib/frama-c/plugins/META.frama-c-report +lib/frama-c/plugins/META.frama-c-rtegen +lib/frama-c/plugins/META.frama-c-scope +lib/frama-c/plugins/META.frama-c-security_slicing +lib/frama-c/plugins/META.frama-c-slicing +lib/frama-c/plugins/META.frama-c-sparecode +lib/frama-c/plugins/META.frama-c-users +lib/frama-c/plugins/META.frama-c-value +lib/frama-c/plugins/META.frama-c-variadic +lib/frama-c/plugins/META.frama-c-wp +lib/frama-c/plugins/Metrics.cmi +lib/frama-c/plugins/Nonterm.cmi lib/frama-c/plugins/Obfuscator.cmi -lib/frama-c/plugins/Obfuscator.cmo -lib/frama-c/plugins/Obfuscator.cmxs +lib/frama-c/plugins/Occurrence.cmi +lib/frama-c/plugins/Pdg.cmi +lib/frama-c/plugins/Postdominators.cmi +lib/frama-c/plugins/Print_api.cmi lib/frama-c/plugins/Report.cmi -lib/frama-c/plugins/Report.cmo -lib/frama-c/plugins/Report.cmxs +lib/frama-c/plugins/RteGen.cmi +lib/frama-c/plugins/Scope.cmi lib/frama-c/plugins/Security_slicing.cmi -lib/frama-c/plugins/Security_slicing.cmo -lib/frama-c/plugins/Security_slicing.cmxs -lib/frama-c/plugins/Wp.cma +lib/frama-c/plugins/Slicing.cmi +lib/frama-c/plugins/Sparecode.cmi +lib/frama-c/plugins/Users.cmi +lib/frama-c/plugins/Value.cmi +lib/frama-c/plugins/Variadic.cmi lib/frama-c/plugins/Wp.cmi -lib/frama-c/plugins/Wp.cmxs +lib/frama-c/plugins/gui/Callgraph.cmi +lib/frama-c/plugins/gui/Callgraph.cmo +lib/frama-c/plugins/gui/Callgraph.cmxs +lib/frama-c/plugins/gui/From.cmi +lib/frama-c/plugins/gui/From.cmo +lib/frama-c/plugins/gui/From.cmxs +lib/frama-c/plugins/gui/Impact.cmi +lib/frama-c/plugins/gui/Impact.cmo +lib/frama-c/plugins/gui/Impact.cmxs +lib/frama-c/plugins/gui/Metrics.cmi +lib/frama-c/plugins/gui/Metrics.cmo +lib/frama-c/plugins/gui/Metrics.cmxs +lib/frama-c/plugins/gui/Occurrence.cmi +lib/frama-c/plugins/gui/Occurrence.cmo +lib/frama-c/plugins/gui/Occurrence.cmxs +lib/frama-c/plugins/gui/Scope.cmi +lib/frama-c/plugins/gui/Scope.cmo +lib/frama-c/plugins/gui/Scope.cmxs lib/frama-c/plugins/gui/Security_slicing.cmi lib/frama-c/plugins/gui/Security_slicing.cmo lib/frama-c/plugins/gui/Security_slicing.cmxs +lib/frama-c/plugins/gui/Slicing.cmi +lib/frama-c/plugins/gui/Slicing.cmo +lib/frama-c/plugins/gui/Slicing.cmxs +lib/frama-c/plugins/gui/Value.cmi +lib/frama-c/plugins/gui/Value.cmo +lib/frama-c/plugins/gui/Value.cmxs lib/frama-c/plugins/gui/Wp.cma lib/frama-c/plugins/gui/Wp.cmi lib/frama-c/plugins/gui/Wp.cmxs +lib/frama-c/plugins/top/Aorai.cmo +lib/frama-c/plugins/top/Aorai.cmx +lib/frama-c/plugins/top/Aorai.cmxs +lib/frama-c/plugins/top/Callgraph.cmo +lib/frama-c/plugins/top/Callgraph.cmx +lib/frama-c/plugins/top/Callgraph.cmxs +lib/frama-c/plugins/top/Constant_Propagation.cmo +lib/frama-c/plugins/top/Constant_Propagation.cmx +lib/frama-c/plugins/top/Constant_Propagation.cmxs +lib/frama-c/plugins/top/From.cmo +lib/frama-c/plugins/top/From.cmx +lib/frama-c/plugins/top/From.cmxs +lib/frama-c/plugins/top/Impact.cmo +lib/frama-c/plugins/top/Impact.cmx +lib/frama-c/plugins/top/Impact.cmxs +lib/frama-c/plugins/top/Inout.cmo +lib/frama-c/plugins/top/Inout.cmx +lib/frama-c/plugins/top/Inout.cmxs +lib/frama-c/plugins/top/LoopAnalysis.cmo +lib/frama-c/plugins/top/LoopAnalysis.cmx +lib/frama-c/plugins/top/LoopAnalysis.cmxs +lib/frama-c/plugins/top/Metrics.cmo +lib/frama-c/plugins/top/Metrics.cmx +lib/frama-c/plugins/top/Metrics.cmxs +lib/frama-c/plugins/top/Nonterm.cmo +lib/frama-c/plugins/top/Nonterm.cmx +lib/frama-c/plugins/top/Nonterm.cmxs +lib/frama-c/plugins/top/Obfuscator.cmo +lib/frama-c/plugins/top/Obfuscator.cmx +lib/frama-c/plugins/top/Obfuscator.cmxs +lib/frama-c/plugins/top/Occurrence.cmo +lib/frama-c/plugins/top/Occurrence.cmx +lib/frama-c/plugins/top/Occurrence.cmxs +lib/frama-c/plugins/top/Pdg.cmo +lib/frama-c/plugins/top/Pdg.cmx +lib/frama-c/plugins/top/Pdg.cmxs +lib/frama-c/plugins/top/Postdominators.cmo +lib/frama-c/plugins/top/Postdominators.cmx +lib/frama-c/plugins/top/Postdominators.cmxs +lib/frama-c/plugins/top/Print_api.cmo +lib/frama-c/plugins/top/Print_api.cmx +lib/frama-c/plugins/top/Print_api.cmxs +lib/frama-c/plugins/top/Report.cmo +lib/frama-c/plugins/top/Report.cmx +lib/frama-c/plugins/top/Report.cmxs +lib/frama-c/plugins/top/RteGen.cmo +lib/frama-c/plugins/top/RteGen.cmx +lib/frama-c/plugins/top/RteGen.cmxs +lib/frama-c/plugins/top/Scope.cmo +lib/frama-c/plugins/top/Scope.cmx +lib/frama-c/plugins/top/Scope.cmxs +lib/frama-c/plugins/top/Security_slicing.cmo +lib/frama-c/plugins/top/Security_slicing.cmx +lib/frama-c/plugins/top/Security_slicing.cmxs +lib/frama-c/plugins/top/Slicing.cmo +lib/frama-c/plugins/top/Slicing.cmx +lib/frama-c/plugins/top/Slicing.cmxs +lib/frama-c/plugins/top/Sparecode.cmo +lib/frama-c/plugins/top/Sparecode.cmx +lib/frama-c/plugins/top/Sparecode.cmxs +lib/frama-c/plugins/top/Users.cmo +lib/frama-c/plugins/top/Users.cmx +lib/frama-c/plugins/top/Users.cmxs +lib/frama-c/plugins/top/Value.cmo +lib/frama-c/plugins/top/Value.cmx +lib/frama-c/plugins/top/Value.cmxs +lib/frama-c/plugins/top/Variadic.cmo +lib/frama-c/plugins/top/Variadic.cmx +lib/frama-c/plugins/top/Variadic.cmxs +lib/frama-c/plugins/top/Wp.cma +lib/frama-c/plugins/top/Wp.cmx +lib/frama-c/plugins/top/Wp.cmxa +lib/frama-c/plugins/top/Wp.cmxs lib/frama-c/precise_locs.cmi lib/frama-c/precise_locs.cmo lib/frama-c/precise_locs.cmx lib/frama-c/precise_locs.o lib/frama-c/pretty_source.cmi lib/frama-c/pretty_source.cmo lib/frama-c/pretty_source.cmx lib/frama-c/pretty_source.o lib/frama-c/pretty_utils.cmi lib/frama-c/pretty_utils.cmo lib/frama-c/pretty_utils.cmx lib/frama-c/pretty_utils.o lib/frama-c/printer.cmi lib/frama-c/printer.cmo lib/frama-c/printer.cmx lib/frama-c/printer.o lib/frama-c/printer_api.cmi lib/frama-c/printer_builder.cmi lib/frama-c/printer_builder.cmo lib/frama-c/printer_builder.cmx lib/frama-c/printer_builder.o lib/frama-c/project.cmi lib/frama-c/project.cmo lib/frama-c/project.cmx lib/frama-c/project.o lib/frama-c/project_manager.cmi lib/frama-c/project_manager.cmo lib/frama-c/project_manager.cmx lib/frama-c/project_manager.o lib/frama-c/project_skeleton.cmi lib/frama-c/project_skeleton.cmo lib/frama-c/project_skeleton.cmx lib/frama-c/project_skeleton.o lib/frama-c/property.cmi lib/frama-c/property.cmo lib/frama-c/property.cmx lib/frama-c/property.o lib/frama-c/property_navigator.cmi lib/frama-c/property_navigator.cmo lib/frama-c/property_navigator.cmx lib/frama-c/property_navigator.o lib/frama-c/property_status.cmi lib/frama-c/property_status.cmo lib/frama-c/property_status.cmx lib/frama-c/property_status.o lib/frama-c/ptests_config.cmi lib/frama-c/ptests_config.cmx lib/frama-c/ptests_config.o lib/frama-c/qstack.cmi lib/frama-c/qstack.cmo lib/frama-c/qstack.cmx lib/frama-c/qstack.o lib/frama-c/rangemap.cmi lib/frama-c/rangemap.cmo lib/frama-c/rangemap.cmx lib/frama-c/rangemap.o +lib/frama-c/rgmap.cmi +lib/frama-c/rgmap.cmo +lib/frama-c/rgmap.cmx +lib/frama-c/rgmap.o lib/frama-c/rmtmps.cmi lib/frama-c/rmtmps.cmo lib/frama-c/rmtmps.cmx lib/frama-c/rmtmps.o lib/frama-c/service_graph.cmi lib/frama-c/service_graph.cmo lib/frama-c/service_graph.cmx lib/frama-c/service_graph.o lib/frama-c/slicingInternals.cmi lib/frama-c/slicingInternals.cmo lib/frama-c/slicingInternals.cmx lib/frama-c/slicingInternals.o lib/frama-c/slicingTypes.cmi lib/frama-c/slicingTypes.cmo lib/frama-c/slicingTypes.cmx lib/frama-c/slicingTypes.o lib/frama-c/source_manager.cmi lib/frama-c/source_manager.cmo lib/frama-c/source_manager.cmx lib/frama-c/source_manager.o lib/frama-c/source_viewer.cmi lib/frama-c/source_viewer.cmo lib/frama-c/source_viewer.cmx lib/frama-c/source_viewer.o lib/frama-c/special_hooks.cmi lib/frama-c/special_hooks.cmo lib/frama-c/special_hooks.cmx lib/frama-c/special_hooks.o lib/frama-c/state.cmi lib/frama-c/state.cmo lib/frama-c/state.cmx lib/frama-c/state.o lib/frama-c/state_builder.cmi lib/frama-c/state_builder.cmo lib/frama-c/state_builder.cmx lib/frama-c/state_builder.o lib/frama-c/state_dependency_graph.cmi lib/frama-c/state_dependency_graph.cmo lib/frama-c/state_dependency_graph.cmx lib/frama-c/state_dependency_graph.o lib/frama-c/state_selection.cmi lib/frama-c/state_selection.cmo lib/frama-c/state_selection.cmx lib/frama-c/state_selection.o lib/frama-c/state_topological.cmi lib/frama-c/state_topological.cmo lib/frama-c/state_topological.cmx lib/frama-c/state_topological.o lib/frama-c/statuses_by_call.cmi lib/frama-c/statuses_by_call.cmo lib/frama-c/statuses_by_call.cmx lib/frama-c/statuses_by_call.o lib/frama-c/stmts_graph.cmi lib/frama-c/stmts_graph.cmo lib/frama-c/stmts_graph.cmx lib/frama-c/stmts_graph.o lib/frama-c/structural_descr.cmi lib/frama-c/structural_descr.cmo lib/frama-c/structural_descr.cmx lib/frama-c/structural_descr.o -lib/frama-c/sysutil.cmi -lib/frama-c/sysutil.cmo -lib/frama-c/sysutil.cmx -lib/frama-c/sysutil.o lib/frama-c/task.cmi lib/frama-c/task.cmo lib/frama-c/task.cmx lib/frama-c/task.o -lib/frama-c/toolbox.cmi -lib/frama-c/toolbox.cmo -lib/frama-c/toolbox.cmx -lib/frama-c/toolbox.o lib/frama-c/tr_offset.cmi lib/frama-c/tr_offset.cmo lib/frama-c/tr_offset.cmx lib/frama-c/tr_offset.o lib/frama-c/trace.cmi lib/frama-c/trace.cmo lib/frama-c/trace.cmx lib/frama-c/trace.o +lib/frama-c/transitioning.cmi +lib/frama-c/transitioning.cmo +lib/frama-c/transitioning.cmx +lib/frama-c/transitioning.o lib/frama-c/translate_lightweight.cmi lib/frama-c/translate_lightweight.cmo lib/frama-c/translate_lightweight.cmx lib/frama-c/translate_lightweight.o lib/frama-c/type.cmi lib/frama-c/type.cmo lib/frama-c/type.cmx lib/frama-c/type.o lib/frama-c/typed_parameter.cmi lib/frama-c/typed_parameter.cmo lib/frama-c/typed_parameter.cmx lib/frama-c/typed_parameter.o lib/frama-c/unicode.cmi lib/frama-c/unicode.cmo lib/frama-c/unicode.cmx lib/frama-c/unicode.o lib/frama-c/unmarshal.cmi lib/frama-c/unmarshal.cmo lib/frama-c/unmarshal.cmx lib/frama-c/unmarshal.o lib/frama-c/unmarshal_nums.cmi lib/frama-c/unmarshal_nums.cmo lib/frama-c/unmarshal_nums.cmx lib/frama-c/unmarshal_nums.o +lib/frama-c/unmarshal_z.cmi +lib/frama-c/unmarshal_z.cmo +lib/frama-c/unmarshal_z.cmx +lib/frama-c/unmarshal_z.o lib/frama-c/unroll_loops.cmi lib/frama-c/unroll_loops.cmo lib/frama-c/unroll_loops.cmx lib/frama-c/unroll_loops.o lib/frama-c/utf8_logic.cmi lib/frama-c/utf8_logic.cmo lib/frama-c/utf8_logic.cmx lib/frama-c/utf8_logic.o -lib/frama-c/value_messages.cmi -lib/frama-c/value_messages.cmo -lib/frama-c/value_messages.cmx -lib/frama-c/value_messages.o lib/frama-c/value_types.cmi lib/frama-c/value_types.cmo lib/frama-c/value_types.cmx lib/frama-c/value_types.o lib/frama-c/vector.cmi lib/frama-c/vector.cmo lib/frama-c/vector.cmx lib/frama-c/vector.o lib/frama-c/visitor.cmi lib/frama-c/visitor.cmo lib/frama-c/visitor.cmx lib/frama-c/visitor.o lib/frama-c/warning_manager.cmi lib/frama-c/warning_manager.cmo lib/frama-c/warning_manager.cmx lib/frama-c/warning_manager.o +lib/frama-c/wbox.cmi +lib/frama-c/wbox.cmo +lib/frama-c/wbox.cmx +lib/frama-c/wbox.o +lib/frama-c/wfile.cmi +lib/frama-c/wfile.cmo +lib/frama-c/wfile.cmx +lib/frama-c/wfile.o lib/frama-c/widen_type.cmi lib/frama-c/widen_type.cmo lib/frama-c/widen_type.cmx lib/frama-c/widen_type.o -man/man1/frama-c-gui.1.gz -man/man1/frama-c.1.gz -share/emacs/site-lisp/acsl.el +lib/frama-c/widget.cmi +lib/frama-c/widget.cmo +lib/frama-c/widget.cmx +lib/frama-c/widget.o +lib/frama-c/wpalette.cmi +lib/frama-c/wpalette.cmo +lib/frama-c/wpalette.cmx +lib/frama-c/wpalette.o +lib/frama-c/wpane.cmi +lib/frama-c/wpane.cmo +lib/frama-c/wpane.cmx +lib/frama-c/wpane.o +lib/frama-c/wtable.cmi +lib/frama-c/wtable.cmo +lib/frama-c/wtable.cmx +lib/frama-c/wtable.o +lib/frama-c/wtext.cmi +lib/frama-c/wtext.cmo +lib/frama-c/wtext.cmx +lib/frama-c/wtext.o +lib/frama-c/wto.cmi +lib/frama-c/wto.cmo +lib/frama-c/wto.cmx +lib/frama-c/wto.o +lib/frama-c/wto_statement.cmi +lib/frama-c/wto_statement.cmo +lib/frama-c/wto_statement.cmx +lib/frama-c/wto_statement.o +lib/frama-c/wutil.cmi +lib/frama-c/wutil.cmo +lib/frama-c/wutil.cmx +lib/frama-c/wutil.o %%DATADIR%%/Makefile.common %%DATADIR%%/Makefile.config %%DATADIR%%/Makefile.dynamic %%DATADIR%%/Makefile.dynamic_config %%DATADIR%%/Makefile.generic %%DATADIR%%/Makefile.kernel -%%DATADIR%%/Makefile.plugin -%%DATADIR%%/acsl.el -%%DATADIR%%/builtin.c +%%DATADIR%%/Makefile.plugin.template %%DATADIR%%/builtin.h %%DATADIR%%/configure.ac -%%DATADIR%%/doc/code/docgen_ge400.ml -%%DATADIR%%/doc/code/docgen_lt400.ml +%%DATADIR%%/doc/code/docgen.ml %%DATADIR%%/doc/code/intro_kernel_plugin.txt %%DATADIR%%/doc/code/intro_plugin.txt %%DATADIR%%/doc/code/intro_plugin_default.txt %%DATADIR%%/doc/code/style.css %%DATADIR%%/doc/code/toc_head.htm %%DATADIR%%/doc/code/toc_tail.htm -%%DATADIR%%/frama-c.gif +%%DATADIR%%/emacs/acsl.el +%%DATADIR%%/emacs/frama-c-dev.el +%%DATADIR%%/emacs/frama-c-init.el +%%DATADIR%%/emacs/frama-c-recommended.el %%DATADIR%%/frama-c.ico +%%DATADIR%%/frama-c.png %%DATADIR%%/frama-c.rc %%DATADIR%%/libc.c -%%DATADIR%%/libc.h +%%DATADIR%%/libc/__fc_builtin.c %%DATADIR%%/libc/__fc_builtin.h %%DATADIR%%/libc/__fc_builtin_for_normalization.i %%DATADIR%%/libc/__fc_define_blkcnt_t.h %%DATADIR%%/libc/__fc_define_blksize_t.h %%DATADIR%%/libc/__fc_define_dev_t.h +%%DATADIR%%/libc/__fc_define_eof.h %%DATADIR%%/libc/__fc_define_fd_set_t.h %%DATADIR%%/libc/__fc_define_file.h %%DATADIR%%/libc/__fc_define_fpos_t.h %%DATADIR%%/libc/__fc_define_id_t.h %%DATADIR%%/libc/__fc_define_ino_t.h %%DATADIR%%/libc/__fc_define_intptr_t.h %%DATADIR%%/libc/__fc_define_iovec.h %%DATADIR%%/libc/__fc_define_mode_t.h %%DATADIR%%/libc/__fc_define_nlink_t.h %%DATADIR%%/libc/__fc_define_null.h %%DATADIR%%/libc/__fc_define_off_t.h %%DATADIR%%/libc/__fc_define_pid_t.h -%%DATADIR%%/libc/__fc_define_restrict.h %%DATADIR%%/libc/__fc_define_sa_family_t.h %%DATADIR%%/libc/__fc_define_seek_macros.h %%DATADIR%%/libc/__fc_define_sigset_t.h %%DATADIR%%/libc/__fc_define_size_t.h %%DATADIR%%/libc/__fc_define_sockaddr.h %%DATADIR%%/libc/__fc_define_ssize_t.h %%DATADIR%%/libc/__fc_define_stat.h %%DATADIR%%/libc/__fc_define_suseconds_t.h %%DATADIR%%/libc/__fc_define_time_t.h %%DATADIR%%/libc/__fc_define_timespec.h %%DATADIR%%/libc/__fc_define_uid_and_gid.h %%DATADIR%%/libc/__fc_define_useconds_t.h %%DATADIR%%/libc/__fc_define_wchar_t.h %%DATADIR%%/libc/__fc_define_wint_t.h %%DATADIR%%/libc/__fc_machdep.h %%DATADIR%%/libc/__fc_machdep_linux_gcc_shared.h %%DATADIR%%/libc/__fc_select.h %%DATADIR%%/libc/__fc_string_axiomatic.h %%DATADIR%%/libc/arpa/inet.h +%%DATADIR%%/libc/assert.c %%DATADIR%%/libc/assert.h %%DATADIR%%/libc/byteswap.h %%DATADIR%%/libc/complex.h +%%DATADIR%%/libc/ctype.c %%DATADIR%%/libc/ctype.h %%DATADIR%%/libc/dirent.h %%DATADIR%%/libc/dlfcn.h %%DATADIR%%/libc/endian.h +%%DATADIR%%/libc/errno.c %%DATADIR%%/libc/errno.h +%%DATADIR%%/libc/fc_runtime.c %%DATADIR%%/libc/fcntl.h %%DATADIR%%/libc/features.h %%DATADIR%%/libc/fenv.h %%DATADIR%%/libc/float.h +%%DATADIR%%/libc/getopt.c %%DATADIR%%/libc/getopt.h %%DATADIR%%/libc/glob.h %%DATADIR%%/libc/grp.h %%DATADIR%%/libc/iconv.h %%DATADIR%%/libc/ifaddrs.h +%%DATADIR%%/libc/inttypes.c %%DATADIR%%/libc/inttypes.h %%DATADIR%%/libc/iso646.h %%DATADIR%%/libc/libgen.h %%DATADIR%%/libc/libintl.h %%DATADIR%%/libc/limits.h %%DATADIR%%/libc/linux/fs.h %%DATADIR%%/libc/linux/if_addr.h %%DATADIR%%/libc/linux/if_netlink.h %%DATADIR%%/libc/linux/netlink.h %%DATADIR%%/libc/linux/rtnetlink.h +%%DATADIR%%/libc/locale.c %%DATADIR%%/libc/locale.h +%%DATADIR%%/libc/math.c %%DATADIR%%/libc/math.h %%DATADIR%%/libc/net/if.h %%DATADIR%%/libc/netdb.h %%DATADIR%%/libc/netinet/in.h %%DATADIR%%/libc/netinet/in_systm.h %%DATADIR%%/libc/netinet/ip.h %%DATADIR%%/libc/netinet/ip_icmp.h %%DATADIR%%/libc/nl_types.h %%DATADIR%%/libc/pwd.h %%DATADIR%%/libc/regex.h %%DATADIR%%/libc/setjmp.h %%DATADIR%%/libc/signal.h %%DATADIR%%/libc/stdarg.h %%DATADIR%%/libc/stdbool.h %%DATADIR%%/libc/stddef.h %%DATADIR%%/libc/stdint.h +%%DATADIR%%/libc/stdio.c %%DATADIR%%/libc/stdio.h +%%DATADIR%%/libc/stdlib.c %%DATADIR%%/libc/stdlib.h +%%DATADIR%%/libc/string.c %%DATADIR%%/libc/string.h %%DATADIR%%/libc/strings.h %%DATADIR%%/libc/sys/ioctl.h %%DATADIR%%/libc/sys/param.h %%DATADIR%%/libc/sys/resource.h %%DATADIR%%/libc/sys/select.h %%DATADIR%%/libc/sys/socket.h %%DATADIR%%/libc/sys/stat.h %%DATADIR%%/libc/sys/sysctl.h %%DATADIR%%/libc/sys/time.h +%%DATADIR%%/libc/sys/times.h %%DATADIR%%/libc/sys/types.h %%DATADIR%%/libc/sys/uio.h %%DATADIR%%/libc/sys/un.h %%DATADIR%%/libc/sys/wait.h %%DATADIR%%/libc/syslog.h %%DATADIR%%/libc/termios.h %%DATADIR%%/libc/tgmath.h %%DATADIR%%/libc/time.h %%DATADIR%%/libc/uchar.h %%DATADIR%%/libc/unistd.h +%%DATADIR%%/libc/wchar.c %%DATADIR%%/libc/wchar.h %%DATADIR%%/libc/wctype.h -%%DATADIR%%/machine.h -%%DATADIR%%/math.c -%%DATADIR%%/math.h +%%DATADIR%%/machdep.c +%%DATADIR%%/switch-off.png +%%DATADIR%%/switch-on.png %%DATADIR%%/theme/colorblind/considered_valid.png %%DATADIR%%/theme/colorblind/inconsistent.png %%DATADIR%%/theme/colorblind/invalid_but_dead.png %%DATADIR%%/theme/colorblind/invalid_under_hyp.png %%DATADIR%%/theme/colorblind/never_tried.png %%DATADIR%%/theme/colorblind/surely_invalid.png %%DATADIR%%/theme/colorblind/surely_valid.png -%%DATADIR%%/theme/colorblind/switch-off.png -%%DATADIR%%/theme/colorblind/switch-on.png %%DATADIR%%/theme/colorblind/unknown.png %%DATADIR%%/theme/colorblind/unknown_but_dead.png %%DATADIR%%/theme/colorblind/valid_but_dead.png %%DATADIR%%/theme/colorblind/valid_under_hyp.png %%DATADIR%%/theme/default/considered_valid.png %%DATADIR%%/theme/default/inconsistent.png %%DATADIR%%/theme/default/invalid_but_dead.png %%DATADIR%%/theme/default/invalid_under_hyp.png %%DATADIR%%/theme/default/never_tried.png %%DATADIR%%/theme/default/surely_invalid.png %%DATADIR%%/theme/default/surely_valid.png -%%DATADIR%%/theme/default/switch-off.png -%%DATADIR%%/theme/default/switch-on.png %%DATADIR%%/theme/default/unknown.png %%DATADIR%%/theme/default/unknown_but_dead.png %%DATADIR%%/theme/default/valid_but_dead.png %%DATADIR%%/theme/default/valid_under_hyp.png %%DATADIR%%/unmark.png %%DATADIR%%/wp/coqwp/Bits.v %%DATADIR%%/wp/coqwp/BuiltIn.v %%DATADIR%%/wp/coqwp/Cbits.v %%DATADIR%%/wp/coqwp/Cfloat.v %%DATADIR%%/wp/coqwp/Cint.v %%DATADIR%%/wp/coqwp/Cmath.v %%DATADIR%%/wp/coqwp/Memory.v %%DATADIR%%/wp/coqwp/Qed.v %%DATADIR%%/wp/coqwp/Qedlib.v +%%DATADIR%%/wp/coqwp/Vlist.v %%DATADIR%%/wp/coqwp/Vset.v %%DATADIR%%/wp/coqwp/Zbits.v %%DATADIR%%/wp/coqwp/bool/Bool.v %%DATADIR%%/wp/coqwp/int/Abs.v %%DATADIR%%/wp/coqwp/int/ComputerDivision.v %%DATADIR%%/wp/coqwp/int/Int.v %%DATADIR%%/wp/coqwp/int/MinMax.v %%DATADIR%%/wp/coqwp/map/Map.v %%DATADIR%%/wp/coqwp/real/Abs.v %%DATADIR%%/wp/coqwp/real/FromInt.v %%DATADIR%%/wp/coqwp/real/MinMax.v %%DATADIR%%/wp/coqwp/real/Real.v %%DATADIR%%/wp/coqwp/real/RealInfix.v %%DATADIR%%/wp/coqwp/real/Square.v %%DATADIR%%/wp/ergo/Cbits.mlw %%DATADIR%%/wp/ergo/Cfloat.mlw %%DATADIR%%/wp/ergo/Cint.mlw %%DATADIR%%/wp/ergo/Cmath.mlw %%DATADIR%%/wp/ergo/Memory.mlw %%DATADIR%%/wp/ergo/Qed.mlw +%%DATADIR%%/wp/ergo/Vlist.mlw %%DATADIR%%/wp/ergo/Vset.mlw %%DATADIR%%/wp/ergo/bool.Bool.mlw %%DATADIR%%/wp/ergo/int.Abs.mlw %%DATADIR%%/wp/ergo/int.ComputerDivision.mlw %%DATADIR%%/wp/ergo/int.Int.mlw %%DATADIR%%/wp/ergo/int.MinMax.mlw %%DATADIR%%/wp/ergo/map.Map.mlw %%DATADIR%%/wp/ergo/real.Abs.mlw %%DATADIR%%/wp/ergo/real.FromInt.mlw %%DATADIR%%/wp/ergo/real.MinMax.mlw %%DATADIR%%/wp/ergo/real.Real.mlw %%DATADIR%%/wp/ergo/real.RealInfix.mlw %%DATADIR%%/wp/ergo/real.Square.mlw %%DATADIR%%/wp/why3/Bits.v %%DATADIR%%/wp/why3/Cbits.v %%DATADIR%%/wp/why3/Cbits.why %%DATADIR%%/wp/why3/Cfloat.v %%DATADIR%%/wp/why3/Cfloat.why %%DATADIR%%/wp/why3/Cint.v %%DATADIR%%/wp/why3/Cint.why %%DATADIR%%/wp/why3/Cmath.v %%DATADIR%%/wp/why3/Cmath.why %%DATADIR%%/wp/why3/Memory.v %%DATADIR%%/wp/why3/Memory.why %%DATADIR%%/wp/why3/Qed.v %%DATADIR%%/wp/why3/Qed.why %%DATADIR%%/wp/why3/Qedlib.v +%%DATADIR%%/wp/why3/Vlist.v +%%DATADIR%%/wp/why3/Vlist.why %%DATADIR%%/wp/why3/Vset.v %%DATADIR%%/wp/why3/Vset.why %%DATADIR%%/wp/why3/Zbits.v %%DATADIR%%/wp/why3/coq.drv %%DATADIR%%/wp/why3/why3.conf %%DATADIR%%/wp/wp.driver +man/man1/frama-c-gui.1.gz +man/man1/frama-c.1.gz +share/emacs/site-lisp/acsl.el +share/emacs/site-lisp/frama-c-dev.el +share/emacs/site-lisp/frama-c-init.el +share/emacs/site-lisp/frama-c-recommended.el @dir lib/frama-c/plugins/gui