8000 Commits · hectoralexander/move · GitHub

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

Commits

Commits on Jan 20, 2023

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

Commits on Dec 12, 2022

[prover] Fix for incorrect generation of old values (#736)
awelc
authored

Commits on Dec 7, 2022

[loader] Fixed a node counting problem (#726)
awelc
authored

Commits on Dec 5, 2022

[compiler] Added info about function attributes as annotations (#714)
awelc
authored
[Prover] Generalize handling of native methods in borrow checker (#679)
awelc
authored

Commits on Nov 9, 2022

[Prover] Added support for new primitive types to arithmetic ops (#658)
awelc
authored

Commits on Nov 4, 2022

[build] Added additional diagnostics for fetching deps (#643)
awelc
authored

Commits on Oct 24, 2022

[test] Additions to txn testing framework to handle strings (#585)
awelc
authored

Commits on Sep 7, 2022

[move-test] Inclusion of debug module no longer gated by the testing feature (#440)
awelc
authored

Commits on Aug 18, 2022

[move-analyzer] Added support for displaying paramter names on hover (#389)
awelc
authored

Commits on Aug 2, 2022

[cli] Added the ability to add custom content to generated Move.toml files (#331)
awelc
authored

Commits on Jul 25, 2022

[Move analyzer] Increased stack size of initial symbolication run (#306)
awelc
authored

Commits on Jul 22, 2022

[Move analyzer] Added support for building and running on Windows (#292)
awelc
authored

Commits on Jul 18, 2022

[Move analyzer] Added support for computing first symbol info synchronously (#259)
awelc
authored

Commits on Jul 13, 2022

Commits on Jul 7, 2022

[move-prover] Refactored options creation for better reuse (#250)
awelc
authored

Commits on Jul 6, 2022

[Move analyzer] Added Move icon to VSCode extension plus version bump to accommodate updated docs (#241)
awelc
authored

Commits on Jul 2, 2022

[CLI] Parameterized new package creation for better reuse (#235)
awelc
authored

Commits on Jun 30, 2022

[Move analyzer] Added a more meaningful missing manifest message (#233)
awelc
authored

Commits on Jun 29, 2022

Commits on Jun 28, 2022

Commits on Jun 27, 2022

[Move] Fixed displaying compiler diagnostics in the IDE (#225)
awelc
authored

Commits on Jun 24, 2022

[Move] Added Move analyzer's support for multi-root workspaces (#220)
awelc
authored

Commits on Jun 23, 2022

[Move] Replaced syntax highlighting with a more advanced version (#201)
awelc
authored

Commits on Jun 20, 2022

[Move] Added support for go-to-type-def (#209)
awelc
authored

Commits on Jun 17, 2022

[Move] Pass warnging diagnostics from the language server to the IDE (#203)
awelc
authored

Commits on Jun 16, 2022

Commits on Jun 14, 2022

[Move] Make compilation kill the process on failure/warning optional (#184)
awelc
authored

Commits on May 28, 2022

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

0