Wolfram Pfeifer
Wolfram Pfeifer
Btw.: The support of syntax highlighting in the SourceView panel (screenshot above) is completely independent, as it is done by a handwritten highlighter and has its own list of supported...
Since the reason for the failed proof attempt in #3362 was the missing framing clause, it would probably make sense to show a warning if no framing clause is present...
I just stumbled across this PR recently and noticed that my original use case is not yet solved: ``` import java.util.Arrays; class C { public static void main(String[] args) {...
While it is still a valid feature request to ask for the user choice individually, I just wanted to mention here that there is actually an option under "Options" ->...
Closed by #3499.
Closed by #3543. Thanks, @mattulbrich!
@Drodt Just looking through old PRs ... What is the state of this one? Is it finished and reviewable?
While I am ok with the status quo after this PR, I agree with @wadoon that we should rework the way how our taclet settings work in the future: 1....
After some debugging, I think I found the problem. The syntax clashes with the syntax of dependency contracts for model fields/methods (see accessible clauses below): ```java class MyClass { int...
I already did a review recently and have not yet received any answers to my questions from back then. I am still missing a clear concept in this PR, it...