Merge branch 'main' into upstream-varargs

CHANGELOG.md

@@ -3,6 +3,7 @@
 ## [Unreleased] - ReleaseDate
 - Change the API of `make` to have mutable access to the e-graph for some [advanced uses cases](https://github.com/egraphs-good/egg/pull/277).
 - Fix an e-matching performance regression introduced in [this commit](https://github.com/egraphs-good/egg/commit/ae8af8815231e4aba1b78962f8c07ce837ee1c0e#diff-1d06da761111802c793c6e5ca704bfa0d6336d0becf87fddff02d81548a838ab).
+- Use `quanta` instead of `instant` crate to provide timing information. This can provide a huge speedup if you have lots of rules, since it avoids some syscalls.
 
 ## [0.9.5] - 2023-06-29
 - Fixed a few edge cases in proof size optimization that caused egg to crash.

Cargo.toml

@@ -15,7 +15,7 @@ env_logger = { version = "0.9.0", default-features = false }
 fxhash = "0.2.1"
 hashbrown = "0.12.1"
 indexmap = "1.8.1"
-instant = "0.1.12"
+quanta = "0.12"
 log = "0.4.17"
 smallvec = { version = "1.8.0", features = ["union", "const_generics"] }
 symbol_table = { version = "0.2.0", features = ["global"] }
@@ -50,7 +50,7 @@ serde-1 = [
   "symbol_table/serde",
   "vectorize",
 ]
-wasm-bindgen = ["instant/wasm-bindgen"]
+wasm-bindgen = []
 
 # private features for testing
 test-explanations = []

src/util.rs

@@ -68,8 +68,8 @@ pub(crate) fn hashmap_with_capacity<K, V>(cap: usize) -> hashmap::HashMap<K, V>
 pub(crate) type IndexMap<K, V> = indexmap::IndexMap<K, V, BuildHasher>;
 pub(crate) type IndexSet<K> = indexmap::IndexSet<K, BuildHasher>;
 
-pub(crate) type Instant = instant::Instant;
-pub(crate) type Duration = instant::Duration;
+pub(crate) type Instant = quanta::Instant;
+pub(crate) type Duration = std::time::Duration;
 
 pub(crate) fn concat_vecs<T>(to: &mut Vec<T>, mut from: Vec<T>) {
     if to.len() < from.len() {