From fbf03d397737c87bff952a229588d15112d0498f Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 5 Oct 2023 10:09:09 +0200 Subject: [PATCH] dune 3.3 for **all** dune projects in the repo --- doc/developer/examples/acsl_extension_ext_types/dune-project | 2 +- doc/developer/examples/acsl_extension_foo/dune-project | 2 +- doc/developer/examples/callstack/dune-project | 2 +- doc/developer/examples/syntactic_check/dune-project | 2 +- doc/developer/tutorial/hello/src/dune-project | 2 +- doc/developer/tutorial/hello/v1-simple/dune-project | 2 +- doc/developer/tutorial/hello/v2-register/dune-project | 2 +- doc/developer/tutorial/hello/v3-log/dune-project | 2 +- doc/developer/tutorial/hello/v4-options/dune-project | 2 +- doc/developer/tutorial/hello/v5-multiple/dune-project | 2 +- doc/developer/tutorial/hello/v6-test-with-bug/dune-project | 2 +- doc/developer/tutorial/hello/v7-doc/dune-project | 2 +- doc/developer/tutorial/viewcfg/v1-simple/dune-project | 2 +- doc/developer/tutorial/viewcfg/v2-options/dune-project | 2 +- doc/developer/tutorial/viewcfg/v3-eva/dune-project | 2 +- doc/developer/tutorial/viewcfg/v4-bogue/dune-project | 2 +- doc/developer/tutorial/viewcfg/v5-state/dune-project | 2 +- doc/developer/tutorial/viewcfg/v6-state-clear/dune-project | 2 +- src/libraries/qed/dune-project | 2 +- src/plugins/alias/dune-project | 2 +- src/plugins/aorai/dune-project | 2 +- src/plugins/api-generator/dune-project | 2 +- src/plugins/callgraph/dune-project | 2 +- src/plugins/constant_propagation/dune-project | 2 +- src/plugins/dive/dune-project | 2 +- src/plugins/e-acsl/dune-project | 2 +- src/plugins/eva/dune-project | 2 +- src/plugins/from/dune-project | 2 +- src/plugins/impact/dune-project | 2 +- src/plugins/inout/dune-project | 2 +- src/plugins/instantiate/dune-project | 2 +- src/plugins/loop_analysis/dune-project | 2 +- src/plugins/markdown-report/dune-project | 2 +- src/plugins/metrics/dune-project | 2 +- src/plugins/nonterm/dune-project | 2 +- src/plugins/obfuscator/dune-project | 2 +- src/plugins/occurrence/dune-project | 2 +- src/plugins/pdg/dune-project | 2 +- src/plugins/postdominators/dune-project | 2 +- src/plugins/reduc/dune-project | 2 +- src/plugins/report/dune-project | 2 +- src/plugins/rte/dune-project | 2 +- src/plugins/scope/dune-project | 2 +- src/plugins/security_slicing/dune-project | 2 +- src/plugins/server/dune-project | 2 +- src/plugins/slicing/dune-project | 2 +- src/plugins/sparecode/dune-project | 2 +- src/plugins/studia/dune-project | 2 +- src/plugins/users/dune-project | 2 +- src/plugins/variadic/dune-project | 2 +- src/plugins/wp/dune-project | 2 +- tools/hdrck/dune-project | 2 +- tools/lint/dune-project | 2 +- tools/ptests/dune-project | 2 +- 54 files changed, 54 insertions(+), 54 deletions(-) diff --git a/doc/developer/examples/acsl_extension_ext_types/dune-project b/doc/developer/examples/acsl_extension_ext_types/dune-project index 5646419c530..58bd1e5c15e 100644 --- a/doc/developer/examples/acsl_extension_ext_types/dune-project +++ b/doc/developer/examples/acsl_extension_ext_types/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-example) diff --git a/doc/developer/examples/acsl_extension_foo/dune-project b/doc/developer/examples/acsl_extension_foo/dune-project index 5646419c530..58bd1e5c15e 100644 --- a/doc/developer/examples/acsl_extension_foo/dune-project +++ b/doc/developer/examples/acsl_extension_foo/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-example) diff --git a/doc/developer/examples/callstack/dune-project b/doc/developer/examples/callstack/dune-project index 5646419c530..58bd1e5c15e 100644 --- a/doc/developer/examples/callstack/dune-project +++ b/doc/developer/examples/callstack/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-example) diff --git a/doc/developer/examples/syntactic_check/dune-project b/doc/developer/examples/syntactic_check/dune-project index 5646419c530..58bd1e5c15e 100644 --- a/doc/developer/examples/syntactic_check/dune-project +++ b/doc/developer/examples/syntactic_check/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-example) diff --git a/doc/developer/tutorial/hello/src/dune-project b/doc/developer/tutorial/hello/src/dune-project index 1ceb1f52401..f4d53a07237 100644 --- a/doc/developer/tutorial/hello/src/dune-project +++ b/doc/developer/tutorial/hello/src/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/doc/developer/tutorial/hello/v1-simple/dune-project b/doc/developer/tutorial/hello/v1-simple/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v1-simple/dune-project +++ b/doc/developer/tutorial/hello/v1-simple/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v2-register/dune-project b/doc/developer/tutorial/hello/v2-register/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v2-register/dune-project +++ b/doc/developer/tutorial/hello/v2-register/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v3-log/dune-project b/doc/developer/tutorial/hello/v3-log/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v3-log/dune-project +++ b/doc/developer/tutorial/hello/v3-log/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v4-options/dune-project b/doc/developer/tutorial/hello/v4-options/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v4-options/dune-project +++ b/doc/developer/tutorial/hello/v4-options/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v5-multiple/dune-project b/doc/developer/tutorial/hello/v5-multiple/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v5-multiple/dune-project +++ b/doc/developer/tutorial/hello/v5-multiple/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project +++ b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/hello/v7-doc/dune-project b/doc/developer/tutorial/hello/v7-doc/dune-project index df0ab2a885a..ed900305012 100644 --- a/doc/developer/tutorial/hello/v7-doc/dune-project +++ b/doc/developer/tutorial/hello/v7-doc/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-hello) diff --git a/doc/developer/tutorial/viewcfg/v1-simple/dune-project b/doc/developer/tutorial/viewcfg/v1-simple/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v1-simple/dune-project +++ b/doc/developer/tutorial/viewcfg/v1-simple/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/doc/developer/tutorial/viewcfg/v2-options/dune-project b/doc/developer/tutorial/viewcfg/v2-options/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v2-options/dune-project +++ b/doc/developer/tutorial/viewcfg/v2-options/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/doc/developer/tutorial/viewcfg/v3-eva/dune-project b/doc/developer/tutorial/viewcfg/v3-eva/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v3-eva/dune-project +++ b/doc/developer/tutorial/viewcfg/v3-eva/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project +++ b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/doc/developer/tutorial/viewcfg/v5-state/dune-project b/doc/developer/tutorial/viewcfg/v5-state/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v5-state/dune-project +++ b/doc/developer/tutorial/viewcfg/v5-state/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project index f51b073e8f5..fea29a8a57b 100644 --- a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project +++ b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) (using dune_site 0.1) (name frama-c-view-cfg) diff --git a/src/libraries/qed/dune-project b/src/libraries/qed/dune-project index 30de89263ca..d558f53e159 100644 --- a/src/libraries/qed/dune-project +++ b/src/libraries/qed/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project index c934d313d77..5f564c9a812 100644 --- a/src/plugins/alias/dune-project +++ b/src/plugins/alias/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/aorai/dune-project b/src/plugins/aorai/dune-project index b3c8dfe21c8..4e033be9ebe 100644 --- a/src/plugins/aorai/dune-project +++ b/src/plugins/aorai/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Aorai plug-in of Frama-C. ;; diff --git a/src/plugins/api-generator/dune-project b/src/plugins/api-generator/dune-project index 06ff92bd6eb..de387c3ced3 100644 --- a/src/plugins/api-generator/dune-project +++ b/src/plugins/api-generator/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/callgraph/dune-project b/src/plugins/callgraph/dune-project index 450a812f0f2..ecc401c852c 100644 --- a/src/plugins/callgraph/dune-project +++ b/src/plugins/callgraph/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/constant_propagation/dune-project b/src/plugins/constant_propagation/dune-project index 7c1de9ea27d..802569e45b2 100644 --- a/src/plugins/constant_propagation/dune-project +++ b/src/plugins/constant_propagation/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/dive/dune-project b/src/plugins/dive/dune-project index 09cfd9cfc03..a3c9521d662 100644 --- a/src/plugins/dive/dune-project +++ b/src/plugins/dive/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project index 419df63232d..c0b8fea74ab 100644 --- a/src/plugins/e-acsl/dune-project +++ b/src/plugins/e-acsl/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of the Frama-C's E-ACSL plug-in. ;; diff --git a/src/plugins/eva/dune-project b/src/plugins/eva/dune-project index 2f4a65bccf3..580cbd8f7af 100644 --- a/src/plugins/eva/dune-project +++ b/src/plugins/eva/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/from/dune-project b/src/plugins/from/dune-project index 366e01a43fe..5e5648bb0c9 100644 --- a/src/plugins/from/dune-project +++ b/src/plugins/from/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/impact/dune-project b/src/plugins/impact/dune-project index 36350966e1e..78ae718254d 100644 --- a/src/plugins/impact/dune-project +++ b/src/plugins/impact/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/inout/dune-project b/src/plugins/inout/dune-project index 3319087cb68..52064990516 100644 --- a/src/plugins/inout/dune-project +++ b/src/plugins/inout/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/instantiate/dune-project b/src/plugins/instantiate/dune-project index 61714be1ac1..c166d64d9c8 100644 --- a/src/plugins/instantiate/dune-project +++ b/src/plugins/instantiate/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/loop_analysis/dune-project b/src/plugins/loop_analysis/dune-project index 0db3ff404c9..d31e06130b0 100644 --- a/src/plugins/loop_analysis/dune-project +++ b/src/plugins/loop_analysis/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/markdown-report/dune-project b/src/plugins/markdown-report/dune-project index 5ed8ee22938..920d99210b4 100644 --- a/src/plugins/markdown-report/dune-project +++ b/src/plugins/markdown-report/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/metrics/dune-project b/src/plugins/metrics/dune-project index 42db3b3fc02..68310fd4976 100644 --- a/src/plugins/metrics/dune-project +++ b/src/plugins/metrics/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/nonterm/dune-project b/src/plugins/nonterm/dune-project index 06cca356de5..df0a7bb5988 100644 --- a/src/plugins/nonterm/dune-project +++ b/src/plugins/nonterm/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/obfuscator/dune-project b/src/plugins/obfuscator/dune-project index 776efcd7304..5ea30ad86dd 100644 --- a/src/plugins/obfuscator/dune-project +++ b/src/plugins/obfuscator/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/occurrence/dune-project b/src/plugins/occurrence/dune-project index 0e25b9aef89..316594c53e4 100644 --- a/src/plugins/occurrence/dune-project +++ b/src/plugins/occurrence/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/pdg/dune-project b/src/plugins/pdg/dune-project index 2848ef485e5..09c0389120a 100644 --- a/src/plugins/pdg/dune-project +++ b/src/plugins/pdg/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/postdominators/dune-project b/src/plugins/postdominators/dune-project index 296c37ad872..20dbe0a7fa4 100644 --- a/src/plugins/postdominators/dune-project +++ b/src/plugins/postdominators/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/reduc/dune-project b/src/plugins/reduc/dune-project index 0d005d694c5..02023e59bb2 100644 --- a/src/plugins/reduc/dune-project +++ b/src/plugins/reduc/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/report/dune-project b/src/plugins/report/dune-project index a85c40cebfa..f0306f7eaa7 100644 --- a/src/plugins/report/dune-project +++ b/src/plugins/report/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/rte/dune-project b/src/plugins/rte/dune-project index 1087951f653..13e6264437c 100644 --- a/src/plugins/rte/dune-project +++ b/src/plugins/rte/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/scope/dune-project b/src/plugins/scope/dune-project index 8c7953c3327..f35ceb4834c 100644 --- a/src/plugins/scope/dune-project +++ b/src/plugins/scope/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/security_slicing/dune-project b/src/plugins/security_slicing/dune-project index 73b3bfee251..4bf4c106a69 100644 --- a/src/plugins/security_slicing/dune-project +++ b/src/plugins/security_slicing/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/server/dune-project b/src/plugins/server/dune-project index 864472bae72..f73b2da04b8 100644 --- a/src/plugins/server/dune-project +++ b/src/plugins/server/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/slicing/dune-project b/src/plugins/slicing/dune-project index 3c67d5396de..7b55b8d077a 100644 --- a/src/plugins/slicing/dune-project +++ b/src/plugins/slicing/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/sparecode/dune-project b/src/plugins/sparecode/dune-project index 526b4997ab7..873e175b801 100644 --- a/src/plugins/sparecode/dune-project +++ b/src/plugins/sparecode/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/studia/dune-project b/src/plugins/studia/dune-project index 1fb45865162..afe3133659b 100644 --- a/src/plugins/studia/dune-project +++ b/src/plugins/studia/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/users/dune-project b/src/plugins/users/dune-project index de808f5c12f..b2d79d60cc4 100644 --- a/src/plugins/users/dune-project +++ b/src/plugins/users/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/variadic/dune-project b/src/plugins/variadic/dune-project index 8de451bcef1..49f444baf72 100644 --- a/src/plugins/variadic/dune-project +++ b/src/plugins/variadic/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/wp/dune-project b/src/plugins/wp/dune-project index fb6fa24ce8e..03706f9a1cc 100644 --- a/src/plugins/wp/dune-project +++ b/src/plugins/wp/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/tools/hdrck/dune-project b/tools/hdrck/dune-project index c27d6575596..bc13dab0fcc 100644 --- a/tools/hdrck/dune-project +++ b/tools/hdrck/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/tools/lint/dune-project b/tools/lint/dune-project index 23b0e5a0161..803d09ccdff 100644 --- a/tools/lint/dune-project +++ b/tools/lint/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/tools/ptests/dune-project b/tools/ptests/dune-project index 475e7f1d70b..c5e576885d9 100644 --- a/tools/ptests/dune-project +++ b/tools/ptests/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.2) +(lang dune 3.3) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; -- GitLab