8000 Commits · mliu-dark-knight/move · GitHub

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

Commits

Commits on Feb 23, 2023

Commits on Feb 22, 2023

[printing] fix bug in StructTag::struct_to_canonical_string (#918)
sblackshear
authored
[Cherry-pick][Move-package] En 8000 able bytecode as dependencies (#906)
rahxephon89
authored

Commits on Feb 20, 2023

revise spec (#908)
rahxephon89
authored

Commits on Feb 18, 2023

[move-prover] address comments on the boogie natives
meng-xu-cs
committed
[move-prover] allow multiple type insts to pass through template
meng-xu-cs
committed
[move-prover] special case custom borrow natives in analysis
meng-xu-cs
committed
[move-prover] use custom borrow annotation for regular move functions
meng-xu-cs
committed
< 8000 div class="Box-sc-g0xbh4-0 LoadingSkeleton-sc-695d630a-0 fIQuDd irOdmh d-none d-sm-flex ml-2" width="20px">

Commits on Feb 16, 2023

Commits on Feb 13, 2023

add support for insert (#878)
rahxephon89
authored

Commits on Feb 6, 2023

[move-prover] collect types in write-back chain for mono analysis
meng-xu-cs
committed

Commits on Jan 23, 2023

[6/x][move-package/lock] LockFile and DependencyGraph (#760)
amnn
authored

Commits on Jan 22, 2023

Commits on Jan 20, 2023

[prover] Added a Boogie model for vector::insert function (#831)
awelc
authored

Commits on Jan 17, 2023

Commits on Jan 10, 2023

Commits on Jan 7, 2023

Testing limit scenarios (#779)
dariorussi
authored

Commits on Jan 6, 2023

0