Philipp Wendler

Works perfectly for me! I took my existing Eclipse installation with google-java-format 1.17.0 (which identifies itself as 1.13.0) and just put `google-java-format-eclipse-plugin-1.18.1.jar` into `dropins`. After a restart of Eclipse, I...

Is merging this still desired or should it be closed?

Ping? How about deciding on this one?

Is this to be assigned to @SvenUmbricht?

> @PhilippWendler Can we merge this? From my side the PR is ready, do you have anything else to add? This PR is for @MartinSpiessl to review and accept, I...

> Is it really true that JavaSMT does violate this rule for the given formulas? I would say yes. The formulas have "the same structure" as we can see when...

I agree this is useful for people who have turned off auto-rotation of the phone (I find auto-rotation annoying, but I always need to enable it before viewing photos and...

> Related comment: When an expected_verdict can be anything, does it make sense to write `expected_verdict: "False(xy)"` instead of adding `subproperty: xy` to the task-definition? (reasoning: `subproperty` is domain-specific) Well,...

I don't know about eBPF. But if it requires full root, i.e., the same as being uid 0 outside the container, then it will not work. If it requires only...

Sorry, for the late response, I was ill. I want to let you know that we might get someone from GSoC working on this project, but the decision is not...