kremlin (lang/fstar) Updated: 2 years, 4 months ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKreMLin 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"
lib (3)test (1)
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, 10 hours ago