Ernesto García f1a69f164e Add Halmos support for formal verification (#5034) hai 1 ano
..
checks fe68c12f9c Fix spelling (#5049) hai 1 ano
generate f1a69f164e Add Halmos support for formal verification (#5034) hai 1 ano
release 5d43060cdc Fix release tagging (#4646) %!s(int64=2) %!d(string=hai) anos
solhint-custom ce7e6042a8 Add version to custom Solhint plugin %!s(int64=2) %!d(string=hai) anos
upgradeable 11dc5e3809 Expose an initializer function for non-abstract contracts in their upgradeable versions (#5008) hai 1 ano
gen-nav.js a28aafdc85 Use Prettier for JS files (#3913) %!s(int64=2) %!d(string=hai) anos
git-user-config.sh 7c47ac7193 Add workflow to generate and update docs branches %!s(int64=3) %!d(string=hai) anos
helpers.js d6ad9db0a0 Add transient storage slot support in StorageSlot.sol (#4980) hai 1 ano
prepack.sh 58463a9823 Enable partial transpilation for upgradeable package (#4628) %!s(int64=2) %!d(string=hai) anos
prepare-docs.sh 3902a410f1 Remove DOMAIN_SEPARATOR from Votes and update docs examples (#4297) %!s(int64=2) %!d(string=hai) anos
remove-ignored-artifacts.js 58463a9823 Enable partial transpilation for upgradeable package (#4628) %!s(int64=2) %!d(string=hai) anos
update-docs-branch.js f0316a4cef Fix docs updates on prereleases %!s(int64=2) %!d(string=hai) anos