kremlin (lang/fstar) Updated: 2 years, 4 months ago Add to my watchlist

A tool for extracting low-level F* programs to readable C code

KreMLin is a tool that extracts an F* program to readable C code.

Version: 2022.06.08 License: Apache-2 GitHub
Maintainers landonf
Categories devel lang
Homepage https://fstar-lang.org
Platforms darwin
Variants -

Subport(s) (5)


"kremlin" depends on

lib (18)
run (1)
build (4)
test (1)

Ports that depend on "kremlin"




Port notes

To use this KreMLin toolchain with most standard Makefile-based F*/KreMLin projects, pass KRML_HOME to the build as either an environment variable, or make(1) parameter:

KRML_HOME="${prefix}/libexec/kremlin/home"


Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: livecheck failed for kremlin: extracted version '5f7e9be838ba8ec0ed3323132e6beb6276f6acf2' is older than livecheck.version '28a9d4a64fbbdcd1fe12c07e65d4b82e63bb5106'

last updated: 1 day, 7 hours ago