xpile 0.1.615

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

# PMAT-502ao (Tranche 2): assert cond, msg -> assert!(cond, "{}", msg).
def checked(x: int) -> int:
    assert x > 0, "x must be positive"
    return x


def bare(x: int) -> int:
    assert x > 0
    return x