From 5fd7bdfaf6c9c95c673e14cd233e23d7582431e4 Mon Sep 17 00:00:00 2001 From: Artem Gureev Date: Mon, 18 Dec 2023 22:22:53 +0700 Subject: [PATCH] Change Variable Printing Changes variable wire printing for to-circuit function. Now the N-th entry is printed as `inN` and the test-call right had side is `out` --- src/seqn/trans.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/seqn/trans.lisp b/src/seqn/trans.lisp index 51e6547fe..8d1585d14 100644 --- a/src/seqn/trans.lisp +++ b/src/seqn/trans.lisp @@ -26,7 +26,7 @@ and skip 0es, making non-zero entries into wires" (wires (loop for i from 1 to wire-count collect (vamp:make-wire :var (intern - (format nil "X~a" (- wire-count i)) + (format nil "in~a" (- wire-count i)) :keyword))))) (list (vamp:make-alias @@ -53,7 +53,7 @@ an equality as foo x1 ... xn = y" :lhs (if (zerop (length inputs)) (vamp:make-wire :var name) (vamp:make-application :func name :arguments inputs)) - :rhs (vamp:make-wire :var :y))))) + :rhs (vamp:make-wire :var :out))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; SeqN to Vamp-IR Compilation