History

* Fix clippy

* undo comment fmt

* add unstracked nyx files to gitignore

* fix

* windows, no_std

* fix

* fix

* more

* macos

* remove doctest

Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>

2022-12-06 00:05:42 +09: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

Fix Clippy (#926 )

2022-12-06 00:05:42 +09: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.