fix(go): dafny array performance#825

Merged

ShubhamChaturvedi7 merged 8 commits intomainlinefrom

Oct 29, 2025

Commits on Sep 25, 2025

fix: ESDK Fix
Shubham Chaturvedi
committed

Commits on Sep 26, 2025

fix: TV and PerfTests
Shubham Chaturvedi
committed

Commits on Oct 28, 2025

Merge branch 'mainline' into GoPerfFix
Shubham Chaturvedi
committed
update DafnyGoRuntime v4.11.2
Shubham Chaturvedi
committed
fix(perf): Use DafnyRuntimeGo v4.11.2
Shubham Chaturvedi
committed
fix(TV): Use DafnyRuntimeGo v4.11.2
Shubham Chaturvedi
committed
chore: update mpl
Shubham Chaturvedi
committed

Commits on Oct 29, 2025

chore: fix CI
Shubham Chaturvedi
committed