feat: add basic byte order support - #1811

Open

fgdorais wants to merge 11 commits into

mainfrom

Commits on May 19, 2026

feat: add basic byte order support
fgdorais
committed
29f3db6

Commits on May 20, 2026

chore: add tests
fgdorais
committed
610b57d
Merge branch 'main' into endian
fgdorais
authored
2e33d0d
feat: more theorems
fgdorais
committed
99210ea
feat: more theorems
fgdorais
committed
75335a8
feat: useful shortcuts
fgdorais
committed
3460c7c
fix: long lines
fgdorais
committed
5853e5d

Commits on May 21, 2026

fix: tests
fgdorais
committed
1ab6718
fix: long line
fgdorais
committed
132529d
chore: trigger ci
fgdorais
committed
e93744f
fix: mixed endian platforms are unsupported
fgdorais
committed
edeffda