Paul Berg
Paul Berg
No objections. Just excitement!
Let's go with `1.2.0`. Can't wait to switch to [package tethering](https://github.com/sablier-labs/company-discussions/discussions/25).
Yes, IIRC
Forge Std change the visibility of `bound`, and this might cause some compilation warnings for users who use a more recent version of Forge Std. See https://github.com/PaulRBerg/prb-math/pull/216 for more context.
It's not the way it was conceptualized in this issue - it has to be in the Core because the goal is to take a user address as an input...
@andreivladbrg I would really like to generate this SMTChecker report before the audits start in November. Can you please work on this task?
I was expecting the report generation to take a long time. But yes, the report is strange. Don't worry in this case, I will pick up this task later. Thanks...
We should upload the SMTChecker report in the docs.
I'll handle this