File tree
39 files changed
+1355
-1080
lines changed- .github/workflows
- bench
- crypto
- include/ring-core
- mk
- src
- aead
- arithmetic/bigint
- cpu
- ec/suite_b
- ecdsa
- ops
- io
- rsa
- padding
- tests
- third_party/fiat
39 files changed
+1355
-1080
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
151 | 151 |
| |
152 | 152 |
| |
153 | 153 |
| |
154 |
| - | |
155 | 154 |
| |
156 | 155 |
| |
157 | 156 |
| |
| |||
174 | 173 |
| |
175 | 174 |
| |
176 | 175 |
| |
177 |
| - | |
| 176 | + | |
178 | 177 |
| |
179 | 178 |
| |
180 |
| - | |
| 179 | + | |
181 | 180 |
| |
182 | 181 |
| |
183 | 182 |
| |
| |||
217 | 216 |
| |
218 | 217 |
| |
219 | 218 |
| |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
220 | 234 |
| |
| 235 | + | |
| 236 | + | |
| 237 | + | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
| 242 | + | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
221 | 247 |
| |
222 | 248 |
| |
223 | 249 |
| |
224 | 250 |
| |
225 | 251 |
| |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
226 | 257 |
| |
227 | 258 |
| |
228 | 259 |
| |
| |||
273 | 304 |
| |
274 | 305 |
| |
275 | 306 |
| |
276 |
| - | |
277 |
| - | |
278 |
| - | |
279 |
| - | |
280 |
| - | |
281 |
| - | |
282 |
| - | |
283 |
| - | |
284 |
| - | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
| 310 | + | |
| 311 | + | |
| 312 | + | |
| 313 | + | |
| 314 | + | |
285 | 315 |
| |
286 | 316 |
| |
287 | 317 |
| |
| |||
402 | 432 |
| |
403 | 433 |
| |
404 | 434 |
| |
405 |
| - | |
406 |
| - | |
407 |
| - | |
408 |
| - | |
409 |
| - | |
410 |
| - | |
411 |
| - | |
412 |
| - | |
413 |
| - | |
414 | 435 |
| |
| 436 | + | |
| 437 | + | |
| 438 | + | |
| 439 | + | |
| 440 | + | |
| 441 | + | |
| 442 | + | |
415 | 443 |
| |
416 | 444 |
| |
417 | 445 |
| |
| |||
465 | 493 |
| |
466 | 494 |
| |
467 | 495 |
| |
468 |
| - | |
| 496 | + | |
| 497 | + | |
469 | 498 |
| |
470 | 499 |
| |
471 | 500 |
| |
|
+4-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
| 17 | + | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
26 |
| - | |
| 26 | + | |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
| |||
86 | 86 |
| |
87 | 87 |
| |
88 | 88 |
| |
| 89 | + | |
89 | 90 |
| |
90 | 91 |
| |
91 | 92 |
| |
| |||
181 | 182 |
| |
182 | 183 |
| |
183 | 184 |
| |
184 |
| - | |
| 185 | + | |
185 | 186 |
| |
186 | 187 |
| |
187 | 188 |
| |
|
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
43 | 43 |
| |
44 | 44 |
| |
45 | 45 |
| |
46 |
| - | |
| 46 | + | |
47 | 47 |
| |
48 | 48 |
| |
49 | 49 |
| |
|
+9-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
| 73 | + | |
| 74 | + | |
73 | 75 |
| |
74 | 76 |
| |
75 | 77 |
| |
76 | 78 |
| |
77 |
| - | |
| 79 | + | |
| 80 | + | |
78 | 81 |
| |
79 | 82 |
| |
80 | 83 |
| |
| |||
97 | 100 |
| |
98 | 101 |
| |
99 | 102 |
| |
| 103 | + | |
| 104 | + | |
100 | 105 |
| |
101 | 106 |
| |
102 | 107 |
| |
103 | 108 |
| |
104 |
| - | |
| 109 | + | |
| 110 | + | |
105 | 111 |
| |
106 | 112 |
| |
107 | 113 |
| |
| |||
140 | 146 |
| |
141 | 147 |
| |
142 | 148 |
| |
143 |
| - | |
| 149 | + | |
144 | 150 |
| |
145 | 151 |
| |
146 | 152 |
| |
|
+20-24
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
| 34 | + | |
34 | 35 |
| |
35 | 36 |
| |
36 | 37 |
| |
| |||
93 | 94 |
| |
94 | 95 |
| |
95 | 96 |
| |
| 97 | + | |
96 | 98 |
| |
97 | 99 |
| |
98 | 100 |
| |
| |||
111 | 113 |
| |
112 | 114 |
| |
113 | 115 |
| |
114 |
| - | |
115 | 116 |
| |
116 |
| - | |
117 | 117 |
| |
118 | 118 |
| |
119 | 119 |
| |
120 | 120 |
| |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 | 121 |
| |
127 | 122 |
| |
128 | 123 |
| |
| |||
133 | 128 |
| |
134 | 129 |
| |
135 | 130 |
| |
136 |
| - | |
137 | 131 |
| |
138 | 132 |
| |
139 | 133 |
| |
| |||
162 | 156 |
| |
163 | 157 |
| |
164 | 158 |
| |
165 |
| - | |
| 159 | + | |
166 | 160 |
| |
167 | 161 |
| |
168 | 162 |
| |
169 | 163 |
| |
170 | 164 |
| |
171 | 165 |
| |
172 |
| - | |
| 166 | + | |
173 | 167 |
| |
174 | 168 |
| |
175 | 169 |
| |
176 | 170 |
| |
177 | 171 |
| |
178 | 172 |
| |
179 |
| - | |
| 173 | + | |
180 | 174 |
| |
181 | 175 |
| |
182 | 176 |
| |
183 | 177 |
| |
184 | 178 |
| |
185 | 179 |
| |
186 |
| - | |
| 180 | + | |
187 | 181 |
| |
188 | 182 |
| |
189 | 183 |
| |
190 | 184 |
| |
191 | 185 |
| |
192 | 186 |
| |
193 |
| - | |
| 187 | + | |
194 | 188 |
| |
195 | 189 |
| |
196 | 190 |
| |
197 | 191 |
| |
198 | 192 |
| |
199 | 193 |
| |
200 |
| - | |
| 194 | + | |
201 | 195 |
| |
202 | 196 |
| |
203 | 197 |
| |
204 | 198 |
| |
205 | 199 |
| |
206 | 200 |
| |
207 |
| - | |
| 201 | + | |
208 | 202 |
| |
209 | 203 |
| |
210 | 204 |
| |
211 | 205 |
| |
212 | 206 |
| |
213 | 207 |
| |
214 |
| - | |
| 208 | + | |
215 | 209 |
| |
216 | 210 |
| |
217 | 211 |
| |
218 | 212 |
| |
219 | 213 |
| |
220 | 214 |
| |
221 |
| - | |
| 215 | + | |
222 | 216 |
| |
223 | 217 |
| |
224 | 218 |
| |
| |||
264 | 258 |
| |
265 | 259 |
| |
266 | 260 |
| |
267 |
| - | |
| 261 | + | |
268 | 262 |
| |
| 263 | + | |
269 | 264 |
| |
270 | 265 |
| |
271 | 266 |
| |
| |||
588 | 583 |
| |
589 | 584 |
| |
590 | 585 |
| |
591 |
| - | |
| 586 | + | |
592 | 587 |
| |
593 | 588 |
| |
594 | 589 |
| |
| |||
602 | 597 |
| |
603 | 598 |
| |
604 | 599 |
| |
605 |
| - | |
606 |
| - | |
| 600 | + | |
607 | 601 |
| |
608 | 602 |
| |
609 | 603 |
| |
| |||
634 | 628 |
| |
635 | 629 |
| |
636 | 630 |
| |
637 |
| - | |
638 |
| - | |
| 631 | + | |
| 632 | + | |
639 | 633 |
| |
640 | 634 |
| |
641 | 635 |
| |
| |||
742 | 736 |
| |
743 | 737 |
| |
744 | 738 |
| |
745 |
| - | |
| 739 | + | |
746 | 740 |
| |
747 | 741 |
| |
748 | 742 |
| |
| |||
943 | 937 |
| |
944 | 938 |
| |
945 | 939 |
| |
| 940 | + | |
| 941 | + | |
946 | 942 |
| |
947 | 943 |
| |
948 | 944 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
132 | 132 |
| |
133 | 133 |
| |
134 | 134 |
| |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
135 | 143 |
| |
136 | 144 |
| |
137 | 145 |
| |
|
0 commit comments