8000 Commits · fuzzland/move · GitHub

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

Commits

Commits on Mar 4, 2023

[Prover] Declare the memory variables for type parameters in the generated boogie file (#958)
junkil-park
authored

Commits on Nov 8, 2022

[Prover] Disable the nonlinear test cases that cause timeouts in CI (#649)
junkil-park
authored

Commits on Oct 31, 2022

[docgen] displays "entry" in the function headers of entry functions (#638)
junkil-park
authored

Commits on Oct 30, 2022

Update the Z3 version to the latest one (4.11.2) (#637)
junkil-park
authored

Commits on Oct 26, 2022

[Prover] Added more pragmas for the intrinsic table (#625)
junkil-park
authored

Commits on Oct 4, 2022

[Prover] Bump up the version numbers of Boogie and Z3 (#520)
junkil-park
authored

Commits on Sep 30, 2022

[Prover] fix the spec of `bit_vector::unset` (#521)
junkil-park
authored

Commits on Aug 25, 2022

Commits on Aug 6, 2022

Added some missing native functions in Prover's prelude (#347)
junkil-park
authored

Commits on Aug 2, 2022

Bump up the boogie version to 2.15.7 (#332)
junkil-park
authored

Commits on Aug 1, 2022

Bump up the version number of the Prover dependencies (#309)
junkil-park
authored

Commits on Jul 20, 2022

Make the `move-table-extension` package lowercase (#282)
junkil-park
authored

Commits on May 21, 2022

Added a Prover test for verifying a sorting function (#155)
junkil-park
authored

Commits on May 20, 2022

[move-prover] enable the Diem Framework proving in CI (#154)
junkil-park
authored

Commits on May 18, 2022

Applied the new Move repo address in the tutorial (#148)
junkil-park
authored

Commits on May 13, 2022

`README.md` for `evm` (#118)
junkil-park
authored

Commits on May 3, 2022

Added ERC721Tradable and ERC1155Tradable (#94)
junkil-park
authored

Commits on Apr 18, 2022

[evm] Added ERC721 and ERC1155 Move contracts to the hardhat project (#52)
junkil-park
authored

Commits on Apr 17, 2022

[evm] Added test cases to reproduce bugs in external calls (#44)
junkil-park
authored

Commits on Apr 14, 2022

[evm] Implements `isContract`, and more test cases for external calls (#33)
junkil-park
authored

Commits on Apr 7, 2022

[evm] enabled the gas reporter for the hardhat project

junkil-park
authored and
bors-diem
committed

Commits on Apr 6, 2022

[evm] Added ERC20 Move contracts to the hardhat project

junkil-park
authored and
bors-diem
committed

Commits on Apr 5, 2022

[evm] Fixed the event issue

junkil-park
authored and
bors-diem
committed
[evm] Added a minimal test case to reproduce the issue of the Event emission

junkil-park
authored and
bors-diem
committed

Commits on Apr 4, 2022

[evm] Separated the Move contract tests from the Solidity contract tests

junkil-park
authored and
bors-diem
committed

Commits on Apr 1, 2022

Added more hardhat examples

junkil-park
authored and
bors-diem
committed

Commits on Mar 30, 2022

Created a hardhat project for Move contracts

junkil-park
authored and
bors-diem
committed

Commits on Mar 25, 2022

Added unit tests for ERC20 and ERC1155 contracts

junkil-park
authored and
bors-diem
committed

Commits on Mar 15, 2022

Added a Move example to interact with the existing UniswapV2

junkil-park
authored and
bors-diem
committed

Commits on Mar 10, 2022

[move-to-yul] translate the native functions for the block and transaction properties

junkil-park
authored and
bors-diem
committed

Commits on Mar 3, 2022

Updated ERC examples with U256

junkil-park
authored and
bors-diem
committed

Commits on Feb 28, 2022

Added Move modules for the ERC165, ERC721 contracts and their interfaces

junkil-park
authored and
bors-diem
committed

Commits on Feb 8, 2022

Alternative ERC20 implementation with Table

junkil-park
authored and
jsladermanACN
committed

Commits on Dec 23, 2021

Added more Move examples

junkil-park
authored and
bors-libra
committed

0