#driver #tool #binary

hax-types

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

5 releases

0.2.0 Mar 5, 2025
0.1.0 Jan 20, 2025
0.1.0-rc.1 Dec 17, 2024
0.1.0-alpha.1 Oct 7, 2024

#455 in Hardware support

Download history 1/week @ 2024-12-03 18/week @ 2024-12-10 135/week @ 2024-12-17 1/week @ 2025-01-07 65/week @ 2025-01-14 50/week @ 2025-01-21 6/week @ 2025-01-28 9/week @ 2025-02-04 2/week @ 2025-02-11 145/week @ 2025-03-04 7/week @ 2025-03-11 2/week @ 2025-03-18

154 downloads per month
Used in 2 crates

Apache-2.0

395KB
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–15MB
~192K SLoC