AsmFX

An abstract assembly language with primitive effect handlers

This code provides a prototype implementation of an abstract machine implementing the assembly-like language AsmFX presented at HOPE 2024.

More information will be provided soon.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Makefile		Makefile
README.md		README.md
isa.ml		isa.ml
isa.mli		isa.mli
lib.ml		lib.ml
lib.mli		lib.mli
machine.ml		machine.ml
machine.mli		machine.mli
source.ml		source.ml