In plugins using Eva, uses Eva.Analysis.is_computed instead of Db.Value.is_computed.

src/plugins/callgraph/cg.ml

@@ -231,7 +231,7 @@ let compute () =
     !Db.Value.compute ();
     semantic_compute g
   end else
-    (if Db.Value.is_computed () then semantic_compute else syntactic_compute) g;
+    (if Eva.Analysis.is_computed () then semantic_compute else syntactic_compute) g;
   g
 
 let get () = State.memo compute

src/plugins/from/callwise.ml

@@ -197,7 +197,7 @@ let () = From_parameters.ForceCallDeps.add_update_hook
 
 
 let force_compute_all_calldeps ()=
-  if Db.Value.is_computed () then
+  if Eva.Analysis.is_computed () then
     Project.clear
       ~selection:(State_selection.with_dependencies Eva.Analysis.self)
       ();

src/plugins/from/from_register_gui.ml

@@ -25,7 +25,7 @@ open Cil_types
 let main (main_ui:Design.main_window_extension_points) =
   let filetree_selector ~was_activated ~activating node =
     (* [JS 2009/30/03] GUI may become too slow if froms are displayed *)
-    if false && Db.Value.is_computed () then begin
+    if false && Eva.Analysis.is_computed () then begin
       if not was_activated && activating then begin
         match node with
         | Filetree.Global (Cil_types.GFun ({svar=v},_)) ->