History

Moving to named parameters in format strings (#827 )

* autofix

* you're just asking for a clamping

* autofmt on linux

* fix nits

* change back nit

* unfixing as u64 for GuestAddr

* fix

* ignoring clippy for GuestAddress

2022-10-11 13:45:01 +02:00

src

Clippy for Cargo (#532 )

2022-02-11 14:34:01 +01:00

symcc @ 5cccc33456

SymCC update (#656 )

2022-05-28 01:41:43 +02:00

build.rs

Moving to named parameters in format strings (#827 )

2022-10-11 13:45:01 +02:00

Cargo.toml

0.8.1 (#732 )

2022-08-18 10:23:57 +02:00

README.md

prepare concolic support crates for publishing to crates.io (#250 )

2021-08-06 17:49:57 +02:00

README.md

SymCC Concolic Tracing Runtime Rust Bindings

This crate allows you to build custom runtimes for SymCC. See the documentation for details.