Pin released goblint-cil.2.0.7 for reproducibility

sim642 · sim642 · commit 5d7c2c199e65 · 2025-09-06T10:19:43.000+03:00
diff --git a/goblint.opam b/goblint.opam
@@ -98,8 +98,8 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
 # also remember to generate/adjust goblint.opam.locked!
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  # published goblint-cil 2.0.7 is currently up-to-date, so no pin needed
-  # [ "goblint-cil.2.0.7" "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585" ]
+  # published goblint-cil 2.0.7 is currently up-to-date, but pinned for reproducibility
+  [ "goblint-cil.2.0.7" "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -143,6 +143,10 @@ post-messages: [
   "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
 ]
 pin-depends: [
+  [
+    "goblint-cil.2.0.7"
+    "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585"
+  ]
   [
     "apron.v0.9.15"
     "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a"
diff --git a/goblint.opam.template b/goblint.opam.template
@@ -2,8 +2,8 @@
 # also remember to generate/adjust goblint.opam.locked!
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  # published goblint-cil 2.0.7 is currently up-to-date, so no pin needed
-  # [ "goblint-cil.2.0.7" "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585" ]
+  # published goblint-cil 2.0.7 is currently up-to-date, but pinned for reproducibility
+  [ "goblint-cil.2.0.7" "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]

Original file line number	Diff line number	Diff line change
`@@ -143,6 +143,10 @@ post-messages: [`
`143`	`143`	`"Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}`
`144`	`144`	`]`
`145`	`145`	`pin-depends: [`
	`146`	`+ [`
	`147`	`+ "goblint-cil.2.0.7"`
	`148`	`+ "git+https://github.com/goblint/cil.git#8e2212316ceda6911de2db716933bfb8c64a8585"`
	`149`	`+ ]`
`146`	`150`	`[`
`147`	`151`	`"apron.v0.9.15"`
`148`	`152`	`"git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a"`