So exciting to see progress on this! I'm working on the blackbox verifier so was asked by my research team not to look at your code until I'm done so it won't influence my design decisions (even subconsciously) and so we communicate all interfaces via the spec and don't assume things we see in each other code... let's connect on Gitter to discuss next steps...
So exciting to see progress on this! I'm working on the blackbox verifier so was asked by my research team not to look at your code until I'm done so it won't influence my design decisions (even subconsciously) and so we communicate all interfaces via the spec and don't assume things we see in each other code... let's connect on Gitter to discuss next steps...