Merge pull request #238330 from figsoda/egglog
egglog: unstable-2023-05-22 -> unstable-2023-06-11
This commit is contained in:
commit
799c5a8032
@ -185,7 +185,7 @@ dependencies = [
|
|||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "egg-smol"
|
name = "egglog"
|
||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"clap",
|
"clap",
|
||||||
@ -906,7 +906,7 @@ name = "web-demo"
|
|||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"console_error_panic_hook",
|
"console_error_panic_hook",
|
||||||
"egg-smol",
|
"egglog",
|
||||||
"js-sys",
|
"js-sys",
|
||||||
"log",
|
"log",
|
||||||
"wasm-bindgen",
|
"wasm-bindgen",
|
||||||
|
@ -5,13 +5,13 @@
|
|||||||
|
|
||||||
rustPlatform.buildRustPackage {
|
rustPlatform.buildRustPackage {
|
||||||
pname = "egglog";
|
pname = "egglog";
|
||||||
version = "unstable-2023-05-22";
|
version = "unstable-2023-06-11";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "egraphs-good";
|
owner = "egraphs-good";
|
||||||
repo = "egglog";
|
repo = "egglog";
|
||||||
rev = "5242b50051c339d55009860d4dff80125fdcedfd";
|
rev = "c7ef8b000caf7fa17f6127847db4b9c285c03f09";
|
||||||
hash = "sha256-N04CfITLEr4D4s6bUi0eRQdAVy6Ztq3Ml0365of7i0U=";
|
hash = "sha256-OGuqC/HgH7UhUhW5RU8nkqj6roPjXXOyVRHmnJdIolg=";
|
||||||
};
|
};
|
||||||
|
|
||||||
cargoLock = {
|
cargoLock = {
|
||||||
@ -27,6 +27,5 @@ rustPlatform.buildRustPackage {
|
|||||||
homepage = "https://github.com/egraphs-good/egglog";
|
homepage = "https://github.com/egraphs-good/egglog";
|
||||||
license = licenses.mit;
|
license = licenses.mit;
|
||||||
maintainers = with maintainers; [ figsoda ];
|
maintainers = with maintainers; [ figsoda ];
|
||||||
mainProgram = "egg-smol";
|
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user