issues
search
move-language
/
move
Apache License 2.0
2.25k
stars
679
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Prover] Added a nested loop invariant example
#961
junkil-park
closed
1 year ago
0
[Feature Request] Support type for macro arguments
#960
movekevin
closed
1 year ago
1
[Bug] public Inline functions accessing local struct is not usable by other modules
#959
lightmark
closed
1 year ago
1
[Cherry-Pick][Prover] Declare the memory variables for type parameters in the generated boogie file
#958
junkil-park
closed
1 year ago
0
[Bug] move-analyzer - named addresses - vscode
#957
EmilRejman
opened
1 year ago
8
[Bug] Errors happening in inline functions have confusing messages and don't have the right stack trace
#956
movekevin
closed
1 year ago
1
[Bug] Inline functions do not properly check dropping values
#955
gerben-stavenga
closed
1 year ago
1
[gas] fix NativeContext::exists_at & introduce new gas parameter to fix buggy gas formula in the table extension
#954
vgao1996
closed
1 year ago
1
[Prover] Declare the memory variables for type parameters in the generated boogie file
#953
junkil-park
closed
1 year ago
0
Revert "Rollforward "[vm errors] Propagate status message to adapters""
#952
davidiw
closed
1 year ago
1
give necessary information for charging effectively for exists_at
#951
davidiw
closed
1 year ago
0
[security] Cherry-picking recent security fixes from Aptos
#950
wrwg
closed
1 year ago
3
Rollforward "[vm errors] Propagate status message to adapters"
#949
movekevin
closed
1 year ago
0
Revert "[vm errors] Propagate status message to adapters"
#948
movekevin
closed
1 year ago
0
Correct multisig account status codes, which should be in the range for validation codes
#947
movekevin
closed
1 year ago
0
sorry, I make a mistake
#946
nkysg
closed
1 year ago
1
cherry-pick recent hotfixes onto aptos-v1.2.0
#945
vgao1996
closed
1 year ago
0
Multisig error codes
#944
movekevin
closed
1 year ago
0
cherry-picking the recent hotfixes to aptos-main
#943
vgao1996
closed
1 year ago
0
Fix misspelling of encountered in Move Book standard library file
#942
clay-aptos
closed
1 year ago
0
Replace HTML link in Move Book Generics file with Markdown
#941
clay-aptos
closed
1 year ago
0
Charge native inline within budget
#940
oxade
closed
1 year ago
0
[Move-prover][Cherry-pick] Revise spec for option.move
#939
rahxephon89
closed
1 year ago
0
[Move-prover] Revise spec for option.move
#938
rahxephon89
closed
1 year ago
0
[move-prover] experimental modeling of a heterogeneous key-value store
#937
meng-xu-cs
opened
1 year ago
0
[vm errors] Propagate status message to adapters
#936
wrwg
closed
1 year ago
1
[chore] implement GetModule for all ModuleResolvers
#935
sblackshear
closed
1 year ago
0
[cherry-pick] various small fixes for prover
#934
meng-xu-cs
closed
1 year ago
0
Need Help for Writing a Specification
#933
seyyedaliayati
closed
1 year ago
0
[cherry-pick][table] clean up unused enum
#932
lightmark
closed
1 year ago
0
[move-compiler][move-model] complete the lambda lifting part
#931
meng-xu-cs
closed
1 year ago
0
[move-analyzer] Enhancement for supporting MSL and completion suggestions
#930
0xOutOfGas
opened
1 year ago
10
[move-package] Support overlapping resolution graphs
#929
awelc
closed
1 year ago
1
remove unused trait MoveResource
#928
nkysg
closed
1 year ago
0
fix typo
#927
nkysg
closed
1 year ago
0
[Move-prover][Cherry-pick] Fix duplicated table function instances in boogie
#926
rahxephon89
closed
1 year ago
0
[table] clean up unused enum
#925
lightmark
closed
1 year ago
0
[Move-prover] Fix duplicated table function instances in boogie
#924
rahxephon89
closed
1 year ago
0
[Move-package][Cherry-pick] Restrict searching bytecode within the build folder
#923
rahxephon89
closed
1 year ago
0
[Move-package] Restrict searching bytecode within the build folder
#922
rahxephon89
closed
1 year ago
0
[Feature Request] Allow ignored test to be run when `--ignored` is passed to cargo test.
#921
ksolana
opened
1 year ago
0
[vm] reserve status code for future use
#920
zekun000
closed
1 year ago
2
[package] Allow bytecode version to be set from input
#919
gregnazario
closed
1 year ago
0
[printing] fix bug in StructTag::struct_to_canonical_string
#918
sblackshear
closed
1 year ago
2
[printing] fix bug in StructTag::struct_to_canonical_string
#917
sblackshear
closed
1 year ago
0
[Bug] std::type_name::into_string does not handle multiple generics well
#916
PaulFidika
closed
1 year ago
0
[status code] add EXECUTION_LIMIT_REACHED, IO_LIMIT_REACHED and STORAGE_LIMIT_REACHED
#915
vgao1996
closed
1 year ago
5
[move-package] Avoid using git for already fetched dependencies
#914
awelc
closed
1 year ago
4
[cherry-pick][move-prover] better support for custom natives
#913
meng-xu-cs
closed
1 year ago
0
[cherry-pick][move-prover] better support for custom natives
#912
meng-xu-cs
closed
1 year ago
0
Previous
Next