Scott Rose issues

Repositories
Issues
Comments

Results 2 issues of


                                            Scott Rose

# Syntax: Change rewrite arrow to `<-`

## Description This PR implements the enhancement requested in [Issue #128](https://github.com/ethereum/act/issues/128). Currently, both rewrites and implications use the same `=>` syntax in Act specifications, which can be confusing. This PR...

Feat/59 add natspec descriptions

Adds NatSpec descriptions to generated functions in the Contracts Wizard. This improves code documentation and maintainability by providing clear documentation for all generated functions. Closes #59