make BitVecValue Ord

cucapra · Oct 23, 2024 · 9e0d8e7 · 9e0d8e7
1 parent 32c64e3
commit 9e0d8e7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.12.5"
+version = "0.12.6"
 edition = "2021"
 authors = ["Kevin Laeufer <[email protected]>"]
 description = "BitVector and Array Arithmetic"

diff --git a/src/bv/owned.rs b/src/bv/owned.rs
@@ -10,7 +10,8 @@ use smallvec::{smallvec, SmallVec};
 pub(crate) type ValueVec = SmallVec<[Word; 2]>;
 
 /// Owned bit-vector value.
-#[derive(Clone, Hash)]
+/// Note: Ord does not necessarily order by value.
+#[derive(Clone, Hash, Ord, PartialOrd)]
 #[cfg_attr(feature = "serde1", derive(serde::Serialize, serde::Deserialize))]
 pub struct BitVecValue {
     pub(crate) width: WidthInt,