hax-rust-engine 0.3.5

The engine of the hax toolchain.

Coverage
100%
2428 out of 2428 items documented1 out of 258 items with examples
Size
Source code size: 631.11 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 50.25 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 1m 25s 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.

To run it, use the following command:

cargo hax into lean