LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

kani-github-action

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

37mo ago

Recent commits

Latest commits.

Bump version to 0.25.0 (#32)
fd0aa0cCelina G. Val39mo ago
Bump Kani-GitHub-Action version to 0.24.0 (#31)
d9a813fFelipe R. Monteiro39mo ago
Bump kani version to 0.23.0 (#29)
34d6267Qinheping Hu40mo ago
Upgrade to Kani 0.22 (#28)
dd87215Zyad Hassan40mo ago
Install stable rust toolchain (#26)
7857f4fZyad Hassan41mo ago

Avoid cloning kani submodules and fix `enable-propproof` flag (#24)

52a943aZyad Hassan41mo ago

Bump version to 0.21 (#23)

b1a2a98Daniel Schwartz-Narbonne41mo ago

bump version to 0.20.0 (#22)

75afb07rahulku41mo ago

Top contributors

Builders behind this project.