Skip to content

Commit 810c449

Browse files
committed
cargo changes
1 parent 7c54811 commit 810c449

File tree

2 files changed

+7
-2
lines changed

2 files changed

+7
-2
lines changed

Cargo.lock

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,12 @@
11
[package]
22
name = "egglog-experimental"
3-
version = "0.1.0"
3+
version = "1.0.0"
44
edition = "2024"
5+
description = "Experimental extensions to the egglog language."
6+
repository = "https://github.com/egraphs-good/egglog"
7+
keywords = ["e-graphs", "egglog", "datalog", "compiler", "equality", "experimental"]
8+
license = "MIT"
9+
readme = "README.md"
510

611
[[test]]
712
harness = false

0 commit comments

Comments
 (0)