docs: add comprehensive formal verification architecture documentation #52
avrabeci.yml
on: pull_request
Matrix: Build
WASM Build (wasm32-wasip2)
43s
Format
10s
Clippy
40s
Code Coverage
2m 14s
Benchmarks
4m 17s
Z3 Verification Build
1m 26s
Matrix: Test
Validate WebAssembly Output
1m 12s
Self-Optimization Test
14s
Annotations
1 error
|
Clippy
Process completed with exit code 101.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
loom-macos-latest
|
1.39 MB |
sha256:b0008edd22ce4012cad4191ffbe95c7e7411d5cbdd0b9066f8295818b4d89e1d
|
|
|
loom-ubuntu-latest
|
1.53 MB |
sha256:956148193fd3a09e233e7b3a6c07fdef7b8be9422a8a23b3c88da7f61039490b
|
|
|
loom-wasm
|
912 KB |
sha256:c598a75bb0dbfad689b5967144b8865cd6b3e996e180b43c456c586e59fd8525
|
|
|
loom-windows-latest
|
1.44 MB |
sha256:5ad5cd83ef91b693b3f86a8330d9298aa15e7059f0d13d214ab1fc0a837aa8a1
|
|