Add Remote ULM-Wasm Build#712

Closed

sskeirik wants to merge 18 commits intoruntimeverification:masterfrom Pi-Squared-Inc:remote_build

+2,420-353

Commits on Sep 26, 2024

Update CI for PI2 fork (#1 )

Dwight Guth
authored and
dwightguth
committed
use List instead of Map for <locals> cell (#2 )

Dwight Guth
authored and
dwightguth
committed
add master-update branch trigger (#4 )

Dwight Guth
authored and
dwightguth
committed
change <memAddrs> and <mems> cells from Map to List (#5 )

authored and
dwightguth
committed
Pass proof hints flags to kompile (#8 )

alexoltean61
authored and
dwightguth
committed

Commits on Nov 26, 2024

Commits on Dec 3, 2024

Rust unsigned ints (#25 )
virgil-serbanuta
authored

Commits on Dec 5, 2024

Rust: Encoding and decoding data (#27 )
virgil-serbanuta
authored