search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
290 stars 59 forks source link

Optimize Flows computation for extreme cases #135

Closed sifislag closed 3 months ago

sifislag commented 3 months ago

Significant improvement, merging.

For ir contracts:

ANALYTIC: client_time
may24-ir-master-clients (common): 3532.987074136734 (+19.25%)
may24-ir-yannis-clients (common): 2962.6741061210632

For 08 contracts:

ANALYTIC: client_time
may24-08-master-clients (common): 1156.7171747684479 (+5.073%)
may24-08-yannis-clients (common): 1100.8655698299408
github-actions[bot] commented 3 months ago

Test Results (Souffle 2.3)

54 tests  ±0   54 :white_check_mark: ±0   32m 16s :stopwatch: - 3m 51s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit cbd7e578. ± Comparison against base commit 800cdff3.

github-actions[bot] commented 3 months ago

Test Results (Souffle 2.4)

54 tests  ±0   54 :white_check_mark: ±0   33m 47s :stopwatch: +26s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit cbd7e578. ± Comparison against base commit 800cdff3.