Repository navigation

Spectec for binary format of types and instructions - #108

Merged

tlively merged 58 commits into

mainfrom

spec-binary-format

Oct 26, 2026

Merged

Spectec for binary format of types and instructions#108
tlively merged 58 commits into
mainfrom
spec-binary-format

Commits on Jul 7, 2026
- Syntax and validation for struct.new_desc
  tlively
  committed
  0aa9dba
- const expr
  tlively
  committed
  47b07b7
Commits on Jul 8, 2026
- Exact func externtypes types
  tlively
  committed
  2ca8cdd
Commits on Jul 9, 2026
- cleanup old Instr_ok/ref.func-exact
  tlively
  committed
  ca049ee
- Make allocation instructions exact
  tlively
  committed
  edfe5a2
- Syntax and validation for ref.get_desc
  tlively
  committed
  ff4650a
Commits on Jul 13, 2026
- Syntax and validation for descriptor casts
  tlively
  committed
  f174f3e
- Make exact and non-exact heap types the same case
  tlively
  committed
  3b16166
- Merge branch 'exact-heaptype-refactor' into struct-new-desc-syntax-validation
  tlively
  committed
  6a76272
- show EXACT
  tlively
  committed
  e7acc8d
- Merge branch 'exact-heaptype-refactor' into struct-new-desc-syntax-validation
  tlively
  committed
  8b09b7f
- Merge branch 'struct-new-desc-syntax-validation' into exact-extern-functype
  tlively
  committed
  b9ebd33
Commits on Jul 14, 2026
- update tests
  tlively
  committed
  34f1e65
- Merge branch 'exact-heaptype-refactor' into struct-new-desc-syntax-validation
  tlively
  committed
  64a8276
- update tests
  tlively
  committed
  c3b35c6
- Merge branch 'struct-new-desc-syntax-validation' into exact-extern-functype
  tlively
  committed
  c2bc74b
- update tests
  tlively
  committed
  e4fd1bd
- update tests
  tlively
  committed
  153b685
- fix parens
  tlively
  committed
  f1b94b8
- update tests
  tlively
  committed
  de6816f
- Merge branch 'exact-heaptype-refactor' into struct-new-desc-syntax-validation
  tlively
  committed
  f245509
- Merge branch 'struct-new-desc-syntax-validation' into exact-extern-functype
  tlively
  committed
  abf31f3
- Merge branch 'exact-allocations' into ref-get-desc
  tlively
  committed
  75add5d
- use exactness variable and update tests
  tlively
  committed
  a889729
- Merge branch 'ref-get-desc' into cast-desc-eq-spec
  tlively
  committed
  83977ac
- use exactness vars and update tests
  tlively
  committed
  90248f3
Commits on Jul 16, 2026
- Spectec for binary format of types and instructions
  tlively
  committed
  952f3fb
Commits on Jul 24, 2026
Commits on Aug 17, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  e132360
- Merge branch 'struct-new-desc-syntax-validation' into exact-extern-functype
  tlively
  committed
  655de1f
Commits on Sep 1, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  93c99a4
- Merge branch 'struct-new-desc-syntax-validation' into exact-extern-functype
  tlively
  committed
  d4e6d66
Commits on Oct 5, 2026
Commits on Oct 23, 2026
- Merge branch 'main' into exact-allocations
  tlively
  committed
  52229d7
- Merge branch 'exact-allocations' into cast-desc-eq-spec
  tlively
  committed
  262f245
- Merge branch 'cast-desc-eq-spec' into spec-binary-format
  tlively
  committed
  c6d25c3
- Merge branch 'main' into cast-desc-eq-spec
  tlively
  committed
  d45ffc0
- Merge branch 'cast-desc-eq-spec' into spec-binary-format
  tlively
  committed
  9dd7bc4
- Merge branch 'main' into ref-get-desc
  tlively
  committed
  c2e4389
- Fix REFGETDESC macro and $free_instr
  tlively
  committed
  6d4b2ad
- Merge branch 'ref-get-desc' into cast-desc-eq-spec
  tlively
  committed
  68b3748
- Fix descriptor cast validation rules and tests
  tlively
  committed
  d104a86
- Merge branch 'cast-desc-eq-spec' into spec-binary-format
  tlively
  committed
  c61ac9b
- Merge branch 'main' into cast-desc-eq-spec
  tlively
  committed
  c83e603
- Merge branch 'cast-desc-eq-spec' into spec-binary-format
  tlively
  committed
  174ca0f
- Merge branch 'main' into spec-binary-format
  tlively
  committed
  caf78c7
- [spec] Binary format review fixes
  tlively
  committed
  a3ef714
- [spec] Rename describestype/descriptortype to describes/descriptor
  tlively
  committed
  a82b087
Commits on Oct 24, 2026
- Merge branch 'rename-describes-descriptor' into spec-binary-format
  tlively
  committed
  98a8a19
- [spec] Update binary format for describes/descriptor rename
  tlively
  committed
  8c2db5e
Commits on Oct 25, 2026
- Merge branch 'main' into spec-binary-format
  tlively
  committed
  356dfa2
Commits on Oct 26, 2026
- simplify
  tlively
  committed
  d1f8fce

Commits

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Commits on Jul 9, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026

Commits on Jul 16, 2026

Commits on Jul 24, 2026

Commits on Aug 17, 2026

Commits on Sep 1, 2026

Commits on Oct 5, 2026

Commits on Oct 23, 2026

Commits on Oct 24, 2026

Commits on Oct 25, 2026

Commits on Oct 26, 2026