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

#1294 in Parser implementations

Download history 232/week @ 2024-10-03 74/week @ 2024-10-10 9/week @ 2024-10-17

315 downloads per month
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

~8–19MB
~208K SLoC