Name		Name	Last commit message	Last commit date
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

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages