Repository navigation

Read a machine integer as an integer - #26

Merged

daniel-larraz merged 1 commit into

kind2-mc:mainfrom

daniel-larraz:read-machine-integer-types

Sep 22, 2026

Merged

Read a machine integer as an integer#26
daniel-larraz merged 1 commit into
kind2-mc:mainfrom
daniel-larraz:read-machine-integer-types

Commits on Sep 22, 2026
- Read a machine integer as an integer
  
  daniel-larraz
  and
  claude
  committed
  265fcd4