search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
299 stars 63 forks source link

Minor improvements to the tight packing analysis #163

Closed sifislag closed 2 days ago

sifislag commented 3 days ago

Mainly increasing completeness.

github-actions[bot] commented 2 days ago

Test Results (Souffle 2.3)

57 tests  ±0   57 ✅ ±0   39m 50s ⏱️ - 2m 12s  1 suites ±0    0 💤 ±0   1 files   ±0    0 ❌ ±0 

Results for commit 51c49d69. ± Comparison against base commit ea312a9b.

github-actions[bot] commented 2 days ago

Test Results (Souffle 2.4)

57 tests  ±0   57 ✅ ±0   40m 41s ⏱️ +10s  1 suites ±0    0 💤 ±0   1 files   ±0    0 ❌ ±0 

Results for commit 51c49d69. ± Comparison against base commit ea312a9b.