Skip to content
This repository was archived by the owner on May 4, 2024. It is now read-only.

Pull requests: move-language/move

65 Open 756 Closed
65 Open 756 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[move-prover] experimental modeling of a heterogeneous key-value store
#937 opened Feb 26, 2023 by meng-xu-cs Collaborator • Draft
[move-analyzer] Enhancement for supporting MSL and completion suggestions
#930 opened Feb 24, 2023 by 0xOutOfGas • Draft
11
[bug fix] Fix doc comment start
#896 opened Feb 14, 2023 by tnowacki Member • Draft
2
[compiler] warn on unused &mut qualifier in parameters
#881 opened Feb 8, 2023 by sblackshear Member Loading…
6
[loader] Expose TypeTag to Type conversion
#873 opened Feb 6, 2023 by awelc Collaborator • Draft
@awelc
1
[prover] Eliminate Boogie code involving unresolved type params
#869 opened Feb 3, 2023 by awelc Collaborator • Draft
[move-stdlib] add next_char_boundary function to to std::string
#849 opened Jan 29, 2023 by bytedeveloperr Loading…
7
[method style syntax] Resurrected 49788a86d8c3d4f9b8f83e796625e086adcc02d6
#848 opened Jan 29, 2023 by tnowacki Member Loading…
3
[borrow v2] Alternative design sketch using a checked reference types
#837 opened Jan 25, 2023 by wrwg Member Loading…
3
[borrow v2] Move borrow semantics v2 (type checker only)
#835 opened Jan 22, 2023 by wrwg Member Loading…
5
Implement safety check for 'balance_of' function
#829 opened Jan 18, 2023 by iamChadH Loading…
Fixed article an to a
#827 opened Jan 17, 2023 by mislam Loading…
Aw/prover custom memory
#810 opened Jan 10, 2023 by awelc Collaborator • Draft
@awelc
1
[14/x][move-package/lock] Clean-up: Avoid explicit PackageLock::unlock
#790 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
2
[13/x][move-package/lock] Externally resolved dependencies
#789 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
[12/x][move-package/lock] Use DependencyGraph in download_dependency_repos
#788 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
1
[11/x][move-package/lock][EASY] Update README
#787 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
[10/x][move-package/lock] Integrate DependencyGraph into ResolvedGraph
#786 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
[9/x][move-package/lock] ResolvingTable
#785 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
10
[8/x][move-package/lock] DependencyGraph::immediate_dependencies
#784 opened Jan 2, 2023 by amnn Collaborator Loading…
@amnn
1
[compiler] warn on unused &mut qualifier in parameters
#778 opened Dec 29, 2022 by sblackshear Member Loading…
2
[7/x][move-package/lock] Move addr_subst and digest to dependency edge
#765 opened Dec 22, 2022 by amnn Collaborator Loading…
@amnn
Instantiation cache
#755 opened Dec 16, 2022 by dariorussi Member • Draft
Type instantiation checks
#749 opened Dec 15, 2022 by dariorussi Member • Draft
2
[resolver] Add a way for storage to return error code
#746 opened Dec 13, 2022 by runtian-zhou Member • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.