2 releases
0.1.0-alpha.1 | Oct 7, 2024 |
---|
#1308 in Parser implementations
45 downloads per month
Used in 2 crates
1MB
9K
SLoC
hax-types
This crate contains the type definitions that are used to communicate between:
- the command line (the
cargo-hax
binary); - the custom rustc driver;
- the hax engine (the
hax-engine
binary).
Those three component send and receive messages in JSON or CBOR on stdin and stdout.
lib.rs
:
This crate contains the type definitions that are used to communicate between:
- the command line (the
cargo-hax
binary); - the custom rustc driver;
- the hax engine (the
hax-engine
binary).
Those three component send and receive messages in JSON or CBOR on stdin and stdout.
Dependencies
~7–18MB
~190K SLoC