Skip to content

[new release] goblint (2.6.0)#28447

Merged
shonfeder merged 1 commit intoocaml:masterfrom
sim642:release-goblint-v2.6.0
Sep 5, 2025
Merged

[new release] goblint (2.6.0)#28447
shonfeder merged 1 commit intoocaml:masterfrom
sim642:release-goblint-v2.6.0

Commits

Commits on Sep 5, 2025