This library provides a safe Rust abstraction over the ELINA C library. To learn more about ELINA, see their GitHub and website.
You need ELINA installed to link this crate. Currently, you also need the ELINA header files
installed to build this crate, but this may change in the future.
See ELINA's website for instructions on how to install ELINA.
After you've installed ELINA, you can add this crate as a dependency in your Cargo.toml:
[dependencies]
elina = "0.3.1"Please read the API documentation.
See examples/showcase.rs for an example.
You can run the example with cargo run --example showcase
The following projects use elina-rs (feel free to open a PR with your own!):
- skius/progge.rs - Program analysis playground for a simple, imperative language
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.