allaun f6cbddcbf2 feat(tests): Python AVM port rewrite + test harness, Go test harness ...

Python port rewritten to match spec:
- Added Q0_16, PUSH_Q0, PUSH_BOOL as separate opcodes
- Added V6 comparison (lt_q16_v6)
- Added floor division (Lean Int.ediv)
- Added stack depth limit (AVM_MAX_STACK = 1024)
- Added type checking in exec_prim
- All 10 tests passing

Go AVM port: added test_avm_test.go with 8 test cases

Milestone: Python → ✅, Go → 🔄

2026-06-30 17:56:09 -05:00

0 lines

Text

Raw Permalink Blame History