xpile 0.1.1

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
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
34
35
36

[package]
name = "xpile"
version.workspace = true
edition.workspace = true
rust-version.workspace = true
license.workspace = true
authors.workspace = true
repository.workspace = true
homepage = "https://github.com/paiml/xpile"
documentation = "https://docs.rs/xpile"
readme = "README.md"
description = "Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer."
keywords = ["transpile", "polyglot", "compiler", "verification", "rust"]
categories = ["development-tools", "command-line-utilities", "compilers"]

[[bin]]
name = "xpile"
path = "src/main.rs"

[dependencies]
xpile-core     = { workspace = true }
xpile-backend  = { workspace = true }
xpile-meta-hir = { workspace = true }
anyhow         = { workspace = true }
clap           = { version = "4", features = ["derive"] }

[dev-dependencies]
# PMAT-270: trait_runtime_properties.rs exercises ContractBackend +
# ContractFrontend traits directly against the live default_session().
xpile-contract-backend  = { workspace = true }
xpile-contract-frontend = { workspace = true }
xpile-contracts         = { workspace = true }
# PMAT-274: notation_runtime.rs parses notation_demo.tex through the
# real LatexContractFrontend (the test asserts the C-NOTATION three-
# form equivalence claim against on-disk evidence).
latex-contract-frontend = { workspace = true }