Commits

Branch selector

 main

User selector

wrwg

Datepicker

All time

Commit History

Commits on Dec 16, 2024

• [move-prover] Fix a bug in treatment of type reflection in spec funs (aptos-labs#15606)

  Show description for dd0dcd2
  wrwg

  authored
  dd0dcd2

  Copy full SHA for dd0dcd2

Commits on Dec 13, 2024

• [decompiler] Downgrade to bytecode v6 for Revela (aptos-labs#15597)

  Show description for bd71e35
  wrwg

  authored
  bd71e35

  Copy full SHA for bd71e35

Commits on Nov 3, 2024

• [move-decompiler] Improvements to the astifier (aptos-labs#15026)

  Show description for 9baf39b
  wrwg

  authored
  9baf39b

  Copy full SHA for 9baf39b

Commits on Oct 29, 2024

• [move-decompiler] Model import from binary and basic decompiler setup (aptos-labs#14964)

  Show description for d50e048
  wrwg

  authored
  d50e048

  Copy full SHA for d50e048

Commits on Oct 23, 2024

• [cli] Bumping to 4.2.6 to fix in issue with --move-2 flag (aptos-labs#15064)

  wrwg

  authored
  ad0b8eb

  Copy full SHA for ad0b8eb

Commits on Oct 22, 2024

• [cli 4.2.4] Preparing for CLI release (aptos-labs#15027)

  Show description for 280e15b
  wrwg

  authored
  280e15b

  Copy full SHA for 280e15b

• [compiler-v2] Turns on critical edge elimination since it is needed by enums (aptos-labs#14993)

  Show description for c9315e3
  wrwg

  authored
  c9315e3

  Copy full SHA for c9315e3

Commits on Oct 18, 2024

• [compiler-v2] Add missing ability check of receiver function type parameters (aptos-labs#14987)

  Show description for 1645c96
  wrwg

  authored
  1645c96

  Copy full SHA for 1645c96

• [compiler-v2] Revise ability checking for type parameters (aptos-labs#15006)

  Show description for 87348fc
  wrwg

  authored
  87348fc

  Copy full SHA for 87348fc

Commits on Oct 11, 2024

• [compiler-v2] Add loop labels to the language (aptos-labs#14868)

  Show description for 55e368c
  wrwg

  authored
  55e368c

  Copy full SHA for 55e368c

Commits on Oct 9, 2024

• [compiler-v2] Ast generator from stackless bytecode, Source Gen from Ast (aptos-labs#14494)

  Show description for cbb4431
  wrwg

  authored
  cbb4431

  Copy full SHA for cbb4431

Commits on Oct 8, 2024

• [compiler-v2] Extends existing v1/v2 commparsion process description (aptos-labs#12726)

  Show description for 67f7ee6
  wrwg

  authored
  67f7ee6

  Copy full SHA for 67f7ee6

Commits on Oct 6, 2024

• [move-vm] Make bytecode version v7 the default (aptos-labs#14876)

  Show description for 4bed99d
  wrwg

  authored
  4bed99d

  Copy full SHA for 4bed99d

Commits on Oct 2, 2024

• [move-vm] Check for empty field variant list (aptos-labs#14841)

  wrwg

  authored
  7003c73

  Copy full SHA for 7003c73

Commits on Oct 1, 2024

• [move-vm] Fix a bug in order of bounds checking (aptos-labs#14821)

  wrwg

  authored
  bbe2ba8

  Copy full SHA for bbe2ba8

Commits on Sep 23, 2024

• [compiler-v2][decompiler] Pulling fat-loop algorithm out of the prover (aptos-labs#14488)

  Show description for 51f896c
  wrwg

  authored
  51f896c

  Copy full SHA for 51f896c

Commits on Sep 17, 2024

• [compiler-v2] Disallow empty enum types (aptos-labs#14658)

  Show description for ecfa130
  wrwg

  authored
  ecfa130

  Copy full SHA for ecfa130

• [move-vm] Fixes to enum type implementation (aptos-labs#14657)

  wrwg

  authored
  f92c749

  Copy full SHA for f92c749

Commits on Aug 30, 2024

• [cli] Preparing release 4.1.0 (aptos-labs#14462)

  Show description for 6a130c1
  wrwg

  authored
  6a130c1

  Copy full SHA for 6a130c1

• [compiler-v2] Fix a bug in receiver type inference (aptos-labs#14475)

  Show description for 4fb6577
  wrwg

  authored
  4fb6577

  Copy full SHA for 4fb6577

Commits on Aug 29, 2024

• [compiler-v2] Change compiler abort codes to confirm with std::errors (aptos-labs#14457)

  Show description for b3ab3d7
  wrwg

  authored
  b3ab3d7

  Copy full SHA for b3ab3d7

Commits on Aug 27, 2024

• [compiler-v2] Enable empty field list (aptos-labs#14415)

  Show description for cf7e840
  wrwg

  authored
  cf7e840

  Copy full SHA for cf7e840

• [compiler-v2] Relax syntax for as and is operators (aptos-labs#14420)

  Show description for 818a13c
  wrwg

  authored
  818a13c

  Copy full SHA for 818a13c

• [compiler-v2] Some fixes to enum variant type checking (aptos-labs#14411)

  Show description for 1a639a9
  wrwg

  authored
  1a639a9

  Copy full SHA for 1a639a9

• [compiler-v2] More concise visibility declarations (aptos-labs#14417)

  Show description for 5a8ca0a
  wrwg

  authored
  5a8ca0a

  Copy full SHA for 5a8ca0a

Commits on Aug 21, 2024

• [compiler-v1] Omit warning for unused self parameter (aptos-labs#14368)

  Show description for 3a4cd44
  wrwg

  authored
  3a4cd44

  Copy full SHA for 3a4cd44

Commits on Aug 19, 2024

• [compiler-v2] Do not pop non-droppables on stack flush (aptos-labs#14321)

  Show description for c19821b
  wrwg

  authored
  c19821b

  Copy full SHA for c19821b

• [compiler-v2] Adding and verifying some missing v1 tests (aptos-labs#14316)

  Show description for 64c369c
  wrwg

  authored
  64c369c

  Copy full SHA for 64c369c

• [compiler-v2] Fix issue with autoref of variant field selection (aptos-labs#14312)

  Show description for 7964b40
  wrwg

  authored
  7964b40

  Copy full SHA for 7964b40

• [compiler-v2] Fixing bug in stack balancing of file-format generator (aptos-labs#14310)

  Show description for 0097a21
  wrwg

  authored
  0097a21

  Copy full SHA for 0097a21

Commits on Aug 18, 2024

• [compiler-v2] Fix bug with repeated arguments in file format generator (aptos-labs#14306)

  Show description for 8825060
  wrwg

  authored
  8825060

  Copy full SHA for 8825060

Commits on Aug 17, 2024

• [compiler-v2] Revise copy creation in ability processor (aptos-labs#14292)

  Show description for 385e1ef
  wrwg

  authored
  385e1ef

  Copy full SHA for 385e1ef

• [compiler-v2] Auto-freeze arguments of relational operators (aptos-labs#14282)

  Show description for d392f93
  wrwg

  authored
  d392f93

  Copy full SHA for d392f93

• [compiler-v2] Emitting missing FreezeRef in bytecode_generator (aptos-labs#14280)

  Show description for 4c6b951
  wrwg

  authored
  4c6b951

  Copy full SHA for 4c6b951

• [compiler-v2] New reference safety analysis (aptos-labs#14276)

  Show description for 9dde487
  wrwg

  authored
  9dde487

  Copy full SHA for 9dde487

Pagination

Previous

Next