Lib.rs

› Parser implementations | Hardware support
#rustc #hax #json #driver #message #communicate #cbor

hax-types

Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax

Owned by Lucas Franceschino, hacspec.

2 releases

0.1.0-alpha.1 Oct 7, 2024

#1736 in Parser implementations


Used in 2 crates

Apache-2.0

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
~189K SLoC