Default Branch

master 840c974028 · Use stable foundry version in CI (#5465) · Updated 2 days ago

ZIP  TAR.GZ

Branches

release-v4.7 b438cb695a · Fix MerkleProof natspec · Updated 2 years ago	975 33		ZIP  TAR.GZ
release-v4.8 0a25c1940c · 4.8.3 · Updated 2 years ago	843 28		ZIP  TAR.GZ
release-v4.9 dc44c9f1a4 · Release v4.9.6 (#4931) · Updated 11 months ago	611 42		ZIP  TAR.GZ
release-v5.0 dbb6104ce8 · Release v5.0.2 (#4928) · Updated 11 months ago	379 47		ZIP  TAR.GZ
release-v5.1 69c8def5f2 · Release v5.1.0 (#5265) · Updated 4 months ago	153 53		ZIP  TAR.GZ
release-v5.2 acd4ff74de · Release v5.2.0 (#5419) · Updated 3 weeks ago	80 9		ZIP  TAR.GZ
renovate/certora-cli-7.x 046c4a2d07 · Update dependency certora-cli to v7 · Updated 3 weeks ago	13 1		ZIP  TAR.GZ
renovate/lock-file-maintenance c1180cd152 · Update lockfile · Updated 10 months ago	204 1		ZIP  TAR.GZ
renovate/major-linters 58f1eb4117 · Update dependency eslint-config-prettier to v10 · Updated 2 weeks ago	13 1		ZIP  TAR.GZ
renovate/npm-undici-vulnerability ffb2082d51 · Update dependency undici to v7.2.3 [SECURITY] · Updated 9 hours ago	0 1		ZIP  TAR.GZ
solc-0.6 4e60480fdc · Add a changelog entry · Updated 4 years ago	1546 2		ZIP  TAR.GZ
solc-0.7 352970ef56 · Add a changelog entry · Updated 4 years ago	1525 6		ZIP  TAR.GZ
test/linearization d7864e3b01 · fix linerarisation check · Updated 2 months ago	55 2		ZIP  TAR.GZ
transient/access-manager-execution-id 50bd746ef1 · store execution id in transient storage · Updated 8 months ago	171 1		ZIP  TAR.GZ
typo-fixes 8e91d91d2b · Add missing apostrophe `owner` s to `owner`'s (#5462) · Updated 2 days ago	1 3		ZIP  TAR.GZ
update/certora-7.3.0 2e9cd8cb8c · Merge branch 'master' into update/certora-7.3.0 · Updated 5 months ago	123 8		ZIP  TAR.GZ