manud99
manud99
Add `inline` parameter to `DownloadsController` to display PDFs directly in a browser tab. ### Description During development of PDF files I find it handy to display them in a browser...
@JonasAlaif and I are working on a different method to generate snapshots for magic wands. The problem with the current approach is that it is potentially unsound when we apply...
I noticed that the GitHub workflow does not produce any useable output that can be analyzed. This makes it difficult to find out why some tests fail without running the...
The PR [836 for Silicon](https://github.com/viperproject/silicon/pull/836) fixes an issue that was mentioned in Issue [307](https://github.com/viperproject/silicon/issues/307/). For a 100% test score one must remove the `MissingOutput` flag in the test file `conditionals2.vpr`.
In my first PR #836 I didn't fix the `apply` of magic wands with quantified expressions. In this PR I address this issue and propose a fix for all combinations...
Related to viperproject/silver#799
Changes to Silver's test suite for the PR viperproject/silicon#849. Some notes about my changes: * I extended the test suite from #796 with some tests that involve magic wands in...
@JonasAlaif and I have been working on a new inhaling expression. The purpose of this new expression is that we want to temporarily inhale some assertion to check facts that...
These are the test cases that I used while developing Magic Wand Snap Functions. Related to viperproject/silicon#836