brrr-lint-0.1.0
Platform
Feature flags

docs.rs

Rust

brrr-lint 0.1.0

A fast linter and language server for F* (FStar) with autofix capabilities

Crate
Source
Builds
Feature flags

..
comments.rs
dead_code.rs
doc_checker.rs
duplicate_types.rs
effect_checker.rs
engine.rs
file_safety.rs
fix_applicator.rs
fix_validator.rs
import_optimizer.rs
mod.rs
module_deps.rs
naming.rs
output.rs
parser.rs
perf_profiler.rs
proof_hints.rs
refinement_simplifier.rs
reorder_interface.rs
rules.rs
security.rs
spec_extractor.rs
test_generator.rs
unused_opens.rs
z3_complexity.rs