Skip to content

hax-types

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

hax-types

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
src
src
 
 
Cargo.toml
Cargo.toml
 
 
README.md
README.md
 
 
build.rs
build.rs
 
 

README.md

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.