COMPILER · VERIFIED

LLVM

Native LLVM code generation and executable generation are verified in tested scenarios.

Native Point handling
Native runtime calls
Async channel tests
Delay tests
MMIO code-generation tests

TRACEABILITY

Related Evidence

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

tests/backend/point_native.avs
tests/backend/vector_native.avs
tests/backend/point_native_field.avs
tests/backend_async/channel_llvm.avs
tests/backend_async/delay_llvm.avs

Browse the public evidence index →