SilverSight/rust/src/lib.rs at 7d3d41b9226b36da1a8d6865536cd88fc15e8dc5 - allaun/SilverSight - Forgejo: Beyond coding. We Forge.

allaun/SilverSight

mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00

allaun aeb87d86c8 fix(avm-ports): align all 3 ports with Lean reference

Fixes applied to Rust, Julia, and R AVM ISA ports:

1. Division rounding: use floor division (matching Lean Int.ediv)
2. Clamp range: symmetric [-2147483647, 2147483647] for Q16_16,
   [-32767, 32767] for Q0_16 (preserves negation involution)
3. V6 sign-decomposition comparison for ltQ16
4. Stack depth limit: maxStackDepth = 1024 with StackOverflow error
5. Added AVM-specific constants and helpers to each port

All three ports now match the Lean reference specification.

2026-06-30 17:37:01 -05:00

5 lines

77 B

Rust

Raw Blame History

 pub mod q16;
 pub mod nuvmap;
 pub mod silversight;
 pub mod avm;
 pub mod pist;