hax-rust-engine 0.3.4

The engine of the hax toolchain.

Coverage
100%
2409 out of 2409 items documented1 out of 238 items with examples
Size
Source code size: 431.32 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 46.92 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 1m 19s Average build duration of successful builds.
all releases: 1m 6s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
cryspen/hax
469 67 223
crates.io
Dependencies
Versions
Owners

Hax Rust Engine

This crate implements an alternative engine for Rust: the main one is implemented in OCaml and is located in /engine. This Rust engine is designed so that it can re-use some bits of the OCaml engine.

The plan is to slowly deprecate the OCaml engine, rewrite most of its components and drop it.

Usage

The Rust engine supports only one backend for now: Lean. The Lean backend is currently empty and produces only a dummy file.

To run it, use the follwing command:

cargo hax into lean