Matthijs van den Bos

@tschuchortdev @yigit We just encountered the issue that .class files are not generated anymore when using the latest version of KSP. This seems to have the same root cause as...

Hi @spekulatius , my apologies for the very late reply. One way (not tested by me) could be this: * Set the [allow_redirects](https://docs.guzzlephp.org/en/stable/request-options.html#allow-redirects) option on the Guzzle request handler when...

@spekulatius If I am not mistaken, any uri matched by `UriFilter.match()` is removed. That means it can be used to remove things, which means it can be used to disallow?...

I think passing in the contents as a string makes the filter simpler and single responsibility. It will be fine, since robots.txt files are generally not huge.

Thanks for the update. Take your time

> I ended up writing my own filter plugin that behaves as I described above. Let me know if you'd like me to create a PR to add it to...

@tromer , are there any plans to move forward with this? Currently, this assertion terminates proof generation when a gadget I use receives invalid input: https://github.com/scipr-lab/libsnark/blob/master/libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc#L216 Is there any way...

Yes, I would love to be able to specify dirs like `.gradle` and `gradle` for all projects.

Hey @spekulatius , a bit late but I just merged #93. Does that satisfy your need? I can imagine you already found another solution in the meantime. :-D

See `example_complex.php`. It adds the statshandler to the downloader and at the end interates over all failures. This should show you all failed URLs with their reason. First register the...