Default Branch

eef5df948b · Merge pull request #3072 from crytic/dependabot/github_actions/master/all-a84dda5603 · Updated 2026-08-06 12:20:32 +00:00

Branches

72ff4ddf10 · exclude tests/mocks from Contract.contracts_derived · Updated 2023-06-05 16:22:36 +00:00    crytic

1515
1

0f65959979 · Revert "testing strategy + coverage workflow" · Updated 2023-03-28 11:38:42 +00:00    crytic

1747
1

55d482c5e7 · try catch clauses can be distinguished (success vs error) · Updated 2023-03-25 16:30:33 +00:00    crytic

1792
1

4939a43338 · update test file · Updated 2023-03-18 04:04:49 +00:00    crytic

1840
3

f23445adfc · ran black · Updated 2023-03-16 19:39:10 +00:00    crytic

2053
8

a091e8ca69 · handle emptry return and documentation str · Updated 2023-03-13 04:40:20 +00:00    crytic

1888
26

7b770e935a · do not warn if gap accounts for storage change · Updated 2023-02-04 05:34:16 +00:00    crytic

2040
1

57a47cf802 · Merge branch 'dev-convert_type_of_high_and_internal_level_call' into dev-prbmath · Updated 2023-01-10 13:13:53 +00:00    crytic

2070
3

05c4328d4b · lint, make deterministic, add more detail to info · Updated 2023-01-09 14:25:23 +00:00    crytic

2307
27

975db9d810 · fixed issue #1223 · Updated 2023-01-05 19:30:28 +00:00    crytic

2197
6

3e86d72ddf · incorrect erc4626 detector · Updated 2023-01-05 18:32:23 +00:00    crytic

2197
5

5f3bada1cc · removed incorrect with from erc4626 incorrect_interface detector · Updated 2023-01-04 14:14:01 +00:00    crytic

2222
2

aa5731465e · Fix · Updated 2022-08-22 16:14:14 +00:00    crytic

2418
3

3ec04b3308 · Lint/format and unsused code removal · Updated 2022-03-29 12:47:15 +00:00    crytic

2682
70

ce96ccebb6 · Refactor zero address validation: · Updated 2022-02-23 09:59:30 +00:00    crytic

2791
4

7abce66a02 · eth-send: callpaths that can send eth (still contain duplicates possibly due to duplicates in slithir) · Updated 2021-01-05 00:12:53 +00:00    crytic

3129
6

a9b50c8a06 · and fix the tests · Updated 2020-10-08 20:49:54 +00:00    crytic

3286
1

63814c80d0 · fix some variabledeclaration tests · Updated 2020-10-03 23:22:24 +00:00    crytic

3301
1

8fba6ba0e5 · Merge pull request #613 from crytic/dev-0.7-sync-88954ac6 · Updated 2020-08-31 12:44:28 +00:00    crytic

3360
64

1b53edcce7 · Improve gas estimation · Updated 2019-01-18 10:25:42 +00:00    crytic

4519
11