Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
test		test
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
ass.ml		ass.ml
ast.ml		ast.ml
check.ml		check.ml
codegen.ml		codegen.ml
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly

Repository files navigation

mv2rm

An OCAML based language translator converting BLIF to Reactive Modules. s

About

OCAML code for a BlifMV to Reactive Modules translator

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages