taco-parser 0.1.0-alpha.2

A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files. This crate is part of the TACO toolsuite.

Documentation

Coverage
100%
13 out of 13 items documented0 out of 8 items with examples
Size
Source code size: 248.5 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 6.37 MB This is the summed size of all files generated by rustdoc for all configured targets
Links
Homepage
cispa/TACO
0 0 0
crates.io
Dependencies
Versions
Owners

taco-parser-0.1.0-alpha.2 has been yanked.

TACO Parser

A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files.

This crate is part of the TACO toolsuite for threshold automata. You can find more background, the specification formats and use cases, as well as related crates on the TACO website.