Repository navigation

Syntax and validation for struct.new_desc - #101

Merged

tlively merged 26 commits into

mainfrom

struct-new-desc-syntax-validation

Oct 14, 2026

Merged

Syntax and validation for struct.new_desc#101
tlively merged 26 commits into
mainfrom
struct-new-desc-syntax-validation

Commits on Jul 7, 2026
- Syntax and validation for struct.new_desc
  tlively
  committed
  0aa9dba
- const expr
  tlively
  committed
  47b07b7
Commits on Jul 13, 2026
- 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
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
- fix parens
  tlively
  committed
  f1b94b8
- update tests
  tlively
  committed
  de6816f
- Merge branch 'exact-heaptype-refactor' into struct-new-desc-syntax-validation
  tlively
  committed
  f245509
Commits on Jul 24, 2026
- Merge remote-tracking branch 'origin/main' into struct-new-desc-syntax-validation
  tlively
  committed
  290131a
- Update prose and ExpandDesc => Expand_desc
  tlively
  committed
  29dcc39
Commits on Aug 17, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  e132360
Commits on Sep 1, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  93c99a4
Commits on Oct 5, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  c47c2df
- grammar
  tlively
  committed
  dd2d62b
- stray newline
  tlively
  committed
  bc1d556
Commits on Oct 6, 2026
- [spectec] Support ~ and ~_ relation symbols
  tlively
  committed
  b07d8e2
Commits on Oct 13, 2026
- wip use sim
  tlively
  committed
  87286ac
Commits on Oct 14, 2026
- Merge branch 'main' into struct-new-desc-syntax-validation
  tlively
  committed
  328f611
- remove expanddt_to_desctype
  tlively
  committed
  3c9d4a5
- tweaks
  tlively
  committed
  fe4b19f
- consistency
  tlively
  committed
  7ca952f
- simpler macro
  tlively
  committed
  54e99b0

Commits

Commits on Jul 7, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026

Commits on Jul 24, 2026

Commits on Aug 17, 2026

Commits on Sep 1, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026