Lib.rs

› Parser implementations | Hardware support
#hax #rustc #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, Franziskus Kiefer, hacspec.

3 releases

0.1.0-rc.1 Dec 17, 2024
0.1.0-alpha.1 Oct 7, 2024

#1362 in Parser implementations

Download history 280/week @ 2024-10-06 33/week @ 2024-10-13 2/week @ 2024-10-20 9/week @ 2024-11-03 1/week @ 2024-11-10 6/week @ 2024-11-17 1/week @ 2024-11-24 18/week @ 2024-12-08 132/week @ 2024-12-15 4/week @ 2024-12-22

154 downloads per month
Used in 2 crates

Apache-2.0

1MB
10K 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