From ce1032f80dc7bbfe5f41e96aa7bd2578992d118e Mon Sep 17 00:00:00 2001 From: dzaima Date: Mon, 29 Aug 2022 23:09:42 +0300 Subject: [PATCH] second instruction shouldn't have a swap requirement anymore --- src/singeli/src/genArithTables.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/genArithTables.bqn b/src/singeli/src/genArithTables.bqn index 76b69c9c..4f083f2d 100644 --- a/src/singeli/src/genArithTables.bqn +++ b/src/singeli/src/genArithTables.bqn @@ -115,7 +115,7 @@ Make ← {𝕊ns: i0‿i1 ← 1‿0 { 𝕨 𝕊 @: ""; i0 𝕊 fn‿t‿rt‿ex‿swap‿cast: - swap∧↩ i0 + ! i0 ∨ ¬swap two ← swap ∨ @≢cast ∾⟨⊢◶""‿{𝕊:∾⟨ ".ex1=",@⊸≢◶⟨"",∾⟜"_"⟩ cast,swap⊑"reg,"‿"swap,"⟩} two,