Search results

Support for out-of-the-box builds with <code>cargo verus</code> and crates.io

Status: Open.

#697 In anvil-verifier/anvil;

· suremarc opened on Oct 2, 2025

Getting started guide

Status: Open.

#603 In anvil-verifier/anvil;

· see-quick opened on Apr 14, 2025

Verus panics for new lifetime trait impl processing

Status: Open.

#599 In anvil-verifier/anvil;

· ahuoguo opened on Apr 3, 2025

Updating docs

to-doTasks we need to finishTasks we need to finish

Status: Open.

#63 In anvil-verifier/anvil;

· marshtompsxd opened on Feb 14, 2023

Async programming model in kube-rs and potential reordering between requests

information

Status: Open.

#61 In anvil-verifier/anvil;

· marshtompsxd opened on Feb 10, 2023

How kube-rs library works

information

Status: Open.

#56 In anvil-verifier/anvil;

· marshtompsxd opened on Dec 26, 2022

Wish list of feature support from Verus

Status: Open.

#55 In anvil-verifier/anvil;

· marshtompsxd opened on Dec 26, 2022

Add informative comments to impl/spec/proof

to-doTasks we need to finishTasks we need to finish

Status: Open.

#7 In anvil-verifier/anvil;

· marshtompsxd opened on Sep 28, 2022