From 303a45374643f75698c61f062899973d2c297831 Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Fri, 20 Nov 2020 23:31:01 +0000 Subject: Add todo for missing logic around instantiations --- src/translation/HTLgen.v | 1 + 1 file changed, 1 insertion(+) diff --git a/src/translation/HTLgen.v b/src/translation/HTLgen.v index be473fc..8e060e4 100644 --- a/src/translation/HTLgen.v +++ b/src/translation/HTLgen.v @@ -583,6 +583,7 @@ Definition transf_instr (fin rtrn stack: reg) (ni: node * instruction) : mon uni if Z.leb (Z.pos n') Integers.Int.max_unsigned then do finished <- create_wire 1; do res <- create_wire 32; + (* TODO implement control and datapaths for instantiated module *) add_instance fn args finished res else error (Errors.msg "State is larger than 2^32.") | Itailcall _ _ _ => error (Errors.msg "Tailcalls are not implemented.") -- cgit