Unverified Commit f00fb876 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

Merge pull request #245556 from figsoda/egglog 

egglog: unstable-2023-07-11 -> unstable-2023-07-19
parents 5ee13370 3db4ace6

pkgs/applications/science/logic/egglog/Cargo.lock

+80 −0
Original line number Diff line number Diff line
@@ -249,6 +249,7 @@ name = "egglog" 
version = "0.1.0"

dependencies = [

 "clap",

 "egraph-serialize",

 "env_logger",

 "glob",

 "hashbrown 0.14.0",
@@ -265,12 +266,25 @@ dependencies = [ 
 "ordered-float",

 "regex",

 "rustc-hash",

 "serde_json",

 "smallvec",

 "symbol_table",

 "symbolic_expressions",

 "thiserror",

]



[[package]]

name = "egraph-serialize"

version = "0.1.0"

source = "git+https://github.com/egraphs-good/egraph-serialize?rev=54b1a4f1e2f2135846b084edcb495cd159839540#54b1a4f1e2f2135846b084edcb495cd159839540"

dependencies = [

 "indexmap 2.0.0",

 "once_cell",

 "ordered-float",

 "serde",

 "serde_json",

]



[[package]]

name = "either"

version = "1.8.1"
@@ -404,6 +418,7 @@ checksum = "d5477fe2230a79769d8dc68e0eabf5437907c0457a5614a9e8dddb67f65eb65d" 
dependencies = [

 "equivalent",

 "hashbrown 0.14.0",

 "serde",

]



[[package]]
@@ -438,6 +453,12 @@ dependencies = [ 
 "either",

]



[[package]]

name = "itoa"

version = "1.0.9"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "af150ab688ff2122fcef229be89cb50dd66af9e01a4ff320cc137eecc9bacc38"



[[package]]

name = "js-sys"

version = "0.3.64"
@@ -607,6 +628,8 @@ source = "registry+https://github.com/rust-lang/crates.io-index" 
checksum = "2fc2dbde8f8a79f2102cc474ceb0ad68e3b80b85289ea62389b60e66777e4213"

dependencies = [

 "num-traits",

 "rand",

 "serde",

]



[[package]]
@@ -681,6 +704,25 @@ dependencies = [ 
 "proc-macro2",

]



[[package]]

name = "rand"

version = "0.8.5"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"

dependencies = [

 "rand_core",

 "serde",

]



[[package]]

name = "rand_core"

version = "0.6.4"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"

dependencies = [

 "serde",

]



[[package]]

name = "redox_syscall"

version = "0.2.16"
@@ -764,12 +806,50 @@ version = "1.0.13" 
source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "dc31bd9b61a32c31f9650d18add92aa83a49ba979c143eefd27fe7177b05bd5f"



[[package]]

name = "ryu"

version = "1.0.15"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "1ad4cc8da4ef723ed60bced201181d83791ad433213d8c24efffda1eec85d741"



[[package]]

name = "scopeguard"

version = "1.1.0"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd"



[[package]]

name = "serde"

version = "1.0.171"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "30e27d1e4fd7659406c492fd6cfaf2066ba8773de45ca75e855590f856dc34a9"

dependencies = [

 "serde_derive",

]



[[package]]

name = "serde_derive"

version = "1.0.171"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "389894603bd18c46fa56231694f8d827779c0951a667087194cf9de94ed24682"

dependencies = [

 "proc-macro2",

 "quote",

 "syn",

]



[[package]]

name = "serde_json"

version = "1.0.103"

source = "registry+https://github.com/rust-lang/crates.io-index"

checksum = "d03b412469450d4404fe8499a268edd7f8b79fecb074b0d812ad64ca21f4031b"

dependencies = [

 "indexmap 2.0.0",

 "itoa",

 "ryu",

 "serde",

]



[[package]]

name = "siphasher"

version = "0.3.10"

pkgs/applications/science/logic/egglog/default.nix

+4 −3
Original line number Diff line number Diff line
@@ -5,18 +5,19 @@ 


rustPlatform.buildRustPackage {

  pname = "egglog";

  version = "unstable-2023-07-11";

  version = "unstable-2023-07-19";



  src = fetchFromGitHub {

    owner = "egraphs-good";

    repo = "egglog";

    rev = "14a6fc6060c09541728ae460e0a92909fabf508f";

    hash = "sha256-1osdjd86xZHUAwvPBNxWYlkX6tKt+jI05AEVYr77YSQ=";

    rev = "9fe03ad35a2a975a2c9140a641ba91266b7a72ce";

    hash = "sha256-9JeJJdZW8ecogReJzQrp3hFkK/pp/+pLxJMNREWuiyI=";

  };



  cargoLock = {

    lockFile = ./Cargo.lock;

    outputHashes = {

      "egraph-serialize-0.1.0" = "sha256-1lDaoR/1TNFW+uaf3UdfDZgXlxyAb37Ij7yky16xCG8=";

      "symbol_table-0.2.0" = "sha256-f9UclMOUig+N5L3ibBXou0pJ4S/CQqtaji7tnebVbis=";

      "symbolic_expressions-5.0.3" = "sha256-mSxnhveAItlTktQC4hM8o6TYjgtCUgkdZj7i6MR4Oeo=";

    };