Use

Flux-Inferx is a policy inference tool based on Flux: a refinement type checker for Rust.

flux-inferx is used by the Terrapin Policy Inference tool. Refer to it for usage info:

Name		Name	Last commit message	Last commit date
Latest commit History 1,920 Commits
.cargo		.cargo
.github		.github
assets		assets
book		book
crates		crates
lib		lib
tests		tests
tools		tools
xtask		xtask
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
NOTES.md		NOTES.md
README.md		README.md
backtracetk.toml		backtracetk.toml
clippy.toml		clippy.toml
fixpoint		fixpoint
rust-toolchain.toml		rust-toolchain.toml
rustfmt.toml		rustfmt.toml
typos.toml		typos.toml

Navigation Menu