Add Aiur formal verification framework with #aiur_gen command#349
Open
arthurpaulino wants to merge 1 commit into
Open
Add Aiur formal verification framework with #aiur_gen command#349arthurpaulino wants to merge 1 commit into
arthurpaulino wants to merge 1 commit into
Garnix CI / devShell default [x86_64-linux]
succeeded
Apr 8, 2026 in 1m 3s
devShell default [x86_64-linux]
devShell default [x86_64-linux] succeeded
Details
Last 100 lines of logs:
Loading