tla-syntax 0.2.0

Parser, AST and printer for TLA+, with no dependencies
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

[package]
name = "tla-syntax"
description = "Parser, AST and printer for TLA+, with no dependencies"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
homepage.workspace = true
authors.workspace = true
rust-version.workspace = true
# These read fixtures from the repository, which a published tarball has not.
exclude = ["tests/parse_specs.rs", "tests/robustness.rs", "tests/golden.rs"]
keywords = ["tlaplus", "tla", "parser", "formal-methods", "specification"]
categories = ["parser-implementations", "development-tools", "science"]
readme = "../../README.md"

[lints]
workspace = true

[package.metadata.docs.rs]
all-features = true
rustdoc-args = ["--cfg", "docsrs"]