From f70d6f50eb65e4777ed843a3e99744b6ff993053 Mon Sep 17 00:00:00 2001
From: matth2k <mrh259@cornell.edu>
Date: Mon, 3 Aug 2026 20:42:18 -0400
Subject: [PATCH] Bump dependencies to support attributes

---
 Cargo.lock            | 12 ++++++------
 Cargo.toml            |  6 +++---
 src/bin/eqmap_asic.rs |  2 +-
 src/bin/eqmap_fpga.rs |  2 +-
 src/netlist.rs        |  6 +++---
 5 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 764f7aad..ef87bf4d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -649,9 +649,9 @@ dependencies = [
 
 [[package]]
 name = "nl-compiler"
-version = "0.2.1"
+version = "0.2.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1691b6aeb58818ccf665e73933bb435480baca754755a71c58f7256a1dd6e0ba"
+checksum = "96937b8f9b01432d325c6bb9dda0fb114549589d8a81f85d95739454d5b2ca62"
 dependencies = [
  "flussab",
  "flussab-aiger",
@@ -982,9 +982,9 @@ checksum = "cf54715a573b99ac80df0bc206da022bcd442c974952c7b9720069370852e21f"
 
 [[package]]
 name = "safety-net"
-version = "0.11.0"
+version = "0.12.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c148bc6bb313a967ea98effbad1b600add77687471b6c3dd1bda2dbd05aae551"
+checksum = "9dc08e3e10732d6dc6783eefe4729efdd26e66fbd84cd3fa1027ae7cd1aa55dc"
 dependencies = [
  "bitvec",
  "petgraph",
@@ -993,9 +993,9 @@ dependencies = [
 
 [[package]]
 name = "safety-pass"
-version = "0.4.9"
+version = "0.4.10"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f7047295d5acabb5abb8f7ac25f22b1920606453ff89545c72ed431ae3a37308"
+checksum = "049d2f04d7ad138c702800e1979ad6ffeefee974732e5d8dafe89588dc2edbe1"
 dependencies = [
  "clap",
  "log",
diff --git a/Cargo.toml b/Cargo.toml
index 674ce25c..154fd76c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -46,10 +46,10 @@ toml = "1.1.2"
 thiserror = { version = "2.0.18" }
 sv-parser = "0.13.5"
 ctrlc = "3.5.2"
-safety-net = { version = "0.11.0", features = ["graph"] }
-safety-pass = { version = "0.4.9", features = ["id"] }
+safety-net = { version = "0.12.1", features = ["graph"] }
+safety-pass = { version = "0.4.10", features = ["id"] }
 good_lp = { version = "1.15.2", optional = true }
-nl-compiler = { version = "0.2.1" }
+nl-compiler = { version = "0.2.2" }
 log = "0.4.32"
 simplelog = "0.12.2"
 rand = "0.10.1"
diff --git a/src/bin/eqmap_asic.rs b/src/bin/eqmap_asic.rs
index 36508aba..a627a181 100644
--- a/src/bin/eqmap_asic.rs
+++ b/src/bin/eqmap_asic.rs
@@ -282,7 +282,7 @@ fn main() -> std::io::Result<()> {
 
     info!("Building e-graph...");
     let result = process_expression::<CellLang, _, CellRpt>(expr, req, true)?
-        .with_name(f.get_name().as_str());
+        .with_name(f.get_name().to_string().as_str());
 
     if !(args.no_assert || expr_is_mapped(result.get_expr())) {
         return Err(std::io::Error::other(
diff --git a/src/bin/eqmap_fpga.rs b/src/bin/eqmap_fpga.rs
index be9444ed..8417cd9a 100644
--- a/src/bin/eqmap_fpga.rs
+++ b/src/bin/eqmap_fpga.rs
@@ -311,7 +311,7 @@ fn main() -> std::io::Result<()> {
 
     info!("Building e-graph...");
     let result = process_expression::<_, _, SynthReport>(expr, req, args.no_verify)?
-        .with_name(f.get_name().as_str());
+        .with_name(f.get_name().to_string().as_str());
 
     if let Some(p) = args.report {
         let mut writer = std::fs::File::create(p)?;
diff --git a/src/netlist.rs b/src/netlist.rs
index 8f4eb0e0..a96c89e2 100644
--- a/src/netlist.rs
+++ b/src/netlist.rs
@@ -670,7 +670,7 @@ mod tests {
     }
 
     fn and_netlist() -> Rc<Netlist<PrimitiveCell>> {
-        let netlist = Netlist::new("example".to_string());
+        let netlist = Netlist::new("example".into());
 
         // Add the the two inputs
         let a = netlist.insert_input("a".into());
@@ -693,7 +693,7 @@ mod tests {
     }
 
     fn divider_netlist() -> Rc<Netlist<PrimitiveCell>> {
-        let netlist = Netlist::new("example".to_string());
+        let netlist = Netlist::new("example".into());
 
         // Add the the input
         let a = netlist.insert_input("a".into());
@@ -715,7 +715,7 @@ mod tests {
     }
 
     fn and_const_netlist() -> Rc<Netlist<PrimitiveCell>> {
-        let netlist = Netlist::new("example".to_string());
+        let netlist = Netlist::new("example".into());
 
         // Add the the two inputs
         let a = netlist.insert_constant(Logic::True, "a".into()).unwrap();