Repository navigation

Adapt Go prototype with symbolic semantic tests and fixes - #469

Draft

CaelmBleidd wants to merge 6 commits into

caelmbleidd/go-prototype-emilfrom

caelmbleidd/go-integration-tests

Commits on Oct 11, 2026
- Integrate experimental Go frontend with native regression tests
  CaelmBleidd
  committed
  b70f884
- Organize Go tests around symbolic semantic expectations
  CaelmBleidd
  committed
  27fbfd8
- Fix nil map operations and missing lookup values
  CaelmBleidd
  committed
  fa8f7f7
- Fix named numeric values and numeric conversions
  CaelmBleidd
  committed
  d7d9ad9
- Fix Go value semantics and replay generated inputs
  CaelmBleidd
  committed
  e46b3a0
- Fix Go defer, interface and aggregate value semantics
  CaelmBleidd
  committed
  bbd4db9