tschoesi
tschoesi
### I'm opening this issue because: - [x] I'll report a bug ### Description On some websites, the hint characters for following links are misplaced. #### Steps to Reproduce 1....
The dockerfiles unneccessarily expose the database container ports on the host machine (which could already be in use). See [here](https://github.com/passbolt/passbolt_docker/blob/master/docker-compose-pro.yml#L10). It would be better to use `links` to connect to...
Silicon contains some code related to the `fresh` statement that according to @mschwerhoff is not needed anymore and could be removed See for example [here](https://github.com/viperproject/silicon/blob/d7b658cea626f54fefb3a6a57cdc89f3bcd7ff68/src/main/scala/state/Terms.scala#L2133) and [Silver Issue 87](https://github.com/viperproject/silver/issues/87).
Same as in [Issue 550](https://github.com/viperproject/silicon/issues/550), Silicon doesn't verify [this assertion](https://github.com/viperproject/silver/blob/83ff132b847fd97ef20e1b622167de706d52a29a/src/test/resources/wands/new_syntax/QPWands.vpr#L38) anymore with the changes from [PR 549](https://github.com/viperproject/silicon/pull/549).
With the changes from [PR 549](https://github.com/viperproject/silicon/pull/549), which enable silicon to report one error per branch, [this assertion](https://github.com/viperproject/silver/blob/b2f9190a9794bcc31ce93f580c1aff2dbfcc2a07/src/test/resources/wands/examples/list_insert_tmp.vpr#L132) doesn't verify anymore. I believe that this is not directly a result of...
Carbon currently reports an error for [this assertion](https://github.com/viperproject/silver/blob/83ff132b847fd97ef20e1b622167de706d52a29a/src/test/resources/all/issues/silicon/0083.vpr#L21), and I think it shouldn't. ``` 1. method test2(xs: Seq[Int], n: Int) 2. requires 5 < n 3. //:: ExpectedOutput(not.wellformed:seq.index.length) 4. requires...
### The bug The new "hold to play" feature for motion photos is really awesome! One thing that bugs me there though is that this stops other media playback (e.g....
Hello, I was wondering whether it is possible to programmatically reset the condition tree.