Linard Arquint

HyperMode `extended` now uses the [SIF plugin](https://github.com/viperproject/silver-sif-extension). For consistency reasons, it would make sense to move `SIFLowGuardTransformer.scala` to the plugin such that we do not need to conditionally run Viper...

Does anyone have a clue why the CI does not run `check-license-headers` and `build-test-deploy-container (PR)` for this PR?

The CI is currently failing due to `commitment-extended.go` and `termination-extended-simple01.gobra` that crash the SIF translation (due to my "fixes"). While I do have locally a fix, I'm hitting an issue...

This PR is currently blocked by https://github.com/viperproject/silver-sif-extension/pull/9 and https://github.com/viperproject/silver-sif-extension/pull/10

Note that this branch currently uses the `arquintl-goto-encoding` instead of `master` branch of [silver-sif-extension](https://github.com/viperproject/silver-sif-extension). We could either wait until https://github.com/viperproject/silver-sif-extension/pull/10 is merged or merge now and wait until the `silver-sif-extension`...

Huh! Is `y` considered to be a ghost variable in the case of `var y = dict[int]int{}`? I was under the impression that for `var` variable declarations, `ghost` is _always_...

The problem is that one has to prove that the same implementation is called in both executions (which would also arise with `--hyperMode extended` if the interface specifies `lowEvent`), i.e.,...

@henriman to find the failing commit (although I'm a bit surprised to hear this ever worked), you can `git bisect` on the commits that you can still find in PR...

This issue describes the current behavior of Gobra. The Go language specification is very ambiguous about what `ImportPath`'s semantics are (see [here](https://go.dev/ref/spec#Import_declarations)). I'm thus wondering what the expected behavior /...

@jcp19 I'm happy to discuss this in person but I can spontaneously think of the following options: - make `gobra-libs` a module, [which seems to already be the case](https://github.com/viperproject/gobra-libs/blob/main/go.mod). You...