Skip to content
/ elina-rs Public

Rust bindings for the ELINA library

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

skius/elina-rs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

58 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

elina-rs

Crates.io

This library provides a safe Rust abstraction over the ELINA C library. To learn more about ELINA, see their GitHub and website.

Installation

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"

Usage

Please read the API documentation.

See examples/showcase.rs for an example.
You can run the example with cargo run --example showcase

Projects

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

License

Licensed under either of

at your option.

Contribution

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.

About

Rust bindings for the ELINA library

Topics

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Packages

No packages published

Languages