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