LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

move-ls

SOELTH/move-ls

OtherEmerging

Stars

1

Forks

—

Contributors

8

Last push

39mo ago

Recent commits

Latest commits.

Fix typo (#1015)
0151500fEst1ck.github.io39mo ago
[vm] reserve status code for future use
47bb636Zekun Li40mo ago
[status code] add EXECUTION_LIMIT_REACHED, IO_LIMIT_REACHED and STORAGE_LIMIT_REACHED
134b745Victor Gao40mo ago
[security] Cherry-picking recent security fixes from Aptos (#950)
bbd5cafWolfgang Grieskamp40mo ago
[prover] fix reporting for escape analysis (#972)
fc1871bSam Blackshear40mo ago

[Prover] Declare the memory variables for type parameters in the generated boogie file (#958)

74a7436Junkil Park40mo ago

add borrow-mut spec (#939)

171bc49Teng Zhang40mo ago

[table] clean up unused enum

3528240Aaron Gao40mo ago

Top contributors

Builders behind this project.