Search results

Implement script to count # of verified specs for a C file, given a cache.

Status: Open.

#130 In vikramnitin9/rust_verification;

· jyoo980 opened on Mar 14, 2026

Implement specification metric calculator

Status: Open.

#128 In vikramnitin9/rust_verification;

· jyoo980 opened on Mar 12, 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