diff --git a/Cargo.lock b/Cargo.lock index 14ccb59..2339919 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -311,13 +311,13 @@ dependencies = [ "indexmap", "instant", "lalrpop", - "lalrpop-util", + "lalrpop-util 0.20.2", "lazy_static", "log", "num-integer", "num-rational", "num-traits", - "ordered-float", + "ordered-float 3.9.2", "regex", "rustc-hash", "serde_json", @@ -332,10 +332,10 @@ version = "7.3.0" dependencies = [ "egglog", "egraph-serialize", - "lalrpop-util", + "lalrpop-util 0.22.0", "log", "num-rational", - "ordered-float", + "ordered-float 4.4.0", "pyo3", "pyo3-log", "serde_json", @@ -350,7 +350,7 @@ dependencies = [ "graphviz-rust", "indexmap", "once_cell", - "ordered-float", + "ordered-float 3.9.2", "serde", "serde_json", ] @@ -602,7 +602,7 @@ dependencies = [ "ena", "is-terminal", "itertools", - "lalrpop-util", + "lalrpop-util 0.20.2", "petgraph", "pico-args", "regex", @@ -622,6 +622,16 @@ dependencies = [ "regex-automata", ] +[[package]] +name = "lalrpop-util" +version = "0.22.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "feee752d43abd0f4807a921958ab4131f692a44d4d599733d4419c5d586176ce" +dependencies = [ + "regex-automata", + "rustversion", +] + [[package]] name = "lazy_static" version = "1.4.0" @@ -652,9 +662,9 @@ dependencies = [ [[package]] name = "log" -version = "0.4.21" +version = "0.4.22" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "90ed8c1e510134f979dbc4f070f87d4313098b704861a105fe34231c70a3901c" +checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24" [[package]] name = "memchr" @@ -700,11 +710,10 @@ dependencies = [ [[package]] name = "num-rational" -version = "0.4.1" +version = "0.4.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0638a1c9d0a3c0914158145bc76cff373a75a627e6ecbfb71cbe6f453a5a19b0" +checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824" dependencies = [ - "autocfg", "num-bigint", "num-integer", "num-traits", @@ -712,9 +721,9 @@ dependencies = [ [[package]] name = "num-traits" -version = "0.2.15" +version = "0.2.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "578ede34cf02f8924ab9447f50c28075b4d3e5b269972345e7e0372b38c6cdcd" +checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841" dependencies = [ "autocfg", ] @@ -727,15 +736,24 @@ checksum = "dd8b5dd2ae5ed71462c540258bedcb51965123ad7e7ccf4b9a8cafaa4a63576d" [[package]] name = "ordered-float" -version = "3.7.0" +version = "3.9.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2fc2dbde8f8a79f2102cc474ceb0ad68e3b80b85289ea62389b60e66777e4213" +checksum = "f1e1c390732d15f1d48471625cd92d154e66db2c56645e29a9cd26f4699f72dc" dependencies = [ "num-traits", "rand", "serde", ] +[[package]] +name = "ordered-float" +version = "4.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "83e7ccb95e240b7c9506a3d544f10d935e142cc90b0a1d56954fb44d89ad6b97" +dependencies = [ + "num-traits", +] + [[package]] name = "parking_lot" version = "0.12.1" @@ -899,9 +917,9 @@ dependencies = [ [[package]] name = "pyo3-log" -version = "0.10.0" +version = "0.11.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2af49834b8d2ecd555177e63b273b708dea75150abc6f5341d0a6e1a9623976c" +checksum = "3ac84e6eec1159bc2a575c9ae6723baa6ee9d45873e9bebad1e3ad7e8d28a443" dependencies = [ "arc-swap", "log", @@ -1106,12 +1124,13 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.116" +version = "1.0.128" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e17db7126d17feb94eb3fad46bf1a96b034e8aacbc2e775fe81505f8b0b2813" +checksum = "6ff5456707a1de34e7e37f2a6fd3d3f808c318259cbd01ab6377795054b483d8" dependencies = [ "indexmap", "itoa", + "memchr", "ryu", "serde", ] @@ -1306,9 +1325,9 @@ checksum = "711b9620af191e0cdc7468a8d14e709c3dcdb115b36f838e601583af800a370a" [[package]] name = "uuid" -version = "1.8.0" +version = "1.11.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a183cf7feeba97b4dd1c0d46788634f6221d87fa961b305bed08c851829efcc0" +checksum = "f8c5f0a0af699448548ad1a2fbf920fb4bee257eae39953ba95cb84891a0446a" dependencies = [ "getrandom", ] diff --git a/Cargo.toml b/Cargo.toml index 8efe95b..61bde8d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -25,11 +25,11 @@ egraph-serialize = { git = "https://github.com/saulshanabrook/egraph-serialize", # "graphviz", # ] } serde_json = "*" -pyo3-log = "0.10.0" -log = "0.4.21" -lalrpop-util = { version = "0.20.2", features = ["lexer"] } +pyo3-log = "0.11.0" +log = "0.4.22" +lalrpop-util = { version = "0.22.0", features = ["lexer"] } ordered-float = "*" -uuid = { version = "1.8.0", features = ["v4"] } +uuid = { version = "1.11.0", features = ["v4"] } num-rational = "*" # Use unreleased version of egraph-serialize in egglog as well