Skip to content

Kani Verification #50

Open
Task
Open
Kani Verification#50
Task
Assignees
panayang
Labels
Complexity Level 3Emergency Level 1aiCould be considered for ai assistantdependenciesPull requests that update a dependency filedocumentationImprovements or additions to documentationenhancementNew feature or requestrustPull requests that update rust codeverificationabout the verification module
Milestone
v0.3.0 Release

Description

@panayang
panayang
opened on Jan 23, 2026

The Kani Verification Module now can not run because of unsupported dependencies.

Metadata

Metadata

Assignees

Labels

Complexity Level 3Emergency Level 1aiCould be considered for ai assistantdependenciesPull requests that update a dependency filedocumentationImprovements or additions to documentationenhancementNew feature or requestrustPull requests that update rust codeverificationabout the verification module

Type

Task

Projects

RSSN Issues
Status
In progress
This week's contribution option in Apich - external
Status
In progress
This week's contribution option in Apich - internal
Status
In progress

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions