Linard Arquint
Linard Arquint
If I start my application with a GridView in landscape mode an the iPad simulator, the frame and bounds of the view are correctly adjusted, but if I tap outside...
This PR updates Font Awesome from `v5.11.2` to `v6.4.2`
This PR depends on PRs #747 & #755 and should, thus, be reviewed and merged only after merging the mentioned PRs. This PR adds ghost fields, i.e., allows the use...
Gobra should reject pure functions that use themselves as a termination measure. While Viper issues a consistency error, Gobra does not.
This PR adds support for ghost pointers. However, ghost fields will be added by a separate PR. Note that this PR does not address the issue of calling ghost functions...
This PR depends on PR #747 and should thus only be reviewed & merged afterwards. This PR checks that ghost code does not contain calls to non-ghost impure functions. Note...
The following program successfully verifies despite leading to an infinite loop at runtime, since `break` only escapes the `switch` statement but not the loop: ```go package test decreases func foo()...
The following program causes a violation during encoding: ``` type ChannelMsgType int const ChannelMsg ChannelMsgType = 42 pred sendInvariant(v ChannelMsgType) { true } requires acc(channel.SendChannel(), 1/2) requires channel.SendGivenPerm() == sendInvariant!...
The following program results in an illegal state exception "Cycle detected in attribute evaluation 'store' at pkg.T" because (presumably) the parameter `pkg` is not correctly treated as being distinct from...
The following assertion currently fails with and without `--overflow` flag (see `examples/tour/Test1.gobra`): ``` func type1(a uint) { assert 0