GitHub - jrrk2/bytecode: An attempt to implement OCaml byte code as a system verilog module (behavioural and RTL versions)

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
.gitignore		.gitignore
Makefile		Makefile
array.ml		array.ml
bytecode.c		bytecode.c
comp.sh		comp.sh
comp_rtl.sh		comp_rtl.sh
fact.ml		fact.ml
hellofor.ml		hellofor.ml
helloworld.ml		helloworld.ml
ltint.ml		ltint.ml
main.cpp		main.cpp
main_rtl.cpp		main_rtl.cpp
ocaml4142_vm.sv		ocaml4142_vm.sv
ocaml4142_vm_rtl.sv		ocaml4142_vm_rtl.sv
ocaml_4142_opcodes.svh		ocaml_4142_opcodes.svh
print.ml		print.ml
state.h		state.h
state_rtl.h		state_rtl.h
state_rtl_complete.h		state_rtl_complete.h
test_ops.ml		test_ops.ml
test_ops_no_refs.ml		test_ops_no_refs.ml
test_refs.ml		test_refs.ml
test_refs_simple.ml		test_refs_simple.ml
test_suite.ml		test_suite.ml