docs.rs failed to build tessellate-core-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Tess core
tessellate-core is the crates.io package for Tess's compiler, deterministic runtime, formatter,
analyzer, bounded trace explorer, and embedded Z3 verification backend. Its Rust library target is
still named tess.
[]
= { = "tessellate-core", = "0.1" }
use compile;
The Tess language, tess command, .tes source extension, documentation, and repository all keep
the Tess name. See the Tess repository for language guides,
examples, compatibility policy, and the full public API.
The first build may download an official static Z3 archive into Cargo's cache. The finished library
does not invoke a separate z3 executable.