TheDude

0 Followers · 0 Following

• Joined on Dec 12, 2022

Repositories Packages Public Activity Starred Repositories

Loading Heatmap…

TheDude synced commits to dev-fix-override-reorder at TheDude/slither from mirror

12 hours ago

TheDude synced new reference dev-fix-override-reorder to TheDude/slither from mirror

12 hours ago

TheDude synced and deleted reference dev-fix-windows at TheDude/echidna from mirror

12 hours ago

TheDude synced and deleted reference dev-total-calls at TheDude/echidna from mirror

12 hours ago

TheDude synced commits to master at TheDude/echidna from mirror

• 602686a860 ci: windows: apply libff patch carried by hevm
• 1e1531cf58 ci: windows: use builtin GHC clang toolchain to build dependencies
• 162b986d7d Print total calls as part of the stats on exit
• Compare 3 commits »

12 hours ago

TheDude synced and deleted reference dependabot/github_actions/DeterminateSystems/nix-installer-action-16 at TheDude/echidna from mirror

20 hours ago

TheDude synced and deleted reference dev-disable-slither at TheDude/echidna from mirror

20 hours ago

TheDude synced commits to master at TheDude/echidna from mirror

• 740e950e76 Allow disabling Slither (#1327)
• 0db6f4c631 Bump DeterminateSystems/nix-installer-action from 15 to 16 (#1330)
• Compare 2 commits »

20 hours ago

TheDude synced commits to dev-fix-windows at TheDude/echidna from mirror

1 day ago

TheDude synced new reference dev-fix-windows to TheDude/echidna from mirror

1 day ago

TheDude synced commits to upgrade-hevm-prank at TheDude/echidna from mirror

• 5b3878386c Upgrade `hevm` to upstream `fix_prank`

5 days ago

TheDude synced commits to upgrade-hevm-prank at TheDude/echidna from mirror

6 days ago

TheDude synced new reference upgrade-hevm-prank to TheDude/echidna from mirror

6 days ago

TheDude synced commits to master at TheDude/solidity-coverage from mirror

• 0a9ac9672b 0.8.14
• 7c64eb6123 Add transient storage support (#898)
• Compare 2 commits »

1 week ago

TheDude synced commits to refs/tags/v0.8.14 at TheDude/solidity-coverage from mirror

1 week ago

TheDude synced new reference refs/tags/v0.8.14 to TheDude/solidity-coverage from mirror

1 week ago

TheDude synced commits to master at TheDude/solidity-coverage from mirror

• de0452a858 Update matrix.md (#896)

1 week ago

TheDude synced and deleted reference dependabot/github_actions/dev/super-linter/super-linter-7.1.0 at TheDude/slither from mirror

2 weeks ago

TheDude synced commits to dependabot/github_actions/dev/super-linter/super-linter-7.2.0 at TheDude/slither from mirror

2 weeks ago

TheDude synced new reference dependabot/github_actions/dev/super-linter/super-linter-7.2.0 to TheDude/slither from mirror

2 weeks ago