Paul Berg

Results 723 comments of Paul Berg

> Yes, would really like natspec tags for Solidity constants and modules. Yes, please! In PRBMath, I have dedicated `Constants.sol` files. It would be great if Solidity provides NatSpec supports...

Just bumped into this issue while installing @mds1's library [solidity-generators](https://github.com/mds1/solidity-generators). I also have absolute import paths, and I want to counter @mattsse's suggestion from above that we should simply use...

Don't think this issue should have been closed? https://github.com/mds1/solidity-generators/pull/2 was related but it didn't fix the issue with Foundry itself.

For future reference: when @mattsse said this: > simply overwrite the remapping. He was referring to set one or more of the following remappings in your project: ```txt script/=script/ src/=src/...

Related: https://github.com/foundry-rs/foundry/issues/5447

If this was as completed, how can the feature be used? Perhaps this should have been closed as "outdated".

`llms.txt` would be so great

This is an interesting proposal, but just so I understand it correctly, is the idea to annotate the production contract with this sort of comment? ```solidity /// @invariant verifyBalanceOf ```...

I see, thanks for confirming. In this case, I will make a similar proposal to that made in #4085, which is to use the NatSpec prefix `@custom:`: ```solidity /// @custom:invariant...