Search results

Explicitly instruct Avocado to obtain weaker (but verifying) specifications

enhancementNew feature or requestNew feature or request

Status: Open.

#159 In vikramnitin9/rust_verification;

· jyoo980 opened on Apr 14, 2026

Implement C function mutant generator

Status: Open.

#127 In vikramnitin9/rust_verification;

· jyoo980 opened on Mar 12, 2026

Implement evaluation harness for specifications

Status: Open.

#126 In vikramnitin9/rust_verification;

· jyoo980 opened on Mar 12, 2026

Backtrack only after assumed specs verify

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In vikramnitin9/rust_verification;

· jyoo980 opened on Jan 13, 2026

Support multiple users for caching

enhancementNew feature or requestNew feature or request

Status: Open.

#85 In vikramnitin9/rust_verification;

· jyoo980 opened on Jan 6, 2026

Review of util/ code

Status: Open.

#72 In vikramnitin9/rust_verification;

· mernst opened on Dec 21, 2025

Extend to support full projects

Status: Open.

#69 In vikramnitin9/rust_verification;

· vikramnitin9 opened on Dec 19, 2025

Document fields in LLVMAnalysis

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#13 In vikramnitin9/rust_verification;

· jyoo980 opened on Oct 17, 2025