upgrade indexmap and use FXHasher

cucapra · Dec 11, 2024 · 2a1238b · 2a1238b
1 parent 83ca52a
commit 2a1238b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/patronus/Cargo.toml b/patronus/Cargo.toml
@@ -12,7 +12,7 @@ license.workspace = true
 rust-version.workspace = true
 
 [dependencies]
-indexmap = "2.0.0"
+indexmap = "2.7.0"
 codespan-reporting = "0.11.1"
 lazy_static = "1.4.0"
 easy-smt.workspace = true

diff --git a/patronus/src/expr/context.rs b/patronus/src/expr/context.rs
@@ -17,6 +17,7 @@
 use crate::expr::nodes::*;
 use crate::expr::TypeCheck;
 use baa::{BitVecValue, BitVecValueIndex, BitVecValueRef, IndexToRef};
+use rustc_hash::FxBuildHasher;
 use std::borrow::Borrow;
 use std::cell::RefCell;
 use std::fmt::{Debug, Formatter};
@@ -69,8 +70,8 @@ impl ExprRef {
 /// reference equivalence implies structural equivalence.
 #[derive(Clone)]
 pub struct Context {
-    strings: indexmap::IndexSet<String>,
-    exprs: indexmap::IndexSet<Expr>,
+    strings: indexmap::IndexSet<String, FxBuildHasher>,
+    exprs: indexmap::IndexSet<Expr, FxBuildHasher>,
     values: baa::ValueInterner,
     // cached special values
     tru_expr_ref: ExprRef,