Enforce project wide lints and add add missing comments and docs

Cargo.toml

@@ -19,6 +19,13 @@ members = [
     # comment to force multi-line layout
 ]
 
+[workspace.lints.rust]
+unsafe_op_in_unsafe_fn = "warn"
+missing_docs = "warn"
+
+[workspace.lints.clippy]
+undocumented_unsafe_blocks = "warn"
+
 [profile.release]
 debug = true
 

abc-sys/Cargo.toml

@@ -3,6 +3,9 @@ name = "imctk-abc-sys"
 version = "0.1.0"
 edition = "2021"
 
+# We're not using the workspace lints as this crate contains only
+# auto-generated bindings for which most lints need to be disabled
+
 [dependencies]
 libc = "0.2.155"
 

abc-sys/build.rs

@@ -1,3 +1,4 @@
+#![allow(missing_docs)] // build script
 use std::path::PathBuf;
 
 static SRC_FILES: &[&str] = &[

abc/Cargo.toml

@@ -3,6 +3,9 @@ name = "imctk-abc"
 version = "0.1.0"
 edition = "2021"
 
+[lints]
+workspace = true
+
 [dependencies]
 imctk-abc-sys = { version = "0.1.0", path = "../abc-sys" }
 imctk-ids = { version = "0.1.0", path = "../ids" }

abc/src/lib.rs

@@ -1 +1,3 @@
+//! Safe Rust bindings to a small subset of ABC's API
+
 pub mod sat;

abc/src/sat.rs

@@ -1 +1,3 @@
+//! Bindings to abc's SAT solvers
+
 pub mod glucose2;