Sacha Ayoun

Update: I had a very intense deadline the past week and was not able to work on that for a while, I apologise I did make some progress locally although...

I've made some progress but I'm stuck with mainly one thing at the moment, odoc doesn't handle html and latex generation the same way: - For html, it generates folders...

The huge classpath does not contain `rt.jar`, but `prepend_classpath` is set to true (this is with jdk8). That should be enough? In any case, it looks like there is a...

Ok I've tried more things here, and, in the debugger, I can confirm that right before calling `PackManager.v().getPack("cg").apply()`, (during which the `Exception in thread "main" java.lang.RuntimeException: Unresolved type java.lang.Object` happens),...

Hi! So I managed to reproduce it in command-line only and without company-specific tooling / non-public source necessary. Here's the message template generated by soot on error: # Error Steps...

Ok, so I just did so more tests (sorry for spamming here, I should have done that earlier) but actually, it doesn't need all of that. In particular, using TestPdfBoxSoot.jar...

See #1739

So actually, this might not be entirely fixed... I'm still getting a very similar trace, although it now happens a lot less often, but it still does happen on some...

Actually, I managed to reproduce it indepentently This is running with ``` java --version openjdk 11.0.11 2021-04-20 OpenJDK Runtime Environment AdoptOpenJDK-11.0.11+9 (build 11.0.11+9) OpenJDK 64-Bit Server VM AdoptOpenJDK-11.0.11+9 (build 11.0.11+9,...

@freebroccolo hi, if you need any help on this let me know :)