reduce_unsafe 0.1.0

Reduce unsafe code and detect soundness bugs with equivalence checks against safe code
Documentation 
1
2
3
4
5
6
7
8
9
10
11

[package]
name = "reduce_unsafe"
version = "0.1.0"
authors = ["The SiO4 Project Developers <https://gitlab.com/sio4>"]
edition = "2018"
license = "MIT OR Apache-2.0"
description = "Reduce unsafe code and detect soundness bugs with equivalence checks against safe code"
repository = "https://gitlab.com/sio4/code/reduce_unsafe"
documentation = "https://docs.rs/reduce_unsafe"

[dependencies]