elina-rs

此库在 ELINA C 库之上提供安全的 Rust 抽象。要了解更多关于 ELINA 的信息，请参阅他们的 GitHub 和 网站。

安装

您需要安装 ELINA 以链接此包。目前，您还需要安装 ELINA 的头文件来构建此包，但将来可能会有所变化。
有关安装 ELINA 的说明，请参阅 ELINA 网站。

安装 ELINA 后，您可以将此包作为依赖项添加到您的 Cargo.toml

[dependencies]
elina = "0.3.1"

使用方法

请阅读 API 文档。

有关示例，请参阅 examples/showcase.rs。
您可以使用以下命令运行示例：cargo run --example showcase

项目

以下项目使用 elina-rs（请随时提交您自己的 PR！）

• skius/progge.rs - 简单命令式语言的程序分析游乐场

许可

许可如下

• Apache 许可证 2.0（《LICENSE-APACHE》或https://apache.ac.cn/licenses/LICENSE-2.0）
• MIT 许可（《LICENSE-MIT》或http://opensource.org/licenses/MIT）

任选其一。

贡献

除非您明确表示，否则根据 Apache-2.0 许可证定义，您有意提交以包含在作品中的任何贡献，将按照上述方式双许可，不附加任何其他条款或条件。