M31 support - #244

Closed

xrvdg wants to merge 14 commits into

mainfrom

Commits on Dec 17, 2025

M31: init
xrvdg
committed
2e44f67
M31: signed integers support
xrvdg
committed
8eb50e9
M31: Add proptest and kani
xrvdg
committed
25048cb
cm31: remove unnecessary reduction in i64
xrvdg
committed
4412dde
m31: remove proptest
xrvdg
committed
b356893
m31: Add left shift
xrvdg
committed
4b585f4
m31: Add documentation
xrvdg
committed
1200733
cm31: Kani lint in Cargo
xrvdg
committed
f7f822d
cm31: improve documentation
xrvdg
committed
cdba6b8
CI: add kani support
xrvdg
committed
6402359
fixup! CI: add kani support
xrvdg
committed
f26cab6

Commits on Dec 23, 2025

Merge pull request #245 from worldfnd/xr/kani
shreyas-londhe
authored
3387f33

Commits on Dec 24, 2025

CI: path trigger + checkout
xrvdg
committed
06f3b18
Merge branch 'main' into xr/cm31
xrvdg
authored
03ccbf0