Lib.rs

› Parser implementations
#driver #hax #binary #formal-verification #hax-types

hax-types

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

by Lucas Franceschino, hacspec

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

#1086 in Parser implementations


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.

Dependencies

~7–15MB
~189K SLoC