hax-frontend-exporter 0.1.0

Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

[package]
name = "hax-frontend-exporter"
version.workspace = true
authors.workspace = true
license.workspace = true
homepage.workspace = true
edition.workspace = true
repository.workspace = true
readme.workspace = true
description = "Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information."

[package.metadata.rust-analyzer]
rustc_private=true

[dependencies]
hax-adt-into.workspace = true
serde.workspace = true
serde_json.workspace = true
schemars.workspace = true
itertools.workspace = true
hax-frontend-exporter-options.workspace = true
tracing.workspace = true
paste = "1.0.11"
extension-traits = "1.0.1"
lazy_static = "1.4.0"

[features]
default = ["rustc"]
extract_names_mode = []
# Enables the conversion bridges from rustc types (and AST) to the
# ones defined in this crate. Enabling `rustc` adds a dependency to
# `librustc_driver`.
rustc = []