Commits

Branch selector

 main

User selector

rahxephon89

Datepicker

All time

Commit History

Commits on Nov 14, 2025

• [move-unit-test][CLI] override option module in move unit tests (#18105)

  Show description for 236dc1c
  rahxephon89

  authored
  236dc1c

  Copy full SHA for 236dc1c

Commits on Nov 13, 2025

• [compiler] add visibility modifier to structs/enums: step 1 (#18022)

  Show description for b5aa9ee
  rahxephon89

  authored
  b5aa9ee

  Copy full SHA for b5aa9ee

Commits on Nov 5, 2025

• fix replay (#18038)

  rahxephon89

  authored
  ebacc96

  Copy full SHA for ebacc96

Commits on Oct 28, 2025

• fix (#17974)

  rahxephon89

  authored
  659530d

  Copy full SHA for 659530d

Commits on Oct 25, 2025

• [compiler] Do not inline function with abort (#17950)

  Show description for 6693c9e
  rahxephon89

  authored
  6693c9e

  Copy full SHA for 6693c9e

Commits on Oct 24, 2025

• fix abi for option (#17955)

  rahxephon89

  authored
  68ed0d1

  Copy full SHA for 68ed0d1

Commits on Oct 23, 2025

• update version (#17945)

  rahxephon89

  authored
  f82bfb6

  Copy full SHA for f82bfb6

Commits on Oct 22, 2025

• [move] refactor option: step 2 (#17774)

  Show description for 48d90cf
  rahxephon89

  authored
  48d90cf

  Copy full SHA for 48d90cf

Commits on Oct 17, 2025

• [vm] keep MEMORY_LIMIT_EXCEEDED (#17851)

  Show description for 064ca48
  rahxephon89

  authored
  064ca48

  Copy full SHA for 064ca48

Commits on Oct 16, 2025

• fix experiments flag and add it to prebuild (#17883)

  rahxephon89

  authored
  cbf533c

  Copy full SHA for cbf533c

Commits on Oct 15, 2025

• delete unused code (#17849)

  rahxephon89

  authored
  535c6b5

  Copy full SHA for 535c6b5

Commits on Oct 9, 2025

• fix acquire list (#17817)

  rahxephon89

  authored
  b93ba2e

  Copy full SHA for b93ba2e

Commits on Oct 6, 2025

• add print (#17776)

  rahxephon89

  authored
  8d2286c

  Copy full SHA for 8d2286c

Commits on Oct 2, 2025

• [CLI] add mem as pre-compiled module (#17751)

  Show description for c0946f1
  rahxephon89

  authored
  c0946f1

  Copy full SHA for c0946f1

Commits on Oct 1, 2025

• fix link (#17740)

  rahxephon89

  authored
  82c26b8

  Copy full SHA for 82c26b8

Commits on Sep 29, 2025

• [move] refactor option (#17698)

  Show description for 8f9eacd
  

  rahxephon89

  and

  georgemitenkov

  authored
  8f9eacd

  Copy full SHA for 8f9eacd

Commits on Sep 25, 2025

• fv support (#17664)

  rahxephon89

  authored
  cb67bee

  Copy full SHA for cb67bee

Commits on Sep 24, 2025

• default (#17665)

  rahxephon89

  authored
  d8c1d93

  Copy full SHA for d8c1d93

Commits on Sep 21, 2025

• capture option (#17571)

  rahxephon89

  authored
  468e404

  Copy full SHA for 468e404

Commits on Sep 20, 2025

• add warning (#17647)

  rahxephon89

  authored
  e1d8541

  Copy full SHA for e1d8541

Commits on Sep 16, 2025

• fix (#17492)

  rahxephon89

  authored
  0aa2c49

  Copy full SHA for 0aa2c49

Commits on Aug 28, 2025

• add inline spec capability (#17411)

  rahxephon89

  authored
  7d703e9

  Copy full SHA for 7d703e9

Commits on Aug 26, 2025

• [compiler][trivial] fix remap of TransformedCodeChunk in peephole optimization (#17403)

  Show description for b36e1c4
  rahxephon89

  authored
  b36e1c4

  Copy full SHA for b36e1c4

Commits on Aug 25, 2025

• fix (#17392)

  rahxephon89

  authored
  bff4c47

  Copy full SHA for bff4c47

Commits on Aug 23, 2025

• fix (#17381)

  rahxephon89

  authored
  107ab0b

  Copy full SHA for 107ab0b

Commits on Jul 17, 2025

• add native (#17036)

  rahxephon89

  authored
  6b8e7f5

  Copy full SHA for 6b8e7f5

Commits on Jun 30, 2025

• [prover][spec] add spec to ordered_map and big_ordered_map (#16886)

  Show description for ffe53d3
  rahxephon89

  authored
  ffe53d3

  Copy full SHA for ffe53d3

Commits on Jun 24, 2025

• add native cmp (#16882)

  rahxephon89

  authored
  8255c8d

  Copy full SHA for 8255c8d

Commits on Jun 12, 2025

• [tests][compiler-v2] add tests for enum and function values (#16824)

  Show description for f448787
  rahxephon89

  authored
  f448787

  Copy full SHA for f448787

Commits on Jun 10, 2025

• [Prover] code refactor for bitwise operation analysis (#16785)

  Show description for 8454749
  rahxephon89

  authored
  8454749

  Copy full SHA for 8454749

Commits on Jun 5, 2025

• add translation into invoke (#16694)

  rahxephon89

  authored
  b615530

  Copy full SHA for b615530

Commits on Jun 3, 2025

• [Move prover] Support explicit cast operation in the spec language for bitvector number types (#16693)

  Show description for 6d5f457
  rahxephon89

  authored
  6d5f457

  Copy full SHA for 6d5f457

Commits on May 28, 2025

• fix (#16690)

  rahxephon89

  authored
  de15f93

  Copy full SHA for de15f93

Commits on May 27, 2025

• [compiler-v2] Use BFS to check inline functions in `need_to_be_friended_by` (#16675)

  Show description for 0cf2b17
  rahxephon89

  authored
  0cf2b17

  Copy full SHA for 0cf2b17

Commits on May 24, 2025

• [compiler-v2][trivial] correctly parsing `friend inline` (#16673)

  Show description for 4b7e0a6
  rahxephon89

  authored
  4b7e0a6

  Copy full SHA for 4b7e0a6

Pagination

Previous

Next