mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 15:26:49 +03:00
Bump kind version to 0.3.11 for bin and 0.1.4 for libs
This commit is contained in:
parent
7ac46c9f34
commit
6c73ffaf05
@ -3,14 +3,14 @@ description = "Type checker for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-checker"
|
name = "kind-checker"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
hvm = "1.0.9"
|
hvm = "1.0.9"
|
||||||
|
|
||||||
|
@ -5,7 +5,7 @@ keywords = ["functional", "language", "type-theory", "proof-assistant"]
|
|||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind2"
|
name = "kind2"
|
||||||
repository = "https://github.com/Kindelia/Kind2"
|
repository = "https://github.com/Kindelia/Kind2"
|
||||||
version = "0.3.10"
|
version = "0.3.11"
|
||||||
|
|
||||||
[[bin]]
|
[[bin]]
|
||||||
name = "kind2"
|
name = "kind2"
|
||||||
@ -14,10 +14,10 @@ path = "src/main.rs"
|
|||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-checker = {path = "../kind-checker", version = "0.1.3"}
|
kind-checker = {path = "../kind-checker", version = "0.1.4"}
|
||||||
kind-driver = {path = "../kind-driver", version = "0.1.3"}
|
kind-driver = {path = "../kind-driver", version = "0.1.4"}
|
||||||
kind-query = {path = "../kind-query", version = "0.1.3"}
|
kind-query = {path = "../kind-query", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
|
|
||||||
anyhow = "1.0.66"
|
anyhow = "1.0.66"
|
||||||
clap = {version = "4.0.10", features = ["derive"]}
|
clap = {version = "4.0.10", features = ["derive"]}
|
||||||
|
@ -3,13 +3,13 @@ description = "Derive generator the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-derive"
|
name = "kind-derive"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
im-rc = "15.1.0"
|
im-rc = "15.1.0"
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
@ -3,17 +3,17 @@ description = "Driver for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-driver"
|
name = "kind-driver"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-checker = {path = "../kind-checker", version = "0.1.3"}
|
kind-checker = {path = "../kind-checker", version = "0.1.4"}
|
||||||
kind-parser = {path = "../kind-parser", version = "0.1.3"}
|
kind-parser = {path = "../kind-parser", version = "0.1.4"}
|
||||||
kind-pass = {path = "../kind-pass", version = "0.1.3"}
|
kind-pass = {path = "../kind-pass", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.0"}
|
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.0"}
|
||||||
kind-target-kdl = {path = "../kind-target-kdl", version = "0.1.0"}
|
kind-target-kdl = {path = "../kind-target-kdl", version = "0.1.0"}
|
||||||
|
@ -3,13 +3,13 @@ description = "Parser for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-parser"
|
name = "kind-parser"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
|
@ -3,15 +3,15 @@ description = "A lot of compiler passes for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-pass"
|
name = "kind-pass"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-derive = {path = "../kind-derive", version = "0.1.3"}
|
kind-derive = {path = "../kind-derive", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
anyhow = "1.0.66"
|
anyhow = "1.0.66"
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
|
@ -3,18 +3,18 @@ description = "Query module for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-query"
|
name = "kind-query"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-checker = {path = "../kind-checker", version = "0.1.3"}
|
kind-checker = {path = "../kind-checker", version = "0.1.4"}
|
||||||
kind-parser = {path = "../kind-parser", version = "0.1.3"}
|
kind-parser = {path = "../kind-parser", version = "0.1.4"}
|
||||||
kind-pass = {path = "../kind-pass", version = "0.1.3"}
|
kind-pass = {path = "../kind-pass", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.3"}
|
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
pathdiff = "0.2.1"
|
pathdiff = "0.2.1"
|
||||||
|
@ -3,12 +3,12 @@ description = "Report module for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-report"
|
name = "kind-report"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
|
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
pathdiff = "0.2.1"
|
pathdiff = "0.2.1"
|
||||||
|
@ -3,7 +3,7 @@ description = "Describes locations for the Kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-span"
|
name = "kind-span"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
|
@ -3,14 +3,14 @@ description = "HVM Code generator for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-target-hvm"
|
name = "kind-target-hvm"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-derive = {path = "../kind-derive", version = "0.1.3"}
|
kind-derive = {path = "../kind-derive", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
hvm = "1.0.9"
|
hvm = "1.0.9"
|
||||||
|
@ -3,15 +3,15 @@ description = "KDL target for the kind compiler"
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-target-kdl"
|
name = "kind-target-kdl"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
kind-derive = {path = "../kind-derive", version = "0.1.3"}
|
kind-derive = {path = "../kind-derive", version = "0.1.4"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
im-rc = "15.1.0"
|
im-rc = "15.1.0"
|
||||||
|
@ -2,18 +2,18 @@
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-tests"
|
name = "kind-tests"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
|
|
||||||
[dev-dependencies]
|
[dev-dependencies]
|
||||||
kind-checker = {path = "../kind-checker"}
|
kind-checker = {path = "../kind-checker"}
|
||||||
kind-driver = {path = "../kind-driver"}
|
kind-driver = {path = "../kind-driver"}
|
||||||
kind-parser = {path = "../kind-parser", version = "0.1.3"}
|
kind-parser = {path = "../kind-parser", version = "0.1.4"}
|
||||||
kind-pass = {path = "../kind-pass"}
|
kind-pass = {path = "../kind-pass"}
|
||||||
kind-report = {path = "../kind-report", version = "0.1.3"}
|
kind-report = {path = "../kind-report", version = "0.1.4"}
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
kind-tree = {path = "../kind-tree", version = "0.1.3"}
|
kind-tree = {path = "../kind-tree", version = "0.1.4"}
|
||||||
|
|
||||||
kind-target-hvm = {path = "../kind-target-hvm"}
|
kind-target-hvm = {path = "../kind-target-hvm"}
|
||||||
kind-target-kdl = {path = "../kind-target-kdl"}
|
kind-target-kdl = {path = "../kind-target-kdl"}
|
||||||
|
@ -2,7 +2,7 @@
|
|||||||
edition = "2021"
|
edition = "2021"
|
||||||
license = "MIT"
|
license = "MIT"
|
||||||
name = "kind-tree"
|
name = "kind-tree"
|
||||||
version = "0.1.3"
|
version = "0.1.4"
|
||||||
|
|
||||||
description = "Syntatic trees for Kind compiler"
|
description = "Syntatic trees for Kind compiler"
|
||||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||||
@ -11,5 +11,5 @@ description = "Syntatic trees for Kind compiler"
|
|||||||
hvm = "1.0.9"
|
hvm = "1.0.9"
|
||||||
|
|
||||||
fxhash = "0.2.1"
|
fxhash = "0.2.1"
|
||||||
kind-span = {path = "../kind-span", version = "0.1.3"}
|
kind-span = {path = "../kind-span", version = "0.1.4"}
|
||||||
linked-hash-map = "0.5.6"
|
linked-hash-map = "0.5.6"
|
||||||
|
Loading…
Reference in New Issue
Block a user