8000 Commits · elicharlese/move · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jun 14, 2022

[move-lang] Fix ControlFlowGraph trait (#195)
fEst1ck
authored
[move-vm-runtime] Expose ability function (#198)
tnowacki
authored
[async-move] Return extension context in async move execution api. (#194)

runtian-zhou
and
Runtian Zhou
authored
[Move] Make compilation kill the process on failure/warning optional (#184)
awelc
authored

Commits on Jun 10, 2022

Commits on Jun 8, 2022

[quick fix] Add help for updated expected output files (#188)
tnowacki
authored

Commits on Jun 7, 2022

Commits on Jun 6, 2022

Commits on Jun 5, 2022

[stdlib] add function to convert option to vector (#180)
sblackshear
authored

Commits on Jun 2, 2022

[prover] Implementation of Tables. (#173)
wrwg
authored

Commits on Jun 1, 2022

[tutorial] Cleanup (#175)
wrwg
authored

Commits on May 31, 2022

[github] Naive CI test for the CLI Docker image

villesundell
authored and
vgao1996
committed

Commits on May 29, 2022

[gas_schedule] remove legacy assert (#169)
davidiw
authored

Commits on May 28, 2022

[language server] Added support for passing compilation errors back to the IDE (#167)
awelc
authored

Commits on May 27, 2022

[language server] Added support for displaying compiler diagnostics (#165)
awelc
authored

Commits on May 26, 2022

[scripts] Git installation in dev_setup.sh (#164)
villesundell
authored

Commits on May 25, 2022

[language server] Async symbolication on file saves (#163)
awelc
authored

Commits on May 24, 2022

[language server] Partial implementation of go-to-def and go-to-references (#147)
awelc
authored

Commits on May 23, 2022

Fix minor typo (#162)
oxade
authored
[docker] Added Dockerfile for the Move CLI

villesundell
authored and
vgao1996
committed

Commits on May 21, 2022

Commits on May 18, 2022

Commits on May 17, 2022

[file-format] Introduce metadata in file format (unused for now) (#123)
wrwg
authored

0