← back to paper

Review history

arxiv: 2605.10007 · 2 revisions

Formal Verification of Imperative First-Class Functions in Move

1. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 7.0
   32622 ms 5572 in 1434 out 2026-05-14T21:57:16.206777+00:00
2. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 7.0
   33374 ms 5572 in 1275 out 2026-05-12T03:33:17.077408+00:00