From 6980547e7e586d1ce786337d7f2be5700cae468a Mon Sep 17 00:00:00 2001 From: shilangyu Date: Sun, 28 Jan 2024 09:50:40 +0100 Subject: [PATCH] Update inits --- src/transformations.ts | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/transformations.ts b/src/transformations.ts index 7a04d08..bf16dab 100644 --- a/src/transformations.ts +++ b/src/transformations.ts @@ -111,6 +111,7 @@ const transformations: Transformations = [ code: dedent` «init» Reg := 0 + old := 0 func Read() return Reg.read() @@ -192,7 +193,7 @@ const transformations: Transformations = [ ], code: dedent` «init» - Reg := 0 + Reg := (0, 0) t := 0 x := 0 @@ -237,8 +238,8 @@ const transformations: Transformations = [ ], code: dedent` «init» - RReg[(1, 1), (1, 2), .., (N, N)] := 0 - WReg[1..N] := 0 + RReg[(1, 1), (1, 2), .., (N, N)] := (0, 0) + WReg[1..N] := (0, 0) t := 0 func Read() @@ -285,7 +286,7 @@ const transformations: Transformations = [ ], code: dedent` «init» - Reg[1..N] := 0 + Reg[1..N] := (0, 0) func Read() for j = 1..N