SSARA (Static Single Assignment Register Assignment) is an implementation of a partially verified SSA-based register assignment algorithm. Given a program written in JAIR (Just Another Intermediate Representation), the result is an x64 program. Some sample programs can be found in core/Color.v.

dune build

./_build/default/extract/main.exe