From owner-svn-ports-all@FreeBSD.ORG Wed May 7 20:47:38 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 24B099E7; Wed, 7 May 2014 20:47:38 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 105CFC89; Wed, 7 May 2014 20:47:38 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s47Klc95078327; Wed, 7 May 2014 20:47:38 GMT (envelope-from marino@svn.freebsd.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s47Klb92078322; Wed, 7 May 2014 20:47:37 GMT (envelope-from marino@svn.freebsd.org) Message-Id: <201405072047.s47Klb92078322@svn.freebsd.org> From: John Marino Date: Wed, 7 May 2014 20:47:37 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r353205 - in head/devel/frama-c: . files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 May 2014 20:47:38 -0000 Author: marino Date: Wed May 7 20:47:36 2014 New Revision: 353205 URL: http://svnweb.freebsd.org/changeset/ports/353205 QAT: https://qat.redports.org/buildarchive/r353205/ Log: devel/frama-c: Update version Oxygen => Neon to unbreak and stage Oxygen is from Sept 2012, and Neon is from Mar 2014. Stage support was added along with some minor cleanup. A major patch from Debian was required to support OcamlGraph 1.8.5. It has been broken since Ocaml was updated to 4.01. Work covered by Staging blanket. Added: head/devel/frama-c/files/ head/devel/frama-c/files/patch-Support_OCamlgraph185 (contents, props changed) Modified: head/devel/frama-c/Makefile head/devel/frama-c/distinfo head/devel/frama-c/pkg-descr head/devel/frama-c/pkg-plist Modified: head/devel/frama-c/Makefile ============================================================================== --- head/devel/frama-c/Makefile Wed May 7 20:42:38 2014 (r353204) +++ head/devel/frama-c/Makefile Wed May 7 20:47:36 2014 (r353205) @@ -2,8 +2,8 @@ # $FreeBSD$ PORTNAME= frama-c -DISTVERSIONPREFIX= Oxygen- -DISTVERSION= 20120901 +DISTVERSIONPREFIX= Neon- +DISTVERSION= 20140301 CATEGORIES= devel MASTER_SITES= http://frama-c.com/download/ LOCAL/bf @@ -15,21 +15,19 @@ LICENSE= LGPL21 BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph +USES= gmake +USE_OCAML= yes GNU_CONFIGURE= yes CONFIGURE_ARGS+= --with-cpp="${FRAMAC_DEFAULT_CPP}" -MAKE_ENV+= FRAMAC_LIBDIR="${PREFIX}/lib/frama-c" -MAN1= frama-c.1 frama-c-gui.1 +MAKE_ENV+= FRAMAC_LIBDIR="${STAGEDIR}${PREFIX}/lib/frama-c" -OPTIONS_DEFINE= ALTERGO COQ GUI PLUGINS -OPTIONS_DEFAULT= ALTERGO GUI PLUGINS +OPTIONS_DEFINE= ALTERGO COQ GUI PLUGINS +OPTIONS_DEFAULT=ALTERGO GUI PLUGINS +OPTIONS_SUB= yes ALTERGO_DESC= Alt-Ergo plugin (requires PLUGINS) COQ_DESC= Coq plugin (requires PLUGINS) GUI_DESC= Graphical User Interface (requires PLUGINS) -USE_GMAKE= yes -USE_OCAML= yes - -NO_STAGE= yes .include FRAMAC_DEFAULT_CPP?= ${CPP} -C -I${DATADIR}/libc -I. @@ -38,44 +36,40 @@ FRAMAC_DEFAULT_CPP?= ${CPP} -C -I${DATAD .if !${PORT_OPTIONS:MPLUGINS} IGNORE= the Alt-Ergo plugin requires the PLUGINS option to be enabled .endif -BUILD_DEPENDS += alt-ergo:${PORTSDIR}/math/alt-ergo +BUILD_DEPENDS+= alt-ergo:${PORTSDIR}/math/alt-ergo RUN_DEPENDS+= alt-ergo:${PORTSDIR}/math/alt-ergo .else -CONFIGURE_ENV += HAS_ALTERGO=no +CONFIGURE_ENV+= HAS_ALTERGO=no .endif .if ${PORT_OPTIONS:MCOQ} .if !${PORT_OPTIONS:MPLUGINS} IGNORE= the Coq plugin requires the PLUGINS option to be enabled .endif -BUILD_DEPENDS += coqc:${PORTSDIR}/math/coq +BUILD_DEPENDS+= coqc:${PORTSDIR}/math/coq RUN_DEPENDS+= coqc:${PORTSDIR}/math/coq .else -CONFIGURE_ENV += HAS_COQ=no +CONFIGURE_ENV+= HAS_COQ=no .endif .if ${PORT_OPTIONS:MGUI} .if !${PORT_OPTIONS:MPLUGINS} IGNORE= the GUI requires the PLUGINS option to be enabled .endif -BUILD_DEPENDS += lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 +BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 RUN_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 CONFIGURE_ARGS+= --enable-gui -PLIST_SUB+= GUI="" .else CONFIGURE_ARGS+= --disable-gui -PLIST_SUB+= GUI="@comment " .endif .if ${PORT_OPTIONS:MPLUGINS} -BUILD_DEPENDS += dot:${PORTSDIR}/graphics/graphviz \ +BUILD_DEPENDS+= dot:${PORTSDIR}/graphics/graphviz \ ltl2ba:${PORTSDIR}/math/ltl2ba RUN_DEPENDS+= dot:${PORTSDIR}/graphics/graphviz \ ltl2ba:${PORTSDIR}/math/ltl2ba -PLIST_SUB+= PLUGINS="" .else CONFIGURE_ARGS+= --with-no-plugin -PLIST_SUB+= PLUGINS="@comment " .endif post-patch: @@ -119,8 +113,8 @@ pre-configure: .endif post-install: - @${TOUCH} ${PREFIX}/lib/frama-c/plugins/.keep_me \ - ${PREFIX}/lib/frama-c/plugins/gui/.keep_me + @${TOUCH} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/.keep_me \ + ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/gui/.keep_me check regression-test test: build @cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \ Modified: head/devel/frama-c/distinfo ============================================================================== --- head/devel/frama-c/distinfo Wed May 7 20:42:38 2014 (r353204) +++ head/devel/frama-c/distinfo Wed May 7 20:47:36 2014 (r353205) @@ -1,2 +1,2 @@ -SHA256 (frama-c-Oxygen-20120901.tar.gz) = f749870a2451f97d24da886c0cc7708e3ec57ad3f169f6b79f9b52be1f47c216 -SIZE (frama-c-Oxygen-20120901.tar.gz) = 10815011 +SHA256 (frama-c-Neon-20140301.tar.gz) = c5a0606f5c2d56280fd90f979c07ff398acb1e6a661323438b8d0cbd8f9f4731 +SIZE (frama-c-Neon-20140301.tar.gz) = 3122492 Added: head/devel/frama-c/files/patch-Support_OCamlgraph185 ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/frama-c/files/patch-Support_OCamlgraph185 Wed May 7 20:47:36 2014 (r353205) @@ -0,0 +1,219 @@ +This patchset came from Debian Frama-c Neon package + +--- src/impact/reason_graph.ml ++++ src/impact/reason_graph.ml +@@ -139,7 +139,7 @@ module Printer (X: AdditionalInfo) = struct + + let graph_attributes _ = [`Label "Impact graph"] + +- let default_vertex_attributes _g = [`Style [`Filled]; `Shape `Box] ++ let default_vertex_attributes _g = [`Style `Filled; `Shape `Box] + let default_edge_attributes _g = [] + + let vertex_attributes v = +--- src/kernel/stmts_graph.ml ++++ src/kernel/stmts_graph.ml +@@ -157,12 +157,12 @@ module TP = struct + + let vertex_attributes s = + match s.skind with +- | Loop _ -> [`Color 0xFF0000; `Style [`Filled]] +- | If _ -> [`Color 0x00FF00; `Style [`Filled]; `Shape `Diamond] +- | Return _ -> [`Color 0x0000FF; `Style [`Filled]] ++ | Loop _ -> [`Color 0xFF0000; `Style `Filled] ++ | If _ -> [`Color 0x00FF00; `Style `Filled; `Shape `Diamond] ++ | Return _ -> [`Color 0x0000FF; `Style `Filled] + | Block _ -> [`Shape `Box; `Fontsize 8] +- | Goto _ -> [`Shape `Diamond; `Color 0x00FFFF ; `Style [`Filled]] +- | Instr (Skip _) -> [`Color 0x00FFFF ; `Style [`Filled]] ++ | Goto _ -> [`Shape `Diamond; `Color 0x00FFFF ; `Style `Filled] ++ | Instr (Skip _) -> [`Color 0x00FFFF ; `Style `Filled] + | _ -> [] + let default_vertex_attributes _ = [] + +--- src/logic/property_status.ml ++++ src/logic/property_status.ml +@@ -1481,12 +1481,12 @@ module Consolidation_graph = struct + let s = get_status p in + let color = status_color p s in + let style = match s with +- | Never_tried -> [`Style [`Bold]; `Width 0.8 ] +- | _ -> [`Style [`Filled]] ++ | Never_tried -> [`Style `Bold; `Width 0.8 ] ++ | _ -> [`Style `Filled] + in + style @ [ label v; `Color color; `Shape `Box ] + | Emitter _ as v -> +- [ label v; `Shape `Diamond; `Color 0xb0c4de; `Style [`Filled] ] ++ [ label v; `Shape `Diamond; `Color 0xb0c4de; `Style `Filled ] + | Tuning_parameter _ as v -> + [ label v; (*`Style `Dotted;*) `Color 0xb0c4de; ] + (*| Correctness_parameter _ (*as v*) -> assert false (*[ label v; `Color 0xb0c4de ]*)*) +@@ -1495,7 +1495,7 @@ module Consolidation_graph = struct + | None -> [] + | Some s -> + let c = emitted_status_color s in +- [ `Color c; `Fontcolor c; `Style [`Bold] ] ++ [ `Color c; `Fontcolor c; `Style `Bold ] + + let default_vertex_attributes _ = [] + let default_edge_attributes _ = [] +--- src/misc/service_graph.ml ++++ src/misc/service_graph.ml +@@ -289,7 +289,7 @@ Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]" + color e + else + match CallG.E.label e with +- | Inter_services -> [ `Style [`Invis] ] ++ | Inter_services -> [ `Style `Invis ] + | Inter_functions | Both -> color e + + let default_edge_attributes _ = [] +@@ -303,7 +303,7 @@ Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]" + sg_attributes = + [ `Label ("S " ^ cs); + `Color (Extlib.number_to_color id); +- `Style [`Bold] ] } ++ `Style `Bold ] } + + end + +--- src/pdg_types/pdgTypes.ml ++++ src/pdg_types/pdgTypes.ml +@@ -626,7 +626,7 @@ module Pdg = struct + + let graph_attributes _ = [`Rankdir `TopToBottom ] + +- let default_vertex_attributes _ = [`Style [`Filled]] ++ let default_vertex_attributes _ = [`Style `Filled] + let vertex_name v = string_of_int (Node.id v) + + let vertex_attributes v = +@@ -711,13 +711,13 @@ module Pdg = struct + if Dpd.is_ctrl d then (`Arrowtail `Odot)::attrib else attrib + in + let attrib = +- if Dpd.is_addr d then (`Style [`Dotted])::attrib else attrib ++ if Dpd.is_addr d then (`Style `Dotted)::attrib else attrib + in + attrib + + let get_subgraph v = + let mk_subgraph name attrib = +- let attrib = (`Style [`Filled]) :: attrib in ++ let attrib = (`Style `Filled) :: attrib in + Some { Graph.Graphviz.DotAttributes.sg_name= name; + sg_parent = None; + sg_attributes = attrib } +--- src/postdominators/print.ml ++++ src/postdominators/print.ml +@@ -63,7 +63,7 @@ module Printer = struct + + let graph_attributes (title, _) = [`Label title] + +- let default_vertex_attributes _g = [`Style [`Filled]] ++ let default_vertex_attributes _g = [`Style `Filled] + let default_edge_attributes _g = [] + + let vertex_attributes (s, has_postdom) = +--- src/semantic_callgraph/register.ml ++++ src/semantic_callgraph/register.ml +@@ -102,8 +102,8 @@ module Service = + let name = Kernel_function.get_name + let attributes v = + [ `Style +- [if Kernel_function.is_definition v then `Bold +- else `Dotted] ] ++ (if Kernel_function.is_definition v then `Bold ++ else `Dotted) ] + let entry_point () = + try Some (fst (Globals.entry_point ())) + with Globals.No_such_entry_point _ -> None +--- src/slicing/printSlice.ml ++++ src/slicing/printSlice.ml +@@ -227,7 +227,7 @@ module PrintProject = struct + + let graph_attributes (name, _) = [`Label name] + +- let default_vertex_attributes _ = [`Style [`Filled]] ++ let default_vertex_attributes _ = [`Style `Filled] + + let vertex_name v = match v with + | Src fi -> SlicingMacros.fi_name fi +@@ -280,16 +280,16 @@ module PrintProject = struct + + let edge_attributes (e, call) = + let attrib = match e with +- | (Src _, Src _) -> [`Style [`Invis]] +- | (OptSliceCallers _, _) -> [`Style [`Invis]] +- | (_, OptSliceCallers _) -> [`Style [`Invis]] ++ | (Src _, Src _) -> [`Style `Invis] ++ | (OptSliceCallers _, _) -> [`Style `Invis] ++ | (_, OptSliceCallers _) -> [`Style `Invis] + | _ -> [] + in match call with None -> attrib + | Some call -> (`Label (string_of_int call.sid)):: attrib + + let get_subgraph v = + let mk_subgraph name attrib = +- let attrib = (*(`Label name) ::*) (`Style [`Filled]) :: attrib in ++ let attrib = (*(`Label name) ::*) (`Style `Filled) :: attrib in + Some { Graph.Graphviz.DotAttributes.sg_name= name; + sg_parent = None; + sg_attributes = attrib } +--- src/syntactic_callgraph/register.ml ++++ src/syntactic_callgraph/register.ml +@@ -37,8 +37,8 @@ module Service = + let name v = nodeName v.cnInfo + let attributes v = + [ match v.cnInfo with +- | NIVar (_,b) when not !b -> `Style [`Dotted] +- | _ -> `Style [`Bold] ] ++ | NIVar (_,b) when not !b -> `Style `Dotted ++ | _ -> `Style `Bold ] + let equal v1 v2 = id v1 = id v2 + let compare v1 v2 = + let i1 = id v1 in +--- src/wp/cil2cfg.ml ++++ src/wp/cil2cfg.ml +@@ -1278,9 +1278,9 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct + | Vstart | Vend | Vexit -> [`Color 0x0000FF; `Shape `Doublecircle] + | VfctIn | VfctOut -> [`Color 0x0000FF; `Shape `Box] + | VblkIn _ | VblkOut _ -> [`Shape `Box] +- | Vloop _ | Vloop2 _ -> [`Color 0xFF0000; `Style [`Filled]] ++ | Vloop _ | Vloop2 _ -> [`Color 0xFF0000; `Style `Filled] + | Vtest _ | Vswitch _ -> +- [`Color 0x00FF00; `Style [`Filled]; `Shape `Diamond] ++ [`Color 0x00FF00; `Style `Filled; `Shape `Diamond] + | Vcall _ | Vstmt _ -> [] + in (`Label (String.escaped label))::attr + +@@ -1290,15 +1290,15 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct + let attr = [] in + let attr = (`Label (String.escaped (PE.edge_txt e)))::attr in + let attr = +- if is_back_edge e then (`Constraint false)::(`Style [`Bold])::attr ++ if is_back_edge e then (`Constraint false)::(`Style `Bold)::attr + else attr + in + let attr = match (edge_type e) with + | Ethen | EbackThen -> (`Color 0x00FF00)::attr + | Eelse | EbackElse -> (`Color 0xFF0000)::attr +- | Ecase [] -> (`Color 0x0000FF)::(`Style [`Dashed])::attr ++ | Ecase [] -> (`Color 0x0000FF)::(`Style `Dashed)::attr + | Ecase _ -> (`Color 0x0000FF)::attr +- | Enext -> (`Style [`Dotted])::attr ++ | Enext -> (`Style `Dotted)::attr + | Eback -> attr (* see is_back_edge above *) + | Enone -> attr + in +@@ -1308,7 +1308,7 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct + + let get_subgraph v = + let mk_subgraph name attrib = +- let attrib = (`Style [`Filled]) :: attrib in ++ let attrib = (`Style `Filled) :: attrib in + Some { Graph.Graphviz.DotAttributes.sg_name= name; + sg_parent = None; + sg_attributes = attrib } +-- Modified: head/devel/frama-c/pkg-descr ============================================================================== --- head/devel/frama-c/pkg-descr Wed May 7 20:42:38 2014 (r353204) +++ head/devel/frama-c/pkg-descr Wed May 7 20:47:36 2014 (r353205) @@ -13,4 +13,4 @@ code where an error can happen at run-ti manipulate functional specifications, and to prove that the source code satisfies these specifications. -WWW: http://frama-c.com/index.html +WWW: http://frama-c.com/index.html Modified: head/devel/frama-c/pkg-plist ============================================================================== --- head/devel/frama-c/pkg-plist Wed May 7 20:42:38 2014 (r353204) +++ head/devel/frama-c/pkg-plist Wed May 7 20:47:36 2014 (r353205) @@ -1,94 +1,23 @@ +bin/frama-c %%GUI%%bin/frama-c-gui %%GUI%%bin/frama-c-gui.byte -bin/frama-c bin/frama-c.byte -bin/ptests.byte -%%GUI%%lib/frama-c/analyses_manager.cmi -%%GUI%%lib/frama-c/analyses_manager.cmo -%%GUI%%lib/frama-c/analyses_manager.cmx -%%GUI%%lib/frama-c/analyses_manager.o -%%GUI%%lib/frama-c/book_manager.cmi -%%GUI%%lib/frama-c/book_manager.cmo -%%GUI%%lib/frama-c/book_manager.cmx -%%GUI%%lib/frama-c/book_manager.o -%%GUI%%lib/frama-c/debug_manager.cmi -%%GUI%%lib/frama-c/debug_manager.cmo -%%GUI%%lib/frama-c/debug_manager.cmx -%%GUI%%lib/frama-c/debug_manager.o -%%GUI%%lib/frama-c/design.cmi -%%GUI%%lib/frama-c/design.cmo -%%GUI%%lib/frama-c/design.cmx -%%GUI%%lib/frama-c/design.o -%%GUI%%lib/frama-c/file_manager.cmi -%%GUI%%lib/frama-c/file_manager.cmo -%%GUI%%lib/frama-c/file_manager.cmx -%%GUI%%lib/frama-c/file_manager.o -%%GUI%%lib/frama-c/filetree.cmi -%%GUI%%lib/frama-c/filetree.cmo -%%GUI%%lib/frama-c/filetree.cmx -%%GUI%%lib/frama-c/filetree.o -%%GUI%%lib/frama-c/gtk_form.cmi -%%GUI%%lib/frama-c/gtk_form.cmo -%%GUI%%lib/frama-c/gtk_form.cmx -%%GUI%%lib/frama-c/gtk_form.o -%%GUI%%lib/frama-c/gtk_helper.cmi -%%GUI%%lib/frama-c/gtk_helper.cmo -%%GUI%%lib/frama-c/gtk_helper.cmx -%%GUI%%lib/frama-c/gtk_helper.o -%%GUI%%lib/frama-c/gui_init.cmi -%%GUI%%lib/frama-c/gui_parameters.cmi -%%GUI%%lib/frama-c/gui_parameters.cmo -%%GUI%%lib/frama-c/gui_parameters.cmx -%%GUI%%lib/frama-c/gui_parameters.o -%%GUI%%lib/frama-c/help_manager.cmi -%%GUI%%lib/frama-c/help_manager.cmo -%%GUI%%lib/frama-c/help_manager.cmx -%%GUI%%lib/frama-c/help_manager.o -%%GUI%%lib/frama-c/history.cmi -%%GUI%%lib/frama-c/history.cmo -%%GUI%%lib/frama-c/history.cmx -%%GUI%%lib/frama-c/history.o -%%GUI%%lib/frama-c/launcher.cmi -%%GUI%%lib/frama-c/launcher.cmo -%%GUI%%lib/frama-c/launcher.cmx -%%GUI%%lib/frama-c/launcher.o -%%GUI%%lib/frama-c/menu_manager.cmi -%%GUI%%lib/frama-c/menu_manager.cmo -%%GUI%%lib/frama-c/menu_manager.cmx -%%GUI%%lib/frama-c/menu_manager.o -%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmi -%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmo -%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmxs -%%GUI%%lib/frama-c/plugins/gui/Wp.cma -%%GUI%%lib/frama-c/plugins/gui/Wp.cmi -%%GUI%%lib/frama-c/plugins/gui/Wp.cmxs -%%GUI%%lib/frama-c/pretty_source.cmi -%%GUI%%lib/frama-c/pretty_source.cmo -%%GUI%%lib/frama-c/pretty_source.cmx -%%GUI%%lib/frama-c/pretty_source.o -%%GUI%%lib/frama-c/project_manager.cmi -%%GUI%%lib/frama-c/project_manager.cmo -%%GUI%%lib/frama-c/project_manager.cmx -%%GUI%%lib/frama-c/project_manager.o -%%GUI%%lib/frama-c/property_navigator.cmi -%%GUI%%lib/frama-c/property_navigator.cmo -%%GUI%%lib/frama-c/property_navigator.cmx -%%GUI%%lib/frama-c/property_navigator.o -%%GUI%%lib/frama-c/source_manager.cmi -%%GUI%%lib/frama-c/source_manager.cmo -%%GUI%%lib/frama-c/source_manager.cmx -%%GUI%%lib/frama-c/source_manager.o -%%GUI%%lib/frama-c/source_viewer.cmi -%%GUI%%lib/frama-c/source_viewer.cmo -%%GUI%%lib/frama-c/source_viewer.cmx -%%GUI%%lib/frama-c/source_viewer.o -%%GUI%%lib/frama-c/warning_manager.cmi -%%GUI%%lib/frama-c/warning_manager.cmo -%%GUI%%lib/frama-c/warning_manager.cmx -%%GUI%%lib/frama-c/warning_manager.o +bin/ptests.opt %%PLUGINS%%lib/frama-c/Constant_Propagation.cmo %%PLUGINS%%lib/frama-c/Constant_Propagation.cmx %%PLUGINS%%lib/frama-c/Constant_Propagation.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 %%PLUGINS%%lib/frama-c/From.cmo %%PLUGINS%%lib/frama-c/From.cmx %%PLUGINS%%lib/frama-c/From.o @@ -134,21 +63,6 @@ bin/ptests.byte %%PLUGINS%%lib/frama-c/Value.cmo %%PLUGINS%%lib/frama-c/Value.cmx %%PLUGINS%%lib/frama-c/Value.o -%%PLUGINS%%lib/frama-c/plugins/Aorai.cmi -%%PLUGINS%%lib/frama-c/plugins/Aorai.cmo -%%PLUGINS%%lib/frama-c/plugins/Aorai.cmxs -%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmi -%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmo -%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmxs -%%PLUGINS%%lib/frama-c/plugins/Report.cmi -%%PLUGINS%%lib/frama-c/plugins/Report.cmo -%%PLUGINS%%lib/frama-c/plugins/Report.cmxs -%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmi -%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmo -%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmxs -%%PLUGINS%%lib/frama-c/plugins/Wp.cma -%%PLUGINS%%lib/frama-c/plugins/Wp.cmi -%%PLUGINS%%lib/frama-c/plugins/Wp.cmxs lib/frama-c/abstract_interp.cmi lib/frama-c/abstract_interp.cmo lib/frama-c/abstract_interp.cmx @@ -165,6 +79,10 @@ lib/frama-c/alpha.cmi lib/frama-c/alpha.cmo lib/frama-c/alpha.cmx lib/frama-c/alpha.o +%%GUI%%lib/frama-c/analyses_manager.cmi +%%GUI%%lib/frama-c/analyses_manager.cmo +%%GUI%%lib/frama-c/analyses_manager.cmx +%%GUI%%lib/frama-c/analyses_manager.o lib/frama-c/annotations.cmi lib/frama-c/annotations.cmo lib/frama-c/annotations.cmx @@ -177,10 +95,6 @@ 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/ast_printer.cmi -lib/frama-c/ast_printer.cmo -lib/frama-c/ast_printer.cmx -lib/frama-c/ast_printer.o lib/frama-c/availexpslv.cmi lib/frama-c/availexpslv.cmo lib/frama-c/availexpslv.cmx @@ -193,18 +107,10 @@ lib/frama-c/base.cmi lib/frama-c/base.cmo lib/frama-c/base.cmx lib/frama-c/base.o -lib/frama-c/base_Set_Lattice.cmi -lib/frama-c/base_Set_Lattice.cmo -lib/frama-c/base_Set_Lattice.cmx -lib/frama-c/base_Set_Lattice.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_model_access.cmi -lib/frama-c/bit_model_access.cmo -lib/frama-c/bit_model_access.cmx -lib/frama-c/bit_model_access.o lib/frama-c/bit_utils.cmi lib/frama-c/bit_utils.cmo lib/frama-c/bit_utils.cmx @@ -213,6 +119,10 @@ lib/frama-c/bitvector.cmi lib/frama-c/bitvector.cmo lib/frama-c/bitvector.cmx lib/frama-c/bitvector.o +%%GUI%%lib/frama-c/book_manager.cmi +%%GUI%%lib/frama-c/book_manager.cmo +%%GUI%%lib/frama-c/book_manager.cmx +%%GUI%%lib/frama-c/book_manager.o lib/frama-c/boot.cmi lib/frama-c/boot.cmo lib/frama-c/boot.cmx @@ -230,6 +140,10 @@ 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/cabsbranches.cmi lib/frama-c/cabsbranches.cmo lib/frama-c/cabsbranches.cmx @@ -270,31 +184,31 @@ 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/cilglobopt.cmi -lib/frama-c/cilglobopt.cmo -lib/frama-c/cilglobopt.cmx -lib/frama-c/cilglobopt.o +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/cilutil.cmi -lib/frama-c/cilutil.cmo -lib/frama-c/cilutil.cmx -lib/frama-c/cilutil.o lib/frama-c/clexer.cmi lib/frama-c/clexer.cmo lib/frama-c/clexer.cmx lib/frama-c/clexer.o -lib/frama-c/clist.cmi -lib/frama-c/clist.cmo -lib/frama-c/clist.cmx -lib/frama-c/clist.o lib/frama-c/cmdline.cmi lib/frama-c/cmdline.cmo lib/frama-c/cmdline.cmx @@ -323,6 +237,14 @@ 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 @@ -335,6 +257,10 @@ lib/frama-c/deadcodeelim.cmi lib/frama-c/deadcodeelim.cmo lib/frama-c/deadcodeelim.cmx lib/frama-c/deadcodeelim.o +%%GUI%%lib/frama-c/debug_manager.cmi +%%GUI%%lib/frama-c/debug_manager.cmo +%%GUI%%lib/frama-c/debug_manager.cmx +%%GUI%%lib/frama-c/debug_manager.o lib/frama-c/descr.cmi lib/frama-c/descr.cmo lib/frama-c/descr.cmx @@ -343,6 +269,10 @@ lib/frama-c/description.cmi lib/frama-c/description.cmo lib/frama-c/description.cmx lib/frama-c/description.o +%%GUI%%lib/frama-c/design.cmi +%%GUI%%lib/frama-c/design.cmo +%%GUI%%lib/frama-c/design.cmx +%%GUI%%lib/frama-c/design.o lib/frama-c/dominators.cmi lib/frama-c/dominators.cmo lib/frama-c/dominators.cmx @@ -379,6 +309,18 @@ lib/frama-c/file.cmi lib/frama-c/file.cmo lib/frama-c/file.cmx lib/frama-c/file.o +%%GUI%%lib/frama-c/file_manager.cmi +%%GUI%%lib/frama-c/file_manager.cmo +%%GUI%%lib/frama-c/file_manager.cmx +%%GUI%%lib/frama-c/file_manager.o +lib/frama-c/filepath.cmi +lib/frama-c/filepath.cmo +lib/frama-c/filepath.cmx +lib/frama-c/filepath.o +%%GUI%%lib/frama-c/filetree.cmi +%%GUI%%lib/frama-c/filetree.cmo +%%GUI%%lib/frama-c/filetree.cmx +%%GUI%%lib/frama-c/filetree.o lib/frama-c/filter.cmi lib/frama-c/filter.cmo lib/frama-c/filter.cmx @@ -399,14 +341,27 @@ lib/frama-c/globals.cmi lib/frama-c/globals.cmo lib/frama-c/globals.cmx lib/frama-c/globals.o -lib/frama-c/growArray.cmi -lib/frama-c/growArray.cmo -lib/frama-c/growArray.cmx -lib/frama-c/growArray.o -lib/frama-c/hashtbl_common_interface.cmi -lib/frama-c/hashtbl_common_interface.cmo -lib/frama-c/hashtbl_common_interface.cmx -lib/frama-c/hashtbl_common_interface.o +%%GUI%%lib/frama-c/gtk_form.cmi +%%GUI%%lib/frama-c/gtk_form.cmo +%%GUI%%lib/frama-c/gtk_form.cmx +%%GUI%%lib/frama-c/gtk_form.o +%%GUI%%lib/frama-c/gtk_helper.cmi +%%GUI%%lib/frama-c/gtk_helper.cmo +%%GUI%%lib/frama-c/gtk_helper.cmx +%%GUI%%lib/frama-c/gtk_helper.o +%%GUI%%lib/frama-c/gui_init.cmi +%%GUI%%lib/frama-c/gui_parameters.cmi +%%GUI%%lib/frama-c/gui_parameters.cmo +%%GUI%%lib/frama-c/gui_parameters.cmx +%%GUI%%lib/frama-c/gui_parameters.o +%%GUI%%lib/frama-c/help_manager.cmi +%%GUI%%lib/frama-c/help_manager.cmo +%%GUI%%lib/frama-c/help_manager.cmx +%%GUI%%lib/frama-c/help_manager.o +%%GUI%%lib/frama-c/history.cmi +%%GUI%%lib/frama-c/history.cmo +%%GUI%%lib/frama-c/history.cmx +%%GUI%%lib/frama-c/history.o lib/frama-c/hook.cmi lib/frama-c/hook.cmo lib/frama-c/hook.cmx @@ -443,6 +398,10 @@ lib/frama-c/int_Interv_Map.cmi lib/frama-c/int_Interv_Map.cmo lib/frama-c/int_Interv_Map.cmx lib/frama-c/int_Interv_Map.o +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 @@ -463,7 +422,11 @@ lib/frama-c/lattice_Interval_Set.cmi lib/frama-c/lattice_Interval_Set.cmo lib/frama-c/lattice_Interval_Set.cmx lib/frama-c/lattice_Interval_Set.o -lib/frama-c/lattice_With_Isotropy.cmi +lib/frama-c/lattice_type.cmi +%%GUI%%lib/frama-c/launcher.cmi +%%GUI%%lib/frama-c/launcher.cmo +%%GUI%%lib/frama-c/launcher.cmx +%%GUI%%lib/frama-c/launcher.o lib/frama-c/lexerhack.cmi lib/frama-c/lexerhack.cmo lib/frama-c/lexerhack.cmx @@ -480,6 +443,7 @@ 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 @@ -533,10 +497,6 @@ lib/frama-c/loop.cmi lib/frama-c/loop.cmo lib/frama-c/loop.cmx lib/frama-c/loop.o -lib/frama-c/machdep.cmi -lib/frama-c/machdep.cmo -lib/frama-c/machdep.cmx -lib/frama-c/machdep.o lib/frama-c/machdep_ppc_32.cmi lib/frama-c/machdep_ppc_32.cmo lib/frama-c/machdep_ppc_32.cmx @@ -557,10 +517,10 @@ 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/map_common_interface.cmi -lib/frama-c/map_common_interface.cmo -lib/frama-c/map_common_interface.cmx -lib/frama-c/map_common_interface.o +%%GUI%%lib/frama-c/menu_manager.cmi +%%GUI%%lib/frama-c/menu_manager.cmo +%%GUI%%lib/frama-c/menu_manager.cmx +%%GUI%%lib/frama-c/menu_manager.o lib/frama-c/mergecil.cmi lib/frama-c/mergecil.cmo lib/frama-c/mergecil.cmx @@ -569,19 +529,6 @@ lib/frama-c/messages.cmi lib/frama-c/messages.cmo lib/frama-c/messages.cmx lib/frama-c/messages.o -lib/frama-c/my_bigint.cmi -lib/frama-c/my_bigint.cmo -lib/frama-c/my_bigint.cmx -lib/frama-c/my_bigint.o -lib/frama-c/mybigarray.o -lib/frama-c/new_offsetmap.cmi -lib/frama-c/new_offsetmap.cmo -lib/frama-c/new_offsetmap.cmx -lib/frama-c/new_offsetmap.o -lib/frama-c/obfuscate.cmi -lib/frama-c/obfuscate.cmo -lib/frama-c/obfuscate.cmx -lib/frama-c/obfuscate.o lib/frama-c/offsetmap.cmi lib/frama-c/offsetmap.cmo lib/frama-c/offsetmap.cmx @@ -590,18 +537,33 @@ lib/frama-c/offsetmap_bitwise.cmi lib/frama-c/offsetmap_bitwise.cmo lib/frama-c/offsetmap_bitwise.cmx lib/frama-c/offsetmap_bitwise.o +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.cmi -lib/frama-c/parameter.cmo -lib/frama-c/parameter.cmx -lib/frama-c/parameter.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_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 @@ -619,7 +581,32 @@ lib/frama-c/plugin.cmo lib/frama-c/plugin.cmx lib/frama-c/plugin.o lib/frama-c/plugins/.keep_me +%%PLUGINS%%lib/frama-c/plugins/Aorai.cmi +%%PLUGINS%%lib/frama-c/plugins/Aorai.cmo +%%PLUGINS%%lib/frama-c/plugins/Aorai.cmxs +%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmi +%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmo +%%PLUGINS%%lib/frama-c/plugins/Obfuscator.cmxs +%%PLUGINS%%lib/frama-c/plugins/Report.cmi +%%PLUGINS%%lib/frama-c/plugins/Report.cmo +%%PLUGINS%%lib/frama-c/plugins/Report.cmxs +%%GUI%%lib/frama-c/plugins/Security_slicing.cmi +%%GUI%%lib/frama-c/plugins/Security_slicing.cmo +%%GUI%%lib/frama-c/plugins/Security_slicing.cmxs +%%PLUGINS%%lib/frama-c/plugins/Wp.cma +%%PLUGINS%%lib/frama-c/plugins/Wp.cmi +%%PLUGINS%%lib/frama-c/plugins/Wp.cmxs lib/frama-c/plugins/gui/.keep_me +%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmi +%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmo +%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmxs +%%GUI%%lib/frama-c/plugins/gui/Wp.cma +%%GUI%%lib/frama-c/plugins/gui/Wp.cmi +%%GUI%%lib/frama-c/plugins/gui/Wp.cmxs +%%GUI%%lib/frama-c/pretty_source.cmi +%%GUI%%lib/frama-c/pretty_source.cmo +%%GUI%%lib/frama-c/pretty_source.cmx +%%GUI%%lib/frama-c/pretty_source.o lib/frama-c/pretty_utils.cmi lib/frama-c/pretty_utils.cmo lib/frama-c/pretty_utils.cmx @@ -628,14 +615,19 @@ lib/frama-c/printer.cmi lib/frama-c/printer.cmo lib/frama-c/printer.cmx lib/frama-c/printer.o -lib/frama-c/printexc_common_interface.cmi -lib/frama-c/printexc_common_interface.cmo -lib/frama-c/printexc_common_interface.cmx -lib/frama-c/printexc_common_interface.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 +%%GUI%%lib/frama-c/project_manager.cmi +%%GUI%%lib/frama-c/project_manager.cmo +%%GUI%%lib/frama-c/project_manager.cmx +%%GUI%%lib/frama-c/project_manager.o lib/frama-c/project_skeleton.cmi lib/frama-c/project_skeleton.cmo lib/frama-c/project_skeleton.cmx @@ -644,11 +636,17 @@ lib/frama-c/property.cmi lib/frama-c/property.cmo lib/frama-c/property.cmx lib/frama-c/property.o +%%GUI%%lib/frama-c/property_navigator.cmi +%%GUI%%lib/frama-c/property_navigator.cmo +%%GUI%%lib/frama-c/property_navigator.cmx +%%GUI%%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 @@ -673,10 +671,6 @@ 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/setWithNearest.cmi -lib/frama-c/setWithNearest.cmo -lib/frama-c/setWithNearest.cmx -lib/frama-c/setWithNearest.o lib/frama-c/slicingInternals.cmi lib/frama-c/slicingInternals.cmo lib/frama-c/slicingInternals.cmx @@ -685,6 +679,14 @@ lib/frama-c/slicingTypes.cmi lib/frama-c/slicingTypes.cmo lib/frama-c/slicingTypes.cmx lib/frama-c/slicingTypes.o +%%GUI%%lib/frama-c/source_manager.cmi +%%GUI%%lib/frama-c/source_manager.cmo +%%GUI%%lib/frama-c/source_manager.cmx +%%GUI%%lib/frama-c/source_manager.o +%%GUI%%lib/frama-c/source_viewer.cmi +%%GUI%%lib/frama-c/source_viewer.cmo +%%GUI%%lib/frama-c/source_viewer.cmx +%%GUI%%lib/frama-c/source_viewer.o lib/frama-c/special_hooks.cmi lib/frama-c/special_hooks.cmo lib/frama-c/special_hooks.cmx @@ -721,18 +723,26 @@ 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/subst.cmi -lib/frama-c/subst.cmo -lib/frama-c/subst.cmx -lib/frama-c/subst.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 +%%GUI%%lib/frama-c/toolbox.cmi +%%GUI%%lib/frama-c/toolbox.cmo +%%GUI%%lib/frama-c/toolbox.cmx +%%GUI%%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/translate_lightweight.cmi lib/frama-c/translate_lightweight.cmo lib/frama-c/translate_lightweight.cmx @@ -741,6 +751,10 @@ 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 @@ -765,27 +779,38 @@ 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_aux.cmi -lib/frama-c/value_aux.cmo -lib/frama-c/value_aux.cmx -lib/frama-c/value_aux.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/whitetrack.cmi -lib/frama-c/whitetrack.cmo -lib/frama-c/whitetrack.cmx -lib/frama-c/whitetrack.o +%%GUI%%lib/frama-c/warning_manager.cmi +%%GUI%%lib/frama-c/warning_manager.cmo +%%GUI%%lib/frama-c/warning_manager.cmx +%%GUI%%lib/frama-c/warning_manager.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 %%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 @@ -807,23 +832,24 @@ share/emacs/site-lisp/acsl.el %%DATADIR%%/feedback/never_tried.png %%DATADIR%%/feedback/surely_invalid.png %%DATADIR%%/feedback/surely_valid.png +%%DATADIR%%/feedback/switch-off.png +%%DATADIR%%/feedback/switch-on.png %%DATADIR%%/feedback/unknown.png %%DATADIR%%/feedback/unknown_but_dead.png %%DATADIR%%/feedback/valid_but_dead.png %%DATADIR%%/feedback/valid_under_hyp.png -%%DATADIR%%/fluctuat.h %%DATADIR%%/frama-c.gif %%DATADIR%%/frama-c.ico %%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 *** DIFF OUTPUT TRUNCATED AT 1000 LINES ***