Skip to content

Commit f601a8e

Browse files
DavePearceDavePearce
authored
fix: revert back to old register naming (#1053)
* revert back to old register naming This puts back in place the old register naming. * update test cases accordingly A number of perspective-related tests were now failing due to the change in column naming. Specifically, because the wrong names were being used in accepts/rejects files leading to "missing column in trace" errors, etc.
1 parent 694c0a8 commit f601a8e

File tree

67 files changed

+2260
-2267
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+2260
-2267
lines changed

‎pkg/corset/compiler/allocation.go‎

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,9 @@ func (r *Register) Name() string {
100100
})
101101
//
102102
for i, source := range r.Sources {
103-
names[i] = constructColumnName(source)
103+
// FIXME: below is used instead of above in order to replicate the original
104+
// Corset tool. Eventually, this behaviour should be deprecated.
105+
names[i] = source.Name.Tail()
104106
}
105107
// Construct register name from list of names
106108
name := constructRegisterName(names)
@@ -110,15 +112,6 @@ func (r *Register) Name() string {
110112
return *r.cached_name
111113
}
112114

113-
// Construct a suitable column name from a given register source. We need to
114-
// include the perspective name here in order to avoid name clashes between
115-
// columns with the same name defined in different columns.
116-
func constructColumnName(source RegisterSource) string {
117-
name := fmt.Sprintf("%s%s", source.Perspective(), source.Name.Tail())
118-
// Normalise name
119-
return strings.ReplaceAll(name, "/", "")
120-
}
121-
122115
// A simple algorithm for joining names together.
123116
func constructRegisterName(names []string) string {
124117
str := ""

‎testdata/array_08.accepts‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
{ "m1.SEL": [], "m1.testBYTE_1": [], "m1.testBYTE_2": [] }
2-
{ "m1.SEL": [0], "m1.testBYTE_1": [0], "m1.testBYTE_2": [0] }
3-
{ "m1.SEL": [0], "m1.testBYTE_1": [0], "m1.testBYTE_2": [1] }
4-
{ "m1.SEL": [0], "m1.testBYTE_1": [1], "m1.testBYTE_2": [0] }
5-
{ "m1.SEL": [0], "m1.testBYTE_1": [1], "m1.testBYTE_2": [1] }
6-
{ "m1.SEL": [1], "m1.testBYTE_1": [0], "m1.testBYTE_2": [0] }
7-
{ "m1.SEL": [1], "m1.testBYTE_1": [0], "m1.testBYTE_2": [1] }
1+
{ "m1.SEL": [], "m1.BYTE_1": [], "m1.BYTE_2": [] }
2+
{ "m1.SEL": [0], "m1.BYTE_1": [0], "m1.BYTE_2": [0] }
3+
{ "m1.SEL": [0], "m1.BYTE_1": [0], "m1.BYTE_2": [1] }
4+
{ "m1.SEL": [0], "m1.BYTE_1": [1], "m1.BYTE_2": [0] }
5+
{ "m1.SEL": [0], "m1.BYTE_1": [1], "m1.BYTE_2": [1] }
6+
{ "m1.SEL": [1], "m1.BYTE_1": [0], "m1.BYTE_2": [0] }
7+
{ "m1.SEL": [1], "m1.BYTE_1": [0], "m1.BYTE_2": [1] }

‎testdata/array_08.rejects‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
{ "m1.SEL": [1], "m1.testBYTE_1": [1], "m1.testBYTE_2": [0] }
2-
{ "m1.SEL": [1], "m1.testBYTE_1": [1], "m1.testBYTE_2": [1] }
1+
{ "m1.SEL": [1], "m1.BYTE_1": [1], "m1.BYTE_2": [0] }
2+
{ "m1.SEL": [1], "m1.BYTE_1": [1], "m1.BYTE_2": [1] }

‎testdata/exp.accepts.bz2‎

-496 Bytes
Binary file not shown.

‎testdata/interleave_05.accepts‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
{ "P": [], "X": [], "p1Y": [] }
2-
{ "P": [1], "X": [0], "p1Y": [0] }
3-
{ "P": [1,1], "X": [0,0], "p1Y": [0,0] }
4-
{ "P": [1,1,1], "X": [0,0,0], "p1Y": [0,0,0] }
5-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [0,0,0,0] }
1+
{ "P": [], "X": [], "Y": [] }
2+
{ "P": [1], "X": [0], "Y": [0] }
3+
{ "P": [1,1], "X": [0,0], "Y": [0,0] }
4+
{ "P": [1,1,1], "X": [0,0,0], "Y": [0,0,0] }
5+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [0,0,0,0] }

‎testdata/interleave_05.rejects‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
1-
{ "P": [1], "X": [1], "p1Y": [0] }
2-
{ "P": [1], "X": [0], "p1Y": [1] }
3-
{ "P": [1,1], "X": [0,0], "p1Y": [0,1] }
4-
{ "P": [1,1], "X": [0,0], "p1Y": [1,0] }
5-
{ "P": [1,1], "X": [0,1], "p1Y": [0,0] }
6-
{ "P": [1,1], "X": [1,0], "p1Y": [0,0] }
1+
{ "P": [1], "X": [1], "Y": [0] }
2+
{ "P": [1], "X": [0], "Y": [1] }
3+
{ "P": [1,1], "X": [0,0], "Y": [0,1] }
4+
{ "P": [1,1], "X": [0,0], "Y": [1,0] }
5+
{ "P": [1,1], "X": [0,1], "Y": [0,0] }
6+
{ "P": [1,1], "X": [1,0], "Y": [0,0] }
77
;;
8-
{ "P": [1,1], "X": [1,0], "p1Y": [0,1] }
9-
{ "P": [1,1], "X": [0,1], "p1Y": [0,1] }
10-
{ "P": [1,1], "X": [1,0], "p1Y": [1,0] }
11-
{ "P": [1,1], "X": [0,1], "p1Y": [1,0] }
12-
{ "P": [1,1], "X": [1,0], "p1Y": [0,1] }
13-
{ "P": [1,1], "X": [0,1], "p1Y": [0,1] }
8+
{ "P": [1,1], "X": [1,0], "Y": [0,1] }
9+
{ "P": [1,1], "X": [0,1], "Y": [0,1] }
10+
{ "P": [1,1], "X": [1,0], "Y": [1,0] }
11+
{ "P": [1,1], "X": [0,1], "Y": [1,0] }
12+
{ "P": [1,1], "X": [1,0], "Y": [0,1] }
13+
{ "P": [1,1], "X": [0,1], "Y": [0,1] }

‎testdata/interleave_06.accepts‎

Lines changed: 25 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,27 @@
1-
{ "P": [], "X": [], "p1Y": [] }
2-
{ "P": [1], "X": [0], "p1Y": [0] }
3-
{ "P": [1,1], "X": [0,0], "p1Y": [0,0] }
4-
{ "P": [1,1,1], "X": [0,0,0], "p1Y": [0,0,0] }
5-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [0,0,0,0] }
6-
{ "P": [1,0,1,1], "X": [0,1,0,0], "p1Y": [0,0,0,0] }
7-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [0,0,1,0] }
8-
{ "P": [1,0,0,1], "X": [0,1,0,0], "p1Y": [0,0,1,0] }
9-
{ "P": [0,1,0,1], "X": [1,0,0,0], "p1Y": [0,0,1,0] }
1+
{ "P": [], "X": [], "Y": [] }
2+
{ "P": [1], "X": [0], "Y": [0] }
3+
{ "P": [1,1], "X": [0,0], "Y": [0,0] }
4+
{ "P": [1,1,1], "X": [0,0,0], "Y": [0,0,0] }
5+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [0,0,0,0] }
6+
{ "P": [1,0,1,1], "X": [0,1,0,0], "Y": [0,0,0,0] }
7+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [0,0,1,0] }
8+
{ "P": [1,0,0,1], "X": [0,1,0,0], "Y": [0,0,1,0] }
9+
{ "P": [0,1,0,1], "X": [1,0,0,0], "Y": [0,0,1,0] }
1010
;;
11-
{ "P": [0], "X": [1], "p1Y": [0] }
12-
{ "P": [0], "X": [0], "p1Y": [1] }
13-
{ "P": [0,0], "X": [0,0], "p1Y": [0,1] }
14-
{ "P": [1,0], "X": [0,0], "p1Y": [0,1] }
15-
{ "P": [0,0], "X": [0,0], "p1Y": [1,0] }
16-
{ "P": [0,1], "X": [0,0], "p1Y": [1,0] }
17-
{ "P": [0,0], "X": [0,1], "p1Y": [0,0] }
18-
{ "P": [1,0], "X": [0,1], "p1Y": [0,0] }
19-
{ "P": [0,0], "X": [1,0], "p1Y": [0,0] }
20-
{ "P": [0,1], "X": [1,0], "p1Y": [0,0] }
11+
{ "P": [0], "X": [1], "Y": [0] }
12+
{ "P": [0], "X": [0], "Y": [1] }
13+
{ "P": [0,0], "X": [0,0], "Y": [0,1] }
14+
{ "P": [1,0], "X": [0,0], "Y": [0,1] }
15+
{ "P": [0,0], "X": [0,0], "Y": [1,0] }
16+
{ "P": [0,1], "X": [0,0], "Y": [1,0] }
17+
{ "P": [0,0], "X": [0,1], "Y": [0,0] }
18+
{ "P": [1,0], "X": [0,1], "Y": [0,0] }
19+
{ "P": [0,0], "X": [1,0], "Y": [0,0] }
20+
{ "P": [0,1], "X": [1,0], "Y": [0,0] }
2121
;;
22-
{ "P": [0,0], "X": [1,0], "p1Y": [0,1] }
23-
{ "P": [0,0], "X": [0,1], "p1Y": [0,1] }
24-
{ "P": [0,0], "X": [1,0], "p1Y": [1,0] }
25-
{ "P": [0,0], "X": [0,1], "p1Y": [1,0] }
26-
{ "P": [0,0], "X": [1,0], "p1Y": [0,1] }
27-
{ "P": [0,0], "X": [0,1], "p1Y": [0,1] }
22+
{ "P": [0,0], "X": [1,0], "Y": [0,1] }
23+
{ "P": [0,0], "X": [0,1], "Y": [0,1] }
24+
{ "P": [0,0], "X": [1,0], "Y": [1,0] }
25+
{ "P": [0,0], "X": [0,1], "Y": [1,0] }
26+
{ "P": [0,0], "X": [1,0], "Y": [0,1] }
27+
{ "P": [0,0], "X": [0,1], "Y": [0,1] }

‎testdata/interleave_06.rejects‎

Lines changed: 37 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,40 +1,40 @@
1-
{ "P": [1], "X": [1], "p1Y": [0] }
2-
{ "P": [1], "X": [0], "p1Y": [1] }
3-
{ "P": [1,1], "X": [0,0], "p1Y": [0,1] }
4-
{ "P": [1,1], "X": [0,0], "p1Y": [1,0] }
5-
{ "P": [1,1], "X": [0,1], "p1Y": [0,0] }
6-
{ "P": [1,1], "X": [1,0], "p1Y": [0,0] }
1+
{ "P": [1], "X": [1], "Y": [0] }
2+
{ "P": [1], "X": [0], "Y": [1] }
3+
{ "P": [1,1], "X": [0,0], "Y": [0,1] }
4+
{ "P": [1,1], "X": [0,0], "Y": [1,0] }
5+
{ "P": [1,1], "X": [0,1], "Y": [0,0] }
6+
{ "P": [1,1], "X": [1,0], "Y": [0,0] }
77
;;
8-
{ "P": [1,1], "X": [1,0], "p1Y": [0,1] }
9-
{ "P": [1,1], "X": [0,1], "p1Y": [0,1] }
10-
{ "P": [1,1], "X": [1,0], "p1Y": [1,0] }
11-
{ "P": [1,1], "X": [0,1], "p1Y": [1,0] }
12-
{ "P": [1,1], "X": [1,0], "p1Y": [0,1] }
13-
{ "P": [1,1], "X": [0,1], "p1Y": [0,1] }
8+
{ "P": [1,1], "X": [1,0], "Y": [0,1] }
9+
{ "P": [1,1], "X": [0,1], "Y": [0,1] }
10+
{ "P": [1,1], "X": [1,0], "Y": [1,0] }
11+
{ "P": [1,1], "X": [0,1], "Y": [1,0] }
12+
{ "P": [1,1], "X": [1,0], "Y": [0,1] }
13+
{ "P": [1,1], "X": [0,1], "Y": [0,1] }
1414
;;
15-
{ "P": [1,1,1,1], "X": [1,0,0,0], "p1Y": [0,0,0,0] }
16-
{ "P": [1,1,1,1], "X": [0,1,0,0], "p1Y": [0,0,0,0] }
17-
{ "P": [1,1,1,1], "X": [0,0,1,0], "p1Y": [0,0,0,0] }
18-
{ "P": [1,1,1,1], "X": [0,0,0,1], "p1Y": [0,0,0,0] }
19-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [1,0,0,0] }
20-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [0,1,0,0] }
21-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [0,0,1,0] }
22-
{ "P": [1,1,1,1], "X": [0,0,0,0], "p1Y": [0,0,0,1] }
23-
{ "P": [1,1,1,1], "X": [0,0,0,1], "p1Y": [1,0,0,0] }
24-
{ "P": [1,1,1,1], "X": [0,0,1,0], "p1Y": [0,1,0,0] }
25-
{ "P": [1,1,1,1], "X": [0,1,0,0], "p1Y": [0,0,1,0] }
26-
{ "P": [1,1,1,1], "X": [1,0,0,0], "p1Y": [0,0,0,1] }
15+
{ "P": [1,1,1,1], "X": [1,0,0,0], "Y": [0,0,0,0] }
16+
{ "P": [1,1,1,1], "X": [0,1,0,0], "Y": [0,0,0,0] }
17+
{ "P": [1,1,1,1], "X": [0,0,1,0], "Y": [0,0,0,0] }
18+
{ "P": [1,1,1,1], "X": [0,0,0,1], "Y": [0,0,0,0] }
19+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [1,0,0,0] }
20+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [0,1,0,0] }
21+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [0,0,1,0] }
22+
{ "P": [1,1,1,1], "X": [0,0,0,0], "Y": [0,0,0,1] }
23+
{ "P": [1,1,1,1], "X": [0,0,0,1], "Y": [1,0,0,0] }
24+
{ "P": [1,1,1,1], "X": [0,0,1,0], "Y": [0,1,0,0] }
25+
{ "P": [1,1,1,1], "X": [0,1,0,0], "Y": [0,0,1,0] }
26+
{ "P": [1,1,1,1], "X": [1,0,0,0], "Y": [0,0,0,1] }
2727
;;
28-
{ "P": [1,0,1,1], "X": [1,0,0,0], "p1Y": [0,0,0,0] }
29-
{ "P": [1,0,1,1], "X": [0,0,1,0], "p1Y": [0,0,0,0] }
30-
{ "P": [1,0,1,1], "X": [0,0,0,1], "p1Y": [0,0,0,0] }
31-
{ "P": [1,0,1,1], "X": [0,0,1,1], "p1Y": [0,0,0,0] }
32-
{ "P": [1,0,1,1], "X": [1,0,1,0], "p1Y": [0,0,0,0] }
33-
{ "P": [1,0,1,1], "X": [1,0,1,1], "p1Y": [0,0,0,0] }
34-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [1,0,0,0] }
35-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [0,1,0,0] }
36-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [1,1,0,0] }
37-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [0,0,0,1] }
38-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [1,0,0,1] }
39-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [0,1,0,1] }
40-
{ "P": [1,1,0,1], "X": [0,0,0,0], "p1Y": [1,1,0,1] }
28+
{ "P": [1,0,1,1], "X": [1,0,0,0], "Y": [0,0,0,0] }
29+
{ "P": [1,0,1,1], "X": [0,0,1,0], "Y": [0,0,0,0] }
30+
{ "P": [1,0,1,1], "X": [0,0,0,1], "Y": [0,0,0,0] }
31+
{ "P": [1,0,1,1], "X": [0,0,1,1], "Y": [0,0,0,0] }
32+
{ "P": [1,0,1,1], "X": [1,0,1,0], "Y": [0,0,0,0] }
33+
{ "P": [1,0,1,1], "X": [1,0,1,1], "Y": [0,0,0,0] }
34+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [1,0,0,0] }
35+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [0,1,0,0] }
36+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [1,1,0,0] }
37+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [0,0,0,1] }
38+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [1,0,0,1] }
39+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [0,1,0,1] }
40+
{ "P": [1,1,0,1], "X": [0,0,0,0], "Y": [1,1,0,1] }

‎testdata/perspective_01.accepts‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
1-
{ "A": [], "P": [], "Q": [], "p1B_xor_p2C": [] }
1+
{ "A": [], "P": [], "Q": [], "B_xor_C": [] }
22
;;
3-
{ "A": [0], "P": [0], "Q": [0], "p1B_xor_p2C": [0] }
4-
{ "A": [0], "P": [0], "Q": [0], "p1B_xor_p2C": [1] }
5-
{ "A": [1], "P": [0], "Q": [0], "p1B_xor_p2C": [0] }
6-
{ "A": [1], "P": [0], "Q": [0], "p1B_xor_p2C": [1] }
7-
{ "A": [2], "P": [0], "Q": [0], "p1B_xor_p2C": [0] }
8-
{ "A": [2], "P": [0], "Q": [0], "p1B_xor_p2C": [1] }
9-
{ "A": [3], "P": [0], "Q": [0], "p1B_xor_p2C": [0] }
10-
{ "A": [3], "P": [0], "Q": [0], "p1B_xor_p2C": [1] }
11-
{ "A": [55], "P": [0], "Q": [0], "p1B_xor_p2C": [1] }
3+
{ "A": [0], "P": [0], "Q": [0], "B_xor_C": [0] }
4+
{ "A": [0], "P": [0], "Q": [0], "B_xor_C": [1] }
5+
{ "A": [1], "P": [0], "Q": [0], "B_xor_C": [0] }
6+
{ "A": [1], "P": [0], "Q": [0], "B_xor_C": [1] }
7+
{ "A": [2], "P": [0], "Q": [0], "B_xor_C": [0] }
8+
{ "A": [2], "P": [0], "Q": [0], "B_xor_C": [1] }
9+
{ "A": [3], "P": [0], "Q": [0], "B_xor_C": [0] }
10+
{ "A": [3], "P": [0], "Q": [0], "B_xor_C": [1] }
11+
{ "A": [55], "P": [0], "Q": [0], "B_xor_C": [1] }
1212
;; perspective p1
13-
{ "A": [0], "P": [1], "Q": [0], "p1B_xor_p2C": [0] }
14-
{ "A": [1], "P": [1], "Q": [0], "p1B_xor_p2C": [1] }
13+
{ "A": [0], "P": [1], "Q": [0], "B_xor_C": [0] }
14+
{ "A": [1], "P": [1], "Q": [0], "B_xor_C": [1] }
1515
;; perspective p2
16-
{ "A": [0], "P": [0], "Q": [1], "p1B_xor_p2C": [0] }
17-
{ "A": [0], "P": [0], "Q": [1], "p1B_xor_p2C": [1] }
18-
{ "A": [1], "P": [0], "Q": [1], "p1B_xor_p2C": [0] }
19-
{ "A": [2], "P": [0], "Q": [1], "p1B_xor_p2C": [0] }
20-
{ "A": [3], "P": [0], "Q": [1], "p1B_xor_p2C": [0] }
21-
{ "A": [55], "P": [0], "Q": [1], "p1B_xor_p2C": [0] }
16+
{ "A": [0], "P": [0], "Q": [1], "B_xor_C": [0] }
17+
{ "A": [0], "P": [0], "Q": [1], "B_xor_C": [1] }
18+
{ "A": [1], "P": [0], "Q": [1], "B_xor_C": [0] }
19+
{ "A": [2], "P": [0], "Q": [1], "B_xor_C": [0] }
20+
{ "A": [3], "P": [0], "Q": [1], "B_xor_C": [0] }
21+
{ "A": [55], "P": [0], "Q": [1], "B_xor_C": [0] }

‎testdata/perspective_01.rejects‎

Lines changed: 21 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
1-
{ "A": [0], "P": [1], "Q": [0], "p1B_xor_p2C": [1] }
2-
{ "A": [0], "P": [1], "Q": [0], "p1B_xor_p2C": [2] }
3-
{ "A": [0], "P": [1], "Q": [0], "p1B_xor_p2C": [3] }
4-
{ "A": [1], "P": [1], "Q": [0], "p1B_xor_p2C": [2] }
5-
{ "A": [1], "P": [1], "Q": [0], "p1B_xor_p2C": [3] }
6-
{ "A": [1], "P": [1], "Q": [0], "p1B_xor_p2C": [0] }
7-
{ "A": [2], "P": [1], "Q": [0], "p1B_xor_p2C": [0] }
8-
{ "A": [2], "P": [1], "Q": [0], "p1B_xor_p2C": [1] }
9-
{ "A": [2], "P": [1], "Q": [0], "p1B_xor_p2C": [3] }
10-
{ "A": [3], "P": [1], "Q": [0], "p1B_xor_p2C": [0] }
11-
{ "A": [3], "P": [1], "Q": [0], "p1B_xor_p2C": [1] }
12-
{ "A": [3], "P": [1], "Q": [0], "p1B_xor_p2C": [2] }
13-
{ "A": [1], "P": [0], "Q": [1], "p1B_xor_p2C": [1] }
14-
{ "A": [1], "P": [0], "Q": [1], "p1B_xor_p2C": [2] }
15-
{ "A": [1], "P": [0], "Q": [1], "p1B_xor_p2C": [3] }
16-
{ "A": [2], "P": [0], "Q": [1], "p1B_xor_p2C": [1] }
17-
{ "A": [2], "P": [0], "Q": [1], "p1B_xor_p2C": [2] }
18-
{ "A": [2], "P": [0], "Q": [1], "p1B_xor_p2C": [3] }
19-
{ "A": [3], "P": [0], "Q": [1], "p1B_xor_p2C": [1] }
20-
{ "A": [3], "P": [0], "Q": [1], "p1B_xor_p2C": [2] }
21-
{ "A": [3], "P": [0], "Q": [1], "p1B_xor_p2C": [3] }
1+
{ "A": [0], "P": [1], "Q": [0], "B_xor_C": [1] }
2+
{ "A": [0], "P": [1], "Q": [0], "B_xor_C": [2] }
3+
{ "A": [0], "P": [1], "Q": [0], "B_xor_C": [3] }
4+
{ "A": [1], "P": [1], "Q": [0], "B_xor_C": [2] }
5+
{ "A": [1], "P": [1], "Q": [0], "B_xor_C": [3] }
6+
{ "A": [1], "P": [1], "Q": [0], "B_xor_C": [0] }
7+
{ "A": [2], "P": [1], "Q": [0], "B_xor_C": [0] }
8+
{ "A": [2], "P": [1], "Q": [0], "B_xor_C": [1] }
9+
{ "A": [2], "P": [1], "Q": [0], "B_xor_C": [3] }
10+
{ "A": [3], "P": [1], "Q": [0], "B_xor_C": [0] }
11+
{ "A": [3], "P": [1], "Q": [0], "B_xor_C": [1] }
12+
{ "A": [3], "P": [1], "Q": [0], "B_xor_C": [2] }
13+
{ "A": [1], "P": [0], "Q": [1], "B_xor_C": [1] }
14+
{ "A": [1], "P": [0], "Q": [1], "B_xor_C": [2] }
15+
{ "A": [1], "P": [0], "Q": [1], "B_xor_C": [3] }
16+
{ "A": [2], "P": [0], "Q": [1], "B_xor_C": [1] }
17+
{ "A": [2], "P": [0], "Q": [1], "B_xor_C": [2] }
18+
{ "A": [2], "P": [0], "Q": [1], "B_xor_C": [3] }
19+
{ "A": [3], "P": [0], "Q": [1], "B_xor_C": [1] }
20+
{ "A": [3], "P": [0], "Q": [1], "B_xor_C": [2] }
21+
{ "A": [3], "P": [0], "Q": [1], "B_xor_C": [3] }

0 commit comments

Comments
 (0)