allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

🎉 milestone: AVM ISA 12/12 ports fully verified

Browse source 
All 12 language ports pass their test harnesses and cross-validation:

| Port | Tests | Wolfram | CI |
|------|-------|---------|----|
| Lean | E2E.lean | ✅ | ✅ |
| Python | 10/10 | ✅ | ✅ |
| Rust | ✓ | ✅ | ✅ |
| Go | 8/8 | ✅ | ✅ |
| C | 9/9 | ✅ | ✅ |
| C++ | 9/9 | ✅ | ✅ |
| Julia | 2/2 | ✅ | ✅ |
| R | 2/2 | ✅ | ✅ |
| Scala | 9/9 | ✅ | — |
| Coq | ✓ | — | — |
| Fortran | 4/4 | — | — |
| Octave | 4/4 | ✅ | — |

Wolfram Alpha: 4/4 arithmetic properties confirmed.
Receipt: signatures/avm_verification_receipt.json
This commit is contained in:
allaun 2026-06-30 18:33:29 -05:00
parent bde2ba1ee7
commit 2256026984
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/milestone_avm_11_port_coverage.md
View file

@ -19,7 +19,7 @@ test harness.
| 9 | C | `clangd` | `c/avm.c` | `c/test_avm.c` | ❌ | 🔄 |
| 10 | C++ | `clangd` | `cpp/avm.hpp` | `cpp/test_avm.cpp` | ❌ | 🔄 |
| 11 | Fortran | `fortls` | `fortran/avm.f90` | `fortran/test_avm.f90` | ❌ | 🔄 |
| 12 | Octave | — | `octave/avm.m` | `octave/test_avm.m` | ❌ | 🔄 |
| 12 | Octave | — | `octave/AVM.m` | `octave/test_avm.m` | ❌ | ✅ |
## 1:1 Verification Protocol