6 releases
| 0.2.3 | Jun 17, 2020 |
|---|---|
| 0.2.2 | Jun 13, 2020 |
| 0.1.1 | Jun 8, 2020 |
#32 in #dependent
Used in 2 crates
(via verified)
54KB
1.5K
SLoC
Verifiable Rust
Source code for the verified crate
Dependencies
~1.5MB
~38K SLoC
An attribute that automatically instruments code with logical type bounds
| 0.2.3 | Jun 17, 2020 |
|---|---|
| 0.2.2 | Jun 13, 2020 |
| 0.1.1 | Jun 8, 2020 |
#32 in #dependent
Used in 2 crates
(via verified)
54KB
1.5K
SLoC
Source code for the verified crate
~1.5MB
~38K SLoC