File tree
13 files changed
+405
-648
lines changed- Misc
- Modules/_hacl- include/krml
 
13 files changed
+405
-648
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 544 | 544 |  | |
| 545 | 545 |  | |
| 546 | 546 |  | |
| 547 |  | - | |
| 548 |  | - | |
| 549 |  | - | |
| 550 |  | - | |
| 551 |  | - | |
|  | 547 | + | |
|  | 548 | + | |
|  | 549 | + | |
| 552 | 550 |  | |
| 553 | 551 |  | |
| 554 | 552 |  | |
|  | |||
| 860 | 858 |  | |
| 861 | 859 |  | |
| 862 | 860 |  | |
| 863 |  | - | |
| 864 |  | - | |
| 865 |  | - | |
| 866 |  | - | |
| 867 |  | - | |
| 868 |  | - | |
| 869 |  | - | |
| 870 |  | - | |
|  | 861 | + | |
|  | 862 | + | |
|  | 863 | + | |
|  | 864 | + | |
| 871 | 865 |  | |
| 872 | 866 |  | |
| 873 | 867 |  | |
|  | |||
| 1059 | 1053 |  | |
| 1060 | 1054 |  | |
| 1061 | 1055 |  | |
| 1062 |  | - | |
| 1063 |  | - | |
| 1064 |  | - | |
| 1065 |  | - | |
| 1066 |  | - | |
|  | 1056 | + | |
|  | 1057 | + | |
|  | 1058 | + | |
| 1067 | 1059 |  | |
| 1068 | 1060 |  | |
| 1069 | 1061 |  | |
|  | |||
| 1200 | 1192 |  | |
| 1201 | 1193 |  | |
| 1202 | 1194 |  | |
| 1203 |  | - | |
| 1204 |  | - | |
|  | 1195 | + | |
| 1205 | 1196 |  | |
| 1206 | 1197 |  | |
| 1207 | 1198 |  | |
|  | |||
| 1265 | 1256 |  | |
| 1266 | 1257 |  | |
| 1267 | 1258 |  | |
| 1268 |  | - | |
| 1269 |  | - | |
|  | 1259 | + | |
| 1270 | 1260 |  | |
| 1271 | 1261 |  | |
| 1272 | 1262 |  | |
|  | |||
| 1296 | 1286 |  | |
| 1297 | 1287 |  | |
| 1298 | 1288 |  | |
| 1299 |  | - | |
| 1300 |  | - | |
|  | 1289 | + | |
| 1301 | 1290 |  | |
| 1302 | 1291 |  | |
| 1303 | 1292 |  | |
|  | |||
| 1359 | 1348 |  | |
| 1360 | 1349 |  | |
| 1361 | 1350 |  | |
| 1362 |  | - | |
| 1363 |  | - | |
|  | 1351 | + | |
| 1364 | 1352 |  | |
| 1365 | 1353 |  | |
| 1366 | 1354 |  | |
|  | |||
| 1690 | 1678 |  | |
| 1691 | 1679 |  | |
| 1692 | 1680 |  | |
| 1693 |  | - | |
| 1694 |  | - | |
| 1695 |  | - | |
| 1696 |  | - | |
| 1697 |  | - | |
| 1698 |  | - | |
| 1699 |  | - | |
| 1700 |  | - | |
|  | 1681 | + | |
|  | 1682 | + | |
|  | 1683 | + | |
|  | 1684 | + | |
| 1701 | 1685 |  | |
| 1702 | 1686 |  | |
| 1703 | 1687 |  | |
|  | |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
|  | |||
| 274 | 274 |  | |
| 275 | 275 |  | |
| 276 | 276 |  | |
| 277 |  | - | |
| 278 |  | - | |
| 279 |  | - | |
| 280 |  | - | |
| 281 |  | - | |
|  | 277 | + | |
|  | 278 | + | |
|  | 279 | + | |
| 282 | 280 |  | |
| 283 | 281 |  | |
| 284 | 282 |  | |
|  | |||
| 746 | 744 |  | |
| 747 | 745 |  | |
| 748 | 746 |  | |
| 749 |  | - | |
| 750 |  | - | |
| 751 |  | - | |
| 752 |  | - | |
| 753 |  | - | |
| 754 |  | - | |
| 755 |  | - | |
| 756 |  | - | |
|  | 747 | + | |
|  | 748 | + | |
|  | 749 | + | |
|  | 750 | + | |
| 757 | 751 |  | |
| 758 | 752 |  | |
| 759 | 753 |  | |
|  | |||
| 936 | 930 |  | |
| 937 | 931 |  | |
| 938 | 932 |  | |
| 939 |  | - | |
| 940 |  | - | |
| 941 |  | - | |
| 942 |  | - | |
| 943 |  | - | |
|  | 933 | + | |
|  | 934 | + | |
|  | 935 | + | |
| 944 | 936 |  | |
| 945 | 937 |  | |
| 946 | 938 |  | |
|  | |||
| 1075 | 1067 |  | |
| 1076 | 1068 |  | |
| 1077 | 1069 |  | |
| 1078 |  | - | |
| 1079 |  | - | |
|  | 1070 | + | |
| 1080 | 1071 |  | |
| 1081 | 1072 |  | |
| 1082 | 1073 |  | |
|  | |||
| 1140 | 1131 |  | |
| 1141 | 1132 |  | |
| 1142 | 1133 |  | |
| 1143 |  | - | |
| 1144 |  | - | |
|  | 1134 | + | |
| 1145 | 1135 |  | |
| 1146 | 1136 |  | |
| 1147 | 1137 |  | |
|  | |||
| 1171 | 1161 |  | |
| 1172 | 1162 |  | |
| 1173 | 1163 |  | |
| 1174 |  | - | |
| 1175 |  | - | |
|  | 1164 | + | |
| 1176 | 1165 |  | |
| 1177 | 1166 |  | |
| 1178 | 1167 |  | |
|  | |||
| 1234 | 1223 |  | |
| 1235 | 1224 |  | |
| 1236 | 1225 |  | |
| 1237 |  | - | |
| 1238 |  | - | |
|  | 1226 | + | |
| 1239 | 1227 |  | |
| 1240 | 1228 |  | |
| 1241 | 1229 |  | |
|  | |||
| 1578 | 1566 |  | |
| 1579 | 1567 |  | |
| 1580 | 1568 |  | |
| 1581 |  | - | |
| 1582 |  | - | |
| 1583 |  | - | |
| 1584 |  | - | |
| 1585 |  | - | |
| 1586 |  | - | |
| 1587 |  | - | |
| 1588 |  | - | |
|  | 1569 | + | |
|  | 1570 | + | |
|  | 1571 | + | |
|  | 1572 | + | |
| 1589 | 1573 |  | |
| 1590 | 1574 |  | |
| 1591 | 1575 |  | |
|  | |||
0 commit comments