Your free trial has ended.

Try the live demo or log in .

main


Remove legacy tensor pipeline adapters	1 month ago
Add the RustRed Python package	1 month ago
Allow local Vakint RustRed iteration	1 month ago
Clarify parallel Vakint development	1 month ago
Pin the Vakint RustRed branch contract	1 month ago
Run Vakint validation in parallel	1 month ago
Strengthen RustRed refactoring discipline	1 month ago
Define RustRed six-loop foundry goal	1 month ago
Complete transport-neutral application boundary	1 month ago
Add restart handoff	1 month ago
Extract shared RustRed application package	1 month ago
Map refined nonzero predicates through Symbolica	1 month ago
Separate base and index predicate loci	1 month ago
Bind generated equality refinements to source authority	1 month ago
Add direct row ingress and unit equality refinement	1 month ago

Agent Instructions

Click a suite to see its builds. Example suite for b2675794 :

https://nix-ci.com/gh:alphal00p:rustred/main/b2675794fcf6cd7a07fa4f3cf00b1e0747106158

This page is also available in machine-friendly formats. Request one with the Accept header:

curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:rustred/main
curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/main

For more instructions, fetch https://nix-ci.com/instructions .