Commits

Branch selector

 main

User selector

rahxephon89

Datepicker

All time

Commit History

Commits on Nov 2, 2023

• add failed spec (aptos-labs#10765)

  rahxephon89

  authored
  6433a31

• bring the feature flag SPONSORED_AUTOMATIC_ACCOUNT_CREATION back (aptos-labs#10759)

  rahxephon89

  authored
  3c7b1fe

Commits on Oct 30, 2023

• fix spec (aptos-labs#10724)

  rahxephon89

  authored
  5d7c797

Commits on Oct 12, 2023

• [Compiler] remove an unnecessary assertion in visibility translation (aptos-labs#10470)

  Show description for 1369e2e
  rahxephon89

  authored
  1369e2e

Commits on Oct 6, 2023

• solve timeout (aptos-labs#10425)

  rahxephon89

  authored
  1685edf

Commits on Sep 28, 2023

• [Spec] Fix spec (aptos-labs#10215)

  Show description for bfcc03a
  rahxephon89

  authored
  bfcc03a

Commits on Sep 21, 2023

• add print-metadata to download (aptos-labs#10138)

  rahxephon89

  authored
  f93cfdd

Commits on Sep 20, 2023

• add print package metadata (aptos-labs#10031)

  rahxephon89

  authored
  55398e7

Commits on Sep 19, 2023

• Update replay-verify.yaml (aptos-labs#10104)

  rahxephon89

  authored
  cee1fc3

Commits on Sep 18, 2023

• Update replay-verify.yaml (aptos-labs#10098)

  Show description for 0ae053a
  rahxephon89

  authored
  0ae053a

Commits on Sep 12, 2023

• remove id (aptos-labs#9944)

  rahxephon89

  authored
  bc2cd13

Commits on Aug 29, 2023

• [Spec][move-prover] Multiple minor changes in specs and the prover lab (aptos-labs#9797)

  Show description for c3c9eff
  rahxephon89

  authored
  c3c9eff

Commits on Aug 7, 2023

• fix spec (aptos-labs#9528)

  rahxephon89

  authored
  a4e81b8

Commits on Jul 29, 2023

• fix spec (aptos-labs#9367)

  rahxephon89

  authored
  991c7ed

Commits on Jul 27, 2023

• add flag (aptos-labs#9337)

  rahxephon89

  authored
  e376070

Commits on Jul 21, 2023

• fix spec (aptos-labs#9218)

  rahxephon89

  authored
  bd1e59d

Commits on Jul 15, 2023

• high-level specs (aptos-labs#9085)

  rahxephon89

  authored
  46869ab

Commits on Jul 11, 2023

• high-level spec for resource account (aptos-labs#9033)

  rahxephon89

  authored
  5560a2d

Commits on Jul 7, 2023

• add specs (aptos-labs#8952)

  rahxephon89

  authored
  846f675

Commits on Jun 20, 2023

• disable spec

  

  rahxephon89

  authored and

  JoshLind

  committed
  d2311da

Commits on Jun 13, 2023

• fix aptos account spec block (aptos-labs#8640)

  rahxephon89

  authored
  015bc88

Commits on Jun 7, 2023

• [Prover][Spec] Fix apply schema (aptos-labs#8518)

  Show description for aaadc26
  

  rahxephon89

  and

  geekflyer

  authored
  aaadc26

Commits on Jun 1, 2023

• add txn to skip (aptos-labs#8480)

  rahxephon89

  authored
  76b4e70

Commits on May 31, 2023

• supply-properties (aptos-labs#8388)

  rahxephon89

  authored
  f2b84c8

Commits on May 6, 2023

• [doc] Fix the folder layout of the example in the section Using Bytecode for Dependencies (aptos-labs#8087)

  Show description for bf51dae
  

  rahxephon89

  and

  davidiw

  authored
  bf51dae

Commits on Apr 20, 2023

• remove TODO comment (aptos-labs#7874)

  rahxephon89

  authored
  4384f93

Commits on Apr 13, 2023

• fix diem specs (aptos-labs#7754)

  rahxephon89

  authored
  c218c01

• Revert "remove invariant error" (aptos-labs#70)

  Show description for f20af4b
  

  rahxephon89

  authored and

  wrwg

  committed
  f20af4b

Commits on Apr 11, 2023

• fix internal (aptos-labs#7673)

  rahxephon89

  authored
  16faac4

Commits on Apr 10, 2023

• name conflict error (aptos-labs#7661)

  rahxephon89

  authored
  56fee6f

Commits on Apr 7, 2023

• [Move-prover][Spec] Revive the pragma verify_duration_estimate (aptos-labs#7634)

  Show description for c5c3cec
  rahxephon89

  authored
  c5c3cec

Commits on Apr 5, 2023

• [Spec] Add boogie natives for newly added public methods in vector (aptos-labs#7558)

  Show description for 85f562b
  rahxephon89

  authored
  85f562b

• fix ghost update (aptos-labs#7491)

  rahxephon89

  authored
  9b69a0e

Commits on Mar 29, 2023

• remove ignore (aptos-labs#7296)

  rahxephon89

  authored
  e65e141

Commits on Mar 26, 2023

• add borrow_mut_with_default spec (aptos-labs#7387)

  rahxephon89

  authored
  e9672b3

Pagination

PreviousNext