Chelis-Lang

Chelis-Lang/sail

Satisfiability Analysis & Inference Layer: Efficient verification server

0 stars 0 forks 0 watchers Rust MIT License

formal-verification rust smt verus z3

1 Open Issue Need Help Last updated: Oct 29, 2026

Open Issues Need Help

View All on GitHub

bug: shipped vstd proof refused when SAIL_CACHE_DIR runs through a symlink (macOS /tmp) 6 days ago

bug good first issue

Chelis-Lang/sail

0

Satisfiability Analysis & Inference Layer: Efficient verification server

Rust

#formal-verification#rust#smt#verus#z3