Commits · asi90sp/move · GitHub

8000 Commits · asi90sp/move · GitHub

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

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

Skip to content

Navigation Menu

Sign in
Appearance settings

GitHub Copilot
Write better code with AI

GitHub Models New
Manage and compare prompts

GitHub Advanced Security
Find and fix vulnerabilities

Actions
Automate any workflow

Codespaces
Instant dev environments

Issues
Plan and track work

Code Review
Manage code changes

Discussions
Collaborate outside of code

Code Search
Find more, search less

Explore

Why GitHub

All features

Documentation

GitHub Skills

Blog

By company size

Enterprises

Small and medium teams

Startups

Nonprofits

By use case

DevSecOps

DevOps

CI/CD

View all use cases

By industry

Healthcare

Financial services

Manufacturing

Government

View all industries

View all solutions

Topics

AI

DevOps

Security

Software Development

View all

Explore

Learning Pathways

Events & Webinars

Ebooks & Whitepapers

Customer Stories

Partners

Executive Insights

GitHub Sponsors
Fund open source developers

The ReadME Project
GitHub community articles

Repositories

Topics

Trending

Collections

Enterprise platform
AI-powered developer platform

Available add-ons

GitHub Advanced Security
Enterprise-grade security features

Copilot for business
Enterprise-grade AI features

Premium Support
Enterprise-grade 24/7 support

Pricing

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Sign in
Sign up
Appearance settings

asi90sp / move Public
forked from move-language/move

Notifications You must be signed in to change notification settings

Fork 0

Star 2

Code

Pull requests

Actions

Projects

Security

Insights

Additional navigation options

Commits
Branch selector
User selector
Datepicker
Commit History
Commits on Jul 8, 2023
Update functions.md (#1065)
benbackend
authored
Commits on Jul 4, 2023
Update abilities.md

ghpZ54K8ZRwU62zGVSePPs97yAv9swuAY0mVDR4
authored and
wrwg
committed
Commits on Jun 9, 2023
Bound runtime value depth for Move values (#1060)
tzakian
authored
Update BasicCoin.move

ghpZ54K8ZRwU62zGVSePPs97yAv9swuAY0mVDR4
authored and
wrwg
committed
Commits on Apr 12, 2023
[bug fix] Remove incorrect overflow guard (#1034)
tnowacki
authored
Commits on Mar 28, 2023
Fix typo (#1015)
fEst1ck
authored
Commits on Mar 14, 2023
[vm] reserve status code for future use

zekun000
authored and
vgao1996
committed
[status code] add EXECUTION_LIMIT_REACHED, IO_LIMIT_REACHED and STORAGE_LIMIT_REACHED
vgao1996
committed
Commits on Mar 10, 2023
[security] Cherry-picking recent security fixes from Aptos (#950)

authored
[prover] fix reporting for escape analysis (#972)
sblackshear
authored
Commits on Mar 4, 2023
[Prover] Declare the memory variables for type parameters in the generated boogie file (#958)
junkil-park
authored
Commits on Feb 27, 2023
add borrow-mut spec (#939)
rahxephon89
authored
Commits on Feb 24, 2023
[table] clean up unused enum

lightmark
authored and
vgao1996
committed
Commits on Feb 23, 2023
fix typo (#927)
nkysg
authored
[package] Allow bytecode version to be set from input (#919)
gregnazario
authored
fix table instantiation bugs (#926)
rahxephon89
authored
restrict bytecode to build (#923)
rahxephon89
authored
Commits on Feb 22, 2023
[printing] fix bug in StructTag::struct_to_canonical_string (#918)
sblackshear
authored
[Cherry-pick][Move-package] Enable 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
Commits on Feb 16, 2023
fixup! [move-prover] table intrinsic: bug fix and new intrinsic function
meng-xu-cs
committed
[move-prover] table intrinsic: bug fix and new intrinsic function
meng-xu-cs
committed
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
[README] Fix Discord invite so badge is updated (#834)
gregnazario
authored
[move-prover] special casing havoc in reach-def annalysis
meng-xu-cs
committed
Commits on Jan 20, 2023
[prover] Added a Boogie model for vector::insert function (#831)
awelc
authored
Commits on Jan 19, 2023
Cherry-pick the fix of limit instantiation recursion for all type instantiation onto main (#816)

rahxephon89
and
Dario Russi
authored
allow global var to be assigned in spec blocks. (#830)
rahxephon89
authored
add support for spec funs (#782)
rahxephon89
authored
Pagination
Previous
Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

0