Skip to content

Releases: borjamoskv/anvil-lang

v0.5.1: Z3 Direct-Silicon Integration & CI Stabilization

Choose a tag to compare

@borjamoskv borjamoskv released this 09 May 00:35
9326216

This release marks the deployment of a fully stable, C5-REAL Continuous Integration pipeline. The compiler now features native Z3 bindings executing seamlessly across Linux environments. Entropy purged. Absolute Green achieved in CI Run #7.