Closed 0xJepsen closed 3 months ago
I also feel like this should be a PR outside of the audit fixes. I imagine we will continue to edit the solvers as we need, so these will continue to be "unaudited", but i'll leave this up to @clemlak to decide on what to do
Sure yeah review all you need.
I agree with Alex, maybe we should merge this into another branch later because the fix/spearbit-audit
branch might be used by the auditors to check the fixes.
Closed in favor of #130
Closes #115
I'm sure this can be cleaner but this does what I want.