Jonathan Protzenko

icon indicating a website link https://jonathan.protzenko.fr

icon company Microsoft icon location Redmond, WA icon location This is my professional GitHub account to record my contributions with my @Microsoft (MS) employee hat on. My open-source work is done with the @protz hat on

Results 404 comments of Jonathan Protzenko

Upgrade Z3 to 4.13.3

Ok that's really encouraging. Do you suspect an rlimit leak still? Maybe @Chris-Hawblitzel would have the ability to take a look

Upgrade Z3 to 4.13.3

Ok so then we'd have to debug what exactly is the problematic proof. Thanks Chris.

Upgrade Z3 to 4.13.3

@R1kM if you managed to verify those files, do you mind pushing fresh hints to see if that helps?

Upgrade Z3 to 4.13.3

at this stage I'm tempted to push a build to CI with those hints and see how it behaves (provided CI has a timeout...)