From 8db9e5a201189965ad176b6f6196f28fddd766fe Mon Sep 17 00:00:00 2001 From: engboris Date: Sun, 1 May 2022 17:21:13 +0200 Subject: [PATCH] Fix polarities in StellarCircuits --- ocaml/StellarCircuits.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ocaml/StellarCircuits.ml b/ocaml/StellarCircuits.ml index 92ca0e9..4717ebb 100644 --- a/ocaml/StellarCircuits.ml +++ b/ocaml/StellarCircuits.ml @@ -15,8 +15,8 @@ let call_cor pol arg1 arg2 res = Func ("or", pol, [arg1; arg2; res]) let star_of_gate circ (ins, op, outs) = match op with - | CIn i -> [port Neg (List.hd outs) [make_const (string_of_int i)]] - | COut -> [outport (List.hd ins) "r"; Var "r"] + | CIn i -> [port Pos (List.hd outs) [make_const (string_of_int i)]] + | COut -> [inport (List.hd ins) "r"; Var "r"] | CShare -> let (o1, o2) = twinhd outs in [inport (List.hd ins) "x"; outport o1 "x"; outport o2 "x"]