souffle-lint

A linter for Soufflé Datalog. See the documentation for more information.

Name		Name	Last commit message	Last commit date
Latest commit History 175 Commits
.github		.github
bench		bench
config		config
doc		doc
scripts		scripts
src		src
test		test
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
build.rs		build.rs
rustfmt.toml		rustfmt.toml
shell.nix		shell.nix

Navigation Menu