File tree
13 files changed
+188
-11
lines changed- pctest
- pc
- program/src/oracle
13 files changed
+188
-11
lines changedLines changed: 7 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
| |||
103 | 104 |
| |
104 | 105 |
| |
105 | 106 |
| |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
106 | 113 |
| |
107 | 114 |
| |
108 | 115 |
| |
|
Lines changed: 21 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
82 | 87 |
| |
83 | 88 |
| |
84 | 89 |
| |
| |||
727 | 732 |
| |
728 | 733 |
| |
729 | 734 |
| |
| 735 | + | |
| 736 | + | |
| 737 | + | |
| 738 | + | |
| 739 | + | |
| 740 | + | |
| 741 | + | |
| 742 | + | |
| 743 | + | |
| 744 | + | |
| 745 | + | |
| 746 | + | |
| 747 | + | |
| 748 | + | |
| 749 | + | |
| 750 | + |
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
151 | 151 |
| |
152 | 152 |
| |
153 | 153 |
| |
| 154 | + | |
| 155 | + | |
154 | 156 |
| |
155 | 157 |
| |
156 | 158 |
| |
| |||
181 | 183 |
| |
182 | 184 |
| |
183 | 185 |
| |
| 186 | + | |
184 | 187 |
| |
185 | 188 |
| |
186 | 189 |
| |
| |||
200 | 203 |
| |
201 | 204 |
| |
202 | 205 |
| |
| 206 | + | |
203 | 207 |
| |
204 | 208 |
| |
205 | 209 |
| |
|
Lines changed: 17 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
29 | 34 |
| |
30 | 35 |
| |
31 |
| - | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
32 | 42 |
| |
33 | 43 |
| |
34 | 44 |
| |
35 | 45 |
| |
36 | 46 |
| |
37 | 47 |
| |
38 | 48 |
| |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
39 | 54 |
| |
40 | 55 |
| |
41 | 56 |
| |
|
Lines changed: 29 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
| 25 | + | |
25 | 26 |
| |
26 | 27 |
| |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
27 | 33 |
| |
| 34 | + | |
| 35 | + | |
28 | 36 |
| |
29 | 37 |
| |
| 38 | + | |
| 39 | + | |
| 40 | + | |
30 | 41 |
| |
31 | 42 |
| |
32 | 43 |
| |
| |||
38 | 49 |
| |
39 | 50 |
| |
40 | 51 |
| |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
41 | 58 |
| |
42 | 59 |
| |
43 | 60 |
| |
| |||
53 | 70 |
| |
54 | 71 |
| |
55 | 72 |
| |
| 73 | + | |
56 | 74 |
| |
| 75 | + | |
57 | 76 |
| |
58 | 77 |
| |
59 | 78 |
| |
60 | 79 |
| |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
61 | 90 |
|
Lines changed: 72 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1981 | 1981 |
| |
1982 | 1982 |
| |
1983 | 1983 |
| |
| 1984 | + | |
| 1985 | + | |
| 1986 | + | |
| 1987 | + | |
| 1988 | + | |
| 1989 | + | |
| 1990 | + | |
| 1991 | + | |
| 1992 | + | |
| 1993 | + | |
| 1994 | + | |
| 1995 | + | |
| 1996 | + | |
| 1997 | + | |
| 1998 | + | |
| 1999 | + | |
| 2000 | + | |
| 2001 | + | |
| 2002 | + | |
| 2003 | + | |
| 2004 | + | |
| 2005 | + | |
| 2006 | + | |
| 2007 | + | |
| 2008 | + | |
| 2009 | + | |
| 2010 | + | |
| 2011 | + | |
| 2012 | + | |
| 2013 | + | |
| 2014 | + | |
| 2015 | + | |
1984 | 2016 |
| |
1985 | 2017 |
| |
1986 | 2018 |
| |
| 2019 | + | |
| 2020 | + | |
| 2021 | + | |
| 2022 | + | |
| 2023 | + | |
| 2024 | + | |
| 2025 | + | |
| 2026 | + | |
| 2027 | + | |
| 2028 | + | |
| 2029 | + | |
| 2030 | + | |
| 2031 | + | |
| 2032 | + | |
| 2033 | + | |
| 2034 | + | |
| 2035 | + | |
| 2036 | + | |
| 2037 | + | |
| 2038 | + | |
| 2039 | + | |
1987 | 2040 |
| |
1988 | 2041 |
| |
1989 | 2042 |
| |
| |||
2013 | 2066 |
| |
2014 | 2067 |
| |
2015 | 2068 |
| |
| 2069 | + | |
| 2070 | + | |
| 2071 | + | |
| 2072 | + | |
| 2073 | + | |
| 2074 | + | |
| 2075 | + | |
| 2076 | + | |
| 2077 | + | |
2016 | 2078 |
| |
2017 | 2079 |
| |
2018 | 2080 |
| |
| |||
2178 | 2240 |
| |
2179 | 2241 |
| |
2180 | 2242 |
| |
| 2243 | + | |
2181 | 2244 |
| |
| 2245 | + | |
2182 | 2246 |
| |
2183 | 2247 |
| |
2184 | 2248 |
| |
| 2249 | + | |
2185 | 2250 |
| |
| 2251 | + | |
| 2252 | + | |
| 2253 | + | |
| 2254 | + | |
2186 | 2255 |
| |
2187 | 2256 |
| |
2188 | 2257 |
| |
| |||
2345 | 2414 |
| |
2346 | 2415 |
| |
2347 | 2416 |
| |
| 2417 | + | |
| 2418 | + | |
| 2419 | + | |
2348 | 2420 |
| |
2349 | 2421 |
| |
2350 | 2422 |
| |
|
Lines changed: 21 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
645 | 645 |
| |
646 | 646 |
| |
647 | 647 |
| |
| 648 | + | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
| 652 | + | |
| 653 | + | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
| 660 | + | |
| 661 | + | |
648 | 662 |
| |
649 | 663 |
| |
650 | 664 |
| |
651 | 665 |
| |
652 |
| - | |
| 666 | + | |
| 667 | + | |
653 | 668 |
| |
654 | 669 |
| |
655 | 670 |
| |
656 | 671 |
| |
| 672 | + | |
657 | 673 |
| |
658 | 674 |
| |
659 | 675 |
| |
| |||
726 | 742 |
| |
727 | 743 |
| |
728 | 744 |
| |
| 745 | + | |
729 | 746 |
| |
730 | 747 |
| |
731 | 748 |
| |
732 | 749 |
| |
733 | 750 |
| |
734 | 751 |
| |
735 | 752 |
| |
| 753 | + | |
| 754 | + | |
736 | 755 |
| |
737 | 756 |
| |
738 | 757 |
| |
| |||
760 | 779 |
| |
761 | 780 |
| |
762 | 781 |
| |
| 782 | + | |
763 | 783 |
| |
764 | 784 |
| |
765 | 785 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 | 4 |
| |
6 | 5 |
| |
7 | 6 |
| |
| |||
2241 | 2240 |
| |
2242 | 2241 |
| |
2243 | 2242 |
| |
| 2243 | + | |
| 2244 | + | |
| 2245 | + | |
| 2246 | + | |
| 2247 | + | |
2244 | 2248 |
| |
2245 | 2249 |
| |
2246 | 2250 |
| |
| |||
2318 | 2322 |
| |
2319 | 2323 |
| |
2320 | 2324 |
| |
| 2325 | + | |
2321 | 2326 |
| |
2322 | 2327 |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
835 | 835 |
| |
836 | 836 |
| |
837 | 837 |
| |
| 838 | + | |
838 | 839 |
| |
839 | 840 |
| |
840 | 841 |
| |
| |||
846 | 847 |
| |
847 | 848 |
| |
848 | 849 |
| |
| 850 | + | |
849 | 851 |
| |
850 | 852 |
| |
851 | 853 |
| |
|
0 commit comments