ascetic_cli

因果同步交互系统的分析和综合。这是 Ascesis 项目的命令行工具集。

先决条件

原则上，ascetic_cli 应该可以在任何运行 rustc 和 cargo 的地方构建。其可执行文件应该可以在任何支持 Rust std 库的 平台 上运行。请注意，该项目是一个非常早期的作品。开发中主要使用的工具链是 Rust 1.43 的夜间频道。

安装

安装 Rust，确保其版本至少为 1.43：使用 cargo version 进行检查，并在需要时运行 rustup update。然后

$ cargo install ascetic_cli

将自动从 crates.io 下载、构建和安装最新的 ascetic_cli 版本。

命令行界面

C-e 结构可以使用 Ascesis 语言或文本描述的 .cex 格式在文本文件中定义。Ascesis 语言有正式指定的 语法 和非正式描述的 语义。《code>.cex 文件的格式基于 YAML，但未进行文档记录，并且很可能发生变化（有一些，可能是自解释的 示例）。

运行 ascesis 可执行文件以从（一个或多个）.ces 或 .cex 文件中加载 c-e 结构并进行分析。默认情况下，程序将检查链接一致性并打印出任何正在执行的组件，或者通知结构死锁。根据指令，它还可以执行模拟的一步，

$ ascesis scripts/ces/zerotest.ces -gentry -gtested

运行更长时间的模拟，

$ ascesis scripts/ces/arrow.ces scripts/ces/choice-two.ces -ga:3 -x3

或验证一组文件，

$ ascesis validate -r scripts

要查看可用子命令和选项的列表，请运行

$ ascesis --help

许可证

ascetic_cli 采用 MIT 许可证。请阅读此存储库中的 LICENSE-MIT 文件以获取更多信息。