hax-types 0.3.6

Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax.
Documentation 
1
2
3
4
5
6
7
8

# `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.