History

* fix incorrect assert condition and document it

* update symcc

* adapt to changes in symcc API

* more fixes

* fix formatting

* more fixes

* speed up smoke test by building multiple crates in one command

* update symcc commit to latest main

2022-11-19 23:05:15 +01:00

src

Update and fix concolic support (#901 )

2022-11-19 23:05:15 +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

Update dependencies, removed unused deps, CI fixes (#839 )

2022-10-18 20:36:43 +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.