Repository navigation

Feat/integer signedness - #101

Merged

r41k0u merged 26 commits into

masterfrom

feat/integer-signedness

Sep 24, 2026

Commits on Sep 17, 2026
- Tests: Add the integer-signedness C reference
  
  r41k0u
  and
  claude
  committed
  f3cc6c9
- Core: Add the signedness machinery (no behaviour change)
  
  r41k0u
  and
  claude
  committed
  daf429d
- Core: Route every integer widening and narrowing through convert()
  
  r41k0u
  and
  claude
  committed
  4fa6fc5
- Core: Carry signedness from every declaration and inference site
  
  r41k0u
  and
  claude
  committed
  f266f1f
- Core: Type each binary operation per node with C's arithmetic conversions
  
  r41k0u
  and
  claude
  committed
  5f36bd2
- Core: Choose signed or unsigned operators and predicates from the promoted type
  
  r41k0u
  and
  claude
  committed
  db12298
- Core: Fold a negated integer literal into a constant
  
  r41k0u
  and
  claude
  committed
  6ab992e
- Core: Type comparison and boolean results as unsigned i1
  
  r41k0u
  and
  claude
  committed
  568a651
- Tests: Integer signedness cases mirroring the C reference
  
  r41k0u
  and
  claude
  committed
  4c65510
- Docs: Integer semantics user-guide page
  
  r41k0u
  and
  claude
  committed
  6f48498
- Merge branch 'feat/global-variables' into feat/integer-signedness
  r41k0u
  committed
  0273a67
- Merge remote-tracking branch 'origin/master' into feat/integer-signedness
  r41k0u
  committed
  5a75c16
Commits on Sep 18, 2026
- Merge remote-tracking branch 'origin/master' into feat/integer-signedness
  r41k0u
  committed
  359ddbd
- Core: Return through the same value path as every other consumer
  
  r41k0u
  and
  claude
  committed
  8e802e8
- Core: Rank an enum constant as C's int, not as i64
  
  r41k0u
  and
  claude
  committed
  ca92f2a
- Tests: Return of a map value, return of a struct, enum-constant rank
  
  r41k0u
  and
  claude
  committed
  eaaa12e
Commits on Sep 24, 2026
- Core: Give bools C's rules: widen to 0 or 1, narrow by comparing with zero
  
  r41k0u
  and
  claude
  committed
  a230b44
- Tests: Bool widening and narrowing
  
  r41k0u
  and
  claude
  committed
  78ec75a
- Merge branch 'master' into feat/integer-signedness
  r41k0u
  authored
  c52a5f5
- Core: Give a helper call's value the sign its registry entry declares
  
  r41k0u
  and
  claude
  committed
  26604b9
- Core: Rank ctx fields and map values by their declared types
  
  r41k0u
  and
  claude
  committed
  532dc0f
- Core: Review nits on the signedness branch
  
  r41k0u
  and
  claude
  committed
  9cd8e10
- Core: Pass the result sign to the operator in augmented assignment
  
  r41k0u
  and
  claude
  committed
  e35d4c0
- Tests: Unsigned augmented assignment, helper results, map values, ctx field rank
  
  r41k0u
  and
  claude
  committed
  6b19bf6
- Tests: Rank the ctx-field case on a scalar field, not the packet pointer
  
  r41k0u
  and
  claude
  committed
  6caab6f
- Docs: Note the packet-pointer-field gotcha, with the planned mechanism
  
  r41k0u
  and
  claude
  committed
  f727bfc

Navigation Menu

Repository navigation

Feat/integer signedness - #101

Feat/integer signedness#101
r41k0u merged 26 commits into
masterfrom
feat/integer-signedness

Commits on Sep 17, 2026

Tests: Add the integer-signedness C reference

Core: Add the signedness machinery (no behaviour change)

Core: Route every integer widening and narrowing through convert()

Core: Carry signedness from every declaration and inference site

Core: Type each binary operation per node with C's arithmetic conversions

Core: Choose signed or unsigned operators and predicates from the promoted type

Core: Fold a negated integer literal into a constant

Core: Type comparison and boolean results as unsigned i1

Tests: Integer signedness cases mirroring the C reference

Docs: Integer semantics user-guide page

Merge branch 'feat/global-variables' into feat/integer-signedness

Merge remote-tracking branch 'origin/master' into feat/integer-signedness

Commits on Sep 18, 2026

Merge remote-tracking branch 'origin/master' into feat/integer-signedness

Core: Return through the same value path as every other consumer

Core: Rank an enum constant as C's int, not as i64

Tests: Return of a map value, return of a struct, enum-constant rank

Commits on Sep 24, 2026

Core: Give bools C's rules: widen to 0 or 1, narrow by comparing with zero

Tests: Bool widening and narrowing

Merge branch 'master' into feat/integer-signedness

Core: Give a helper call's value the sign its registry entry declares

Core: Rank ctx fields and map values by their declared types

Core: Review nits on the signedness branch

Core: Pass the result sign to the operator in augmented assignment

Tests: Unsigned augmented assignment, helper results, map values, ctx field rank

Tests: Rank the ctx-field case on a scalar field, not the packet pointer

Docs: Note the packet-pointer-field gotcha, with the planned mechanism