swh:1:snp:9c27352633c4639a943e316050a7b904f57900e2
Revision 974da4819e9255a0f00be545179b10a0017482f0 authored by Raphaël Cauderlier on 23 July 2019, 12:10:04 UTC, committed by Pierre Boutillier on 21 October 2019, 12:25:35 UTC
The semantics of the STEPS_TO_QUOTA instruction changes each time the gas constants are modified to better reflect the real costs. Moreover, because of STEPS_TO_QUOTA, the interpreter is not monotonic: it is easy to write a contract that runs successfully at some gas amount but fails when more gas is given.
1 parent 22d2fa7
- HEAD
- refs/heads/822-tezos-client-crashes-when-tezos-client-config-is-broken-or-empty
- refs/heads/alphanet
- refs/heads/alphanet-staging
- refs/heads/astefano@emmy
- refs/heads/babylonnet
- refs/heads/carthagenet
- refs/heads/dalpha-release
- refs/heads/dannywillems-librustzcash
- refs/heads/dannywillems-remove-bls-in-vendor
- refs/heads/dannywillems@add-make-in-int-def-script
- refs/heads/doc-006-carthage
- refs/heads/ebetanet-release
- refs/heads/falphanet-release
- refs/heads/latest-release
- refs/heads/mainnet
- refs/heads/mainnet-lmdb
- refs/heads/mainnet-pack-validator
- refs/heads/mainnet-staging
- refs/heads/master
- refs/heads/toynet-release
- refs/heads/v7-release
- refs/heads/v8-release
- refs/heads/v9-release
- refs/heads/zeronet
- refs/heads/zeronet-staging
- refs/merge-requests/1/head
- refs/merge-requests/10/head
- refs/merge-requests/100/head
- refs/merge-requests/1000/head
- refs/merge-requests/1001/head
- refs/merge-requests/1002/head
- refs/merge-requests/1003/head
- refs/merge-requests/1005/head
- refs/merge-requests/1006/head
- refs/merge-requests/1007/head
- refs/merge-requests/1008/head
- refs/merge-requests/1009/head
- refs/merge-requests/101/head
- refs/merge-requests/1011/head
- refs/merge-requests/1014/head
- refs/merge-requests/1015/head
- refs/merge-requests/1016/head
- refs/merge-requests/1019/head
- refs/merge-requests/102/head
- refs/merge-requests/1020/head
- refs/merge-requests/1021/head
- refs/merge-requests/1022/head
- refs/merge-requests/1023/head
- refs/merge-requests/1026/head
- refs/merge-requests/1027/head
- refs/merge-requests/1028/head
- refs/merge-requests/1029/head
- refs/merge-requests/1031/head
- refs/merge-requests/1032/head
- refs/merge-requests/1034/head
- refs/merge-requests/1035/head
- refs/merge-requests/104/head
- refs/merge-requests/1040/head
- refs/merge-requests/1041/head
- refs/merge-requests/1043/head
- refs/merge-requests/1046/head
- refs/merge-requests/1047/head
- refs/merge-requests/1048/head
- refs/merge-requests/105/head
- refs/merge-requests/1051/head
- refs/merge-requests/1052/head
- refs/merge-requests/1053/head
- refs/merge-requests/1058/head
- refs/merge-requests/1059/head
- refs/merge-requests/106/head
- refs/merge-requests/1061/head
- refs/merge-requests/1062/head
- refs/merge-requests/1064/head
- refs/merge-requests/1067/head
- refs/merge-requests/1068/head
- refs/merge-requests/1069/head
- refs/merge-requests/107/head
- refs/merge-requests/1070/head
- refs/merge-requests/1071/head
- refs/merge-requests/1072/head
- refs/merge-requests/1074/head
- refs/merge-requests/1075/head
- refs/merge-requests/1077/head
- refs/merge-requests/1078/head
- refs/merge-requests/1079/head
- refs/merge-requests/108/head
- refs/merge-requests/1081/head
- refs/merge-requests/1082/head
- refs/merge-requests/1083/head
- refs/merge-requests/1084/head
- refs/merge-requests/1085/head
- refs/merge-requests/1087/head
- refs/merge-requests/1088/head
- refs/merge-requests/1089/head
- refs/merge-requests/1091/head
- refs/merge-requests/1092/head
- refs/merge-requests/1093/head
- refs/merge-requests/1096/head
- refs/merge-requests/1098/head
- refs/merge-requests/1099/head
- refs/merge-requests/11/head
- refs/merge-requests/110/head
- refs/merge-requests/1100/head
- refs/merge-requests/1102/head
- refs/merge-requests/1103/head
- refs/merge-requests/1104/head
- refs/merge-requests/1105/head
- refs/merge-requests/1107/head
- refs/merge-requests/1109/head
- refs/merge-requests/111/head
- refs/merge-requests/1110/head
- refs/merge-requests/1113/head
- refs/merge-requests/1114/head
- refs/merge-requests/1114/merge
- refs/merge-requests/1116/head
- refs/merge-requests/1116/merge
- refs/merge-requests/1117/head
- refs/merge-requests/1117/merge
- refs/merge-requests/1118/head
- refs/merge-requests/1118/merge
- refs/merge-requests/112/head
- refs/merge-requests/1120/head
- refs/merge-requests/1120/merge
- refs/merge-requests/1123/head
- refs/merge-requests/1127/head
- refs/merge-requests/1128/head
- refs/merge-requests/1129/head
- refs/merge-requests/113/head
- refs/merge-requests/1132/head
- refs/merge-requests/1133/head
- refs/merge-requests/1135/head
- refs/merge-requests/1136/head
- refs/merge-requests/1138/head
- refs/merge-requests/1139/head
- refs/merge-requests/114/head
- refs/merge-requests/1140/head
- refs/merge-requests/1145/head
- refs/merge-requests/1146/head
- refs/merge-requests/1147/head
- refs/merge-requests/1149/head
- refs/merge-requests/1153/head
- refs/merge-requests/1154/head
- refs/merge-requests/1155/head
- refs/merge-requests/1156/head
- refs/merge-requests/1156/merge
- refs/merge-requests/1158/head
- refs/merge-requests/1160/head
- refs/merge-requests/1163/head
- refs/merge-requests/1166/head
- refs/merge-requests/1166/merge
- refs/merge-requests/1168/head
- refs/merge-requests/1168/merge
- refs/merge-requests/1169/head
- refs/merge-requests/1169/merge
- refs/merge-requests/117/head
- refs/merge-requests/1170/head
- refs/merge-requests/1172/head
- refs/merge-requests/1174/head
- refs/merge-requests/1177/head
- refs/merge-requests/1178/head
- refs/merge-requests/1179/head
- refs/merge-requests/1180/head
- refs/merge-requests/1183/head
- refs/merge-requests/1184/head
- refs/merge-requests/1185/head
- refs/merge-requests/1186/head
- refs/merge-requests/1188/head
- refs/merge-requests/1189/head
- refs/merge-requests/119/head
- refs/merge-requests/1193/head
- refs/merge-requests/1195/head
- refs/merge-requests/1196/head
- refs/merge-requests/1198/head
- refs/merge-requests/12/head
- refs/merge-requests/120/head
- refs/merge-requests/1202/head
- refs/merge-requests/1206/head
- refs/merge-requests/1207/head
- refs/merge-requests/1210/head
- refs/merge-requests/1212/head
- refs/merge-requests/1213/head
- refs/merge-requests/1214/head
- refs/merge-requests/1215/head
- refs/merge-requests/1215/merge
- refs/merge-requests/1217/head
- refs/merge-requests/122/head
- refs/merge-requests/1221/head
- refs/merge-requests/1221/merge
- refs/merge-requests/1222/head
- refs/merge-requests/1222/merge
- refs/merge-requests/1224/head
- refs/merge-requests/1224/merge
- refs/merge-requests/1225/head
- refs/merge-requests/1225/merge
- refs/merge-requests/1226/head
- refs/merge-requests/1226/merge
- refs/merge-requests/1227/head
- refs/merge-requests/1227/merge
- refs/merge-requests/1228/head
- refs/merge-requests/1228/merge
- refs/merge-requests/1229/head
- refs/merge-requests/1229/merge
- refs/merge-requests/123/head
- refs/merge-requests/1232/head
- refs/merge-requests/1232/merge
- refs/merge-requests/1233/head
- refs/merge-requests/1233/merge
- refs/merge-requests/1234/head
- refs/merge-requests/1234/merge
- refs/merge-requests/1235/head
- refs/merge-requests/1235/merge
- refs/merge-requests/1238/head
- refs/merge-requests/1238/merge
- refs/merge-requests/1239/head
- refs/merge-requests/1239/merge
- refs/merge-requests/124/head
- refs/merge-requests/1240/head
- refs/merge-requests/1240/merge
- refs/merge-requests/1243/head
- refs/merge-requests/1243/merge
- refs/merge-requests/1245/head
- refs/merge-requests/1245/merge
- refs/merge-requests/125/head
- refs/merge-requests/1250/head
- refs/merge-requests/1250/merge
- refs/merge-requests/1252/head
- refs/merge-requests/1252/merge
- refs/merge-requests/1254/head
- refs/merge-requests/1254/merge
- refs/merge-requests/1255/head
- refs/merge-requests/1255/merge
- refs/merge-requests/1259/head
- refs/merge-requests/1259/merge
- refs/merge-requests/126/head
- refs/merge-requests/1260/head
- refs/merge-requests/1260/merge
- refs/merge-requests/1266/head
- refs/merge-requests/1266/merge
- refs/merge-requests/1267/head
- refs/merge-requests/1267/merge
- refs/merge-requests/1269/head
- refs/merge-requests/1269/merge
- refs/merge-requests/127/head
- refs/merge-requests/1270/head
- refs/merge-requests/1270/merge
- refs/merge-requests/1271/head
- refs/merge-requests/1271/merge
- refs/merge-requests/1273/head
- refs/merge-requests/1273/merge
- refs/merge-requests/1274/head
- refs/merge-requests/1274/merge
- refs/merge-requests/1275/head
- refs/merge-requests/1275/merge
- refs/merge-requests/1276/head
- refs/merge-requests/1276/merge
- refs/merge-requests/1277/head
- refs/merge-requests/1277/merge
- refs/merge-requests/1279/head
- refs/merge-requests/1279/merge
- refs/merge-requests/128/head
- refs/merge-requests/1280/head
- refs/merge-requests/1280/merge
- refs/merge-requests/1281/head
- refs/merge-requests/1281/merge
- refs/merge-requests/1283/head
- refs/merge-requests/1283/merge
- refs/merge-requests/1285/head
- refs/merge-requests/1285/merge
- refs/merge-requests/1287/head
- refs/merge-requests/1287/merge
- refs/merge-requests/1288/head
- refs/merge-requests/1288/merge
- refs/merge-requests/1289/head
- refs/merge-requests/1289/merge
- refs/merge-requests/129/head
- refs/merge-requests/1290/head
- refs/merge-requests/1290/merge
- refs/merge-requests/1294/head
- refs/merge-requests/1294/merge
- refs/merge-requests/1295/head
- refs/merge-requests/1295/merge
- refs/merge-requests/1296/head
- refs/merge-requests/1296/merge
- refs/merge-requests/1297/head
- refs/merge-requests/1297/merge
- refs/merge-requests/1298/head
- refs/merge-requests/1298/merge
- refs/merge-requests/1299/head
- refs/merge-requests/1299/merge
- refs/merge-requests/13/head
- refs/merge-requests/130/head
- refs/merge-requests/1300/head
- refs/merge-requests/1300/merge
- refs/merge-requests/1301/head
- refs/merge-requests/1301/merge
- refs/merge-requests/1302/head
- refs/merge-requests/1302/merge
- refs/merge-requests/1303/head
- refs/merge-requests/1303/merge
- refs/merge-requests/1305/head
- refs/merge-requests/1305/merge
- refs/merge-requests/1306/head
- refs/merge-requests/1306/merge
- refs/merge-requests/1307/head
- refs/merge-requests/1307/merge
- refs/merge-requests/1308/head
- refs/merge-requests/1308/merge
- refs/merge-requests/1309/head
- refs/merge-requests/1309/merge
- refs/merge-requests/1310/head
- refs/merge-requests/1310/merge
- refs/merge-requests/1311/head
- refs/merge-requests/1311/merge
- refs/merge-requests/1312/head
- refs/merge-requests/1312/merge
- refs/merge-requests/1313/head
- refs/merge-requests/1313/merge
- refs/merge-requests/1315/head
- refs/merge-requests/1315/merge
- refs/merge-requests/1316/head
- refs/merge-requests/1316/merge
- refs/merge-requests/1318/head
- refs/merge-requests/1318/merge
- refs/merge-requests/1319/head
- refs/merge-requests/1319/merge
- refs/merge-requests/1320/head
- refs/merge-requests/1323/head
- refs/merge-requests/1323/merge
- refs/merge-requests/1324/head
- refs/merge-requests/1324/merge
- refs/merge-requests/1326/head
- refs/merge-requests/1326/merge
- refs/merge-requests/1327/head
- refs/merge-requests/1327/merge
- refs/merge-requests/1328/head
- refs/merge-requests/1328/merge
- refs/merge-requests/1329/head
- refs/merge-requests/1329/merge
- refs/merge-requests/1331/head
- refs/merge-requests/1331/merge
- refs/merge-requests/1337/head
- refs/merge-requests/1337/merge
- refs/merge-requests/1339/head
- refs/merge-requests/1339/merge
- refs/merge-requests/134/head
- refs/merge-requests/1340/head
- refs/merge-requests/1340/merge
- refs/merge-requests/1341/head
- refs/merge-requests/1341/merge
- refs/merge-requests/1342/head
- refs/merge-requests/1342/merge
- refs/merge-requests/1343/head
- refs/merge-requests/1343/merge
- refs/merge-requests/1345/head
- refs/merge-requests/1345/merge
- refs/merge-requests/1346/head
- refs/merge-requests/1346/merge
- refs/merge-requests/1347/head
- refs/merge-requests/1347/merge
- refs/merge-requests/1348/head
- refs/merge-requests/1348/merge
- refs/merge-requests/1349/head
- refs/merge-requests/1349/merge
- refs/merge-requests/1351/head
- refs/merge-requests/1351/merge
- refs/merge-requests/1352/head
- refs/merge-requests/1352/merge
- refs/merge-requests/1354/head
- refs/merge-requests/1354/merge
- refs/merge-requests/1355/head
- refs/merge-requests/1355/merge
- refs/merge-requests/1356/head
- refs/merge-requests/1356/merge
- refs/merge-requests/1357/head
- refs/merge-requests/1357/merge
- refs/merge-requests/1358/head
- refs/merge-requests/1358/merge
- refs/merge-requests/136/head
- refs/merge-requests/1360/head
- refs/merge-requests/1360/merge
- refs/merge-requests/1361/head
- refs/merge-requests/1361/merge
- refs/merge-requests/1362/head
- refs/merge-requests/1362/merge
- refs/merge-requests/1363/head
- refs/merge-requests/1363/merge
- refs/merge-requests/1364/head
- refs/merge-requests/1364/merge
- refs/merge-requests/1365/head
- refs/merge-requests/1365/merge
- refs/merge-requests/1367/head
- refs/merge-requests/1367/merge
- refs/merge-requests/1368/head
- refs/merge-requests/1368/merge
- refs/merge-requests/1369/head
- refs/merge-requests/1369/merge
- refs/merge-requests/137/head
- refs/merge-requests/1374/head
- refs/merge-requests/1374/merge
- refs/merge-requests/1378/head
- refs/merge-requests/1378/merge
- refs/merge-requests/1379/head
- refs/merge-requests/1379/merge
- refs/merge-requests/138/head
- refs/merge-requests/1380/head
- refs/merge-requests/1380/merge
- refs/merge-requests/1381/head
- refs/merge-requests/1381/merge
- refs/merge-requests/1383/head
- refs/merge-requests/1383/merge
- refs/merge-requests/1384/head
- refs/merge-requests/1384/merge
- refs/merge-requests/1385/head
- refs/merge-requests/1385/merge
- refs/merge-requests/1386/head
- refs/merge-requests/1386/merge
- refs/merge-requests/1387/head
- refs/merge-requests/1387/merge
- refs/merge-requests/1389/head
- refs/merge-requests/1389/merge
- refs/merge-requests/139/head
- refs/merge-requests/1391/head
- refs/merge-requests/1391/merge
- refs/merge-requests/1392/head
- refs/merge-requests/1392/merge
- refs/merge-requests/1393/head
- refs/merge-requests/1393/merge
- refs/merge-requests/1394/head
- refs/merge-requests/1394/merge
- refs/merge-requests/1395/head
- refs/merge-requests/1395/merge
- refs/merge-requests/1396/head
- refs/merge-requests/1396/merge
- refs/merge-requests/1397/head
- refs/merge-requests/1397/merge
- refs/merge-requests/14/head
- refs/merge-requests/1401/head
- refs/merge-requests/1401/merge
- refs/merge-requests/1408/head
- refs/merge-requests/1408/merge
- refs/merge-requests/1409/head
- refs/merge-requests/1409/merge
- refs/merge-requests/141/head
- refs/merge-requests/1412/head
- refs/merge-requests/1412/merge
- refs/merge-requests/1413/head
- refs/merge-requests/1413/merge
- refs/merge-requests/1415/head
- refs/merge-requests/1415/merge
- refs/merge-requests/1418/head
- refs/merge-requests/1418/merge
- refs/merge-requests/142/head
- refs/merge-requests/1420/head
- refs/merge-requests/1420/merge
- refs/merge-requests/1421/head
- refs/merge-requests/1421/merge
- refs/merge-requests/1424/head
- refs/merge-requests/1424/merge
- refs/merge-requests/1425/head
- refs/merge-requests/1425/merge
- refs/merge-requests/1426/head
- refs/merge-requests/1426/merge
- refs/merge-requests/1427/head
- refs/merge-requests/1427/merge
- refs/merge-requests/1429/head
- refs/merge-requests/1429/merge
- refs/merge-requests/143/head
- refs/merge-requests/1431/head
- refs/merge-requests/1431/merge
- refs/merge-requests/1432/head
- refs/merge-requests/1432/merge
- refs/merge-requests/1434/head
- refs/merge-requests/1434/merge
- refs/merge-requests/1435/head
- refs/merge-requests/1435/merge
- refs/merge-requests/1436/head
- refs/merge-requests/1436/merge
- refs/merge-requests/1437/head
- refs/merge-requests/1437/merge
- refs/merge-requests/1439/head
- refs/merge-requests/1439/merge
- refs/merge-requests/1440/head
- refs/merge-requests/1440/merge
- refs/merge-requests/1443/head
- refs/merge-requests/1443/merge
- refs/merge-requests/1444/head
- refs/merge-requests/1444/merge
- refs/merge-requests/1445/head
- refs/merge-requests/1445/merge
- refs/merge-requests/145/head
- refs/merge-requests/1457/head
- refs/merge-requests/1457/merge
- refs/merge-requests/1459/head
- refs/merge-requests/1459/merge
- refs/merge-requests/1461/head
- refs/merge-requests/1461/merge
- refs/merge-requests/1464/head
- refs/merge-requests/1464/merge
- refs/merge-requests/1466/head
- refs/merge-requests/1466/merge
- refs/merge-requests/1468/head
- refs/merge-requests/1468/merge
- refs/merge-requests/1469/head
- refs/merge-requests/1469/merge
- refs/merge-requests/147/head
- refs/merge-requests/1473/head
- refs/merge-requests/1473/merge
- refs/merge-requests/1474/head
- refs/merge-requests/1474/merge
- refs/merge-requests/1475/head
- refs/merge-requests/1475/merge
- refs/merge-requests/1479/head
- refs/merge-requests/1479/merge
- refs/merge-requests/148/head
- refs/merge-requests/1480/head
- refs/merge-requests/1480/merge
- refs/merge-requests/1483/head
- refs/merge-requests/1483/merge
- refs/merge-requests/1486/head
- refs/merge-requests/1486/merge
- refs/merge-requests/1487/head
- refs/merge-requests/1487/merge
- refs/merge-requests/1490/head
- refs/merge-requests/1490/merge
- refs/merge-requests/1491/head
- refs/merge-requests/1491/merge
- refs/merge-requests/1493/head
- refs/merge-requests/1493/merge
- refs/merge-requests/1495/head
- refs/merge-requests/1495/merge
- refs/merge-requests/1497/head
- refs/merge-requests/1497/merge
- refs/merge-requests/1498/head
- refs/merge-requests/1498/merge
- refs/merge-requests/15/head
- refs/merge-requests/150/head
- refs/merge-requests/1500/head
- refs/merge-requests/1500/merge
- refs/merge-requests/1503/head
- refs/merge-requests/1503/merge
- refs/merge-requests/1504/head
- refs/merge-requests/1504/merge
- refs/merge-requests/1506/head
- refs/merge-requests/1506/merge
- refs/merge-requests/1510/head
- refs/merge-requests/1510/merge
- refs/merge-requests/1512/head
- refs/merge-requests/1512/merge
- refs/merge-requests/1517/head
- refs/merge-requests/1517/merge
- refs/merge-requests/152/head
- refs/merge-requests/1520/head
- refs/merge-requests/1520/merge
- refs/merge-requests/1521/head
- refs/merge-requests/1521/merge
- refs/merge-requests/1523/head
- refs/merge-requests/1523/merge
- refs/merge-requests/1524/head
- refs/merge-requests/153/head
- refs/merge-requests/1531/head
- refs/merge-requests/1531/merge
- refs/merge-requests/1533/head
- refs/merge-requests/1533/merge
- refs/merge-requests/1534/head
- refs/merge-requests/1534/merge
- refs/merge-requests/1535/head
- refs/merge-requests/1535/merge
- refs/merge-requests/1536/head
- refs/merge-requests/1536/merge
- refs/merge-requests/1537/head
- refs/merge-requests/1537/merge
- refs/merge-requests/154/head
- refs/merge-requests/1541/head
- refs/merge-requests/1541/merge
- refs/merge-requests/1543/head
- refs/merge-requests/1543/merge
- refs/merge-requests/1546/head
- refs/merge-requests/1546/merge
- refs/merge-requests/1547/head
- refs/merge-requests/1547/merge
- refs/merge-requests/1548/head
- refs/merge-requests/1548/merge
- refs/merge-requests/1550/head
- refs/merge-requests/1550/merge
- refs/merge-requests/1556/head
- refs/merge-requests/1556/merge
- refs/merge-requests/156/head
- refs/merge-requests/1560/head
- refs/merge-requests/1560/merge
- refs/merge-requests/1562/head
- refs/merge-requests/1562/merge
- refs/merge-requests/1564/head
- refs/merge-requests/1564/merge
- refs/merge-requests/1566/head
- refs/merge-requests/1566/merge
- refs/merge-requests/1568/head
- refs/merge-requests/1568/merge
- refs/merge-requests/1569/head
- refs/merge-requests/1569/merge
- refs/merge-requests/1571/head
- refs/merge-requests/1571/merge
- refs/merge-requests/1572/head
- refs/merge-requests/1572/merge
- refs/merge-requests/1574/head
- refs/merge-requests/1574/merge
- refs/merge-requests/1575/head
- refs/merge-requests/1575/merge
- refs/merge-requests/1576/head
- refs/merge-requests/1576/merge
- refs/merge-requests/1577/head
- refs/merge-requests/1577/merge
- refs/merge-requests/1579/head
- refs/merge-requests/1579/merge
- refs/merge-requests/158/head
- refs/merge-requests/1581/head
- refs/merge-requests/1581/merge
- refs/merge-requests/1582/head
- refs/merge-requests/1582/merge
- refs/merge-requests/1583/head
- refs/merge-requests/1583/merge
- refs/merge-requests/1584/head
- refs/merge-requests/1584/merge
- refs/merge-requests/1585/head
- refs/merge-requests/1585/merge
- refs/merge-requests/1586/head
- refs/merge-requests/1586/merge
- refs/merge-requests/1588/head
- refs/merge-requests/1588/merge
- refs/merge-requests/1589/head
- refs/merge-requests/1589/merge
- refs/merge-requests/159/head
- refs/merge-requests/1590/head
- refs/merge-requests/1590/merge
- refs/merge-requests/1591/head
- refs/merge-requests/1591/merge
- refs/merge-requests/1593/head
- refs/merge-requests/1593/merge
- refs/merge-requests/1595/head
- refs/merge-requests/1595/merge
- refs/merge-requests/1598/head
- refs/merge-requests/1598/merge
- refs/merge-requests/1599/head
- refs/merge-requests/1599/merge
- refs/merge-requests/16/head
- refs/merge-requests/1603/head
- refs/merge-requests/1603/merge
- refs/merge-requests/1604/head
- refs/merge-requests/1604/merge
- refs/merge-requests/1607/head
- refs/merge-requests/1607/merge
- refs/merge-requests/1608/head
- refs/merge-requests/1608/merge
- refs/merge-requests/1611/head
- refs/merge-requests/1611/merge
- refs/merge-requests/1612/head
- refs/merge-requests/1612/merge
- refs/merge-requests/1613/head
- refs/merge-requests/1613/merge
- refs/merge-requests/1614/head
- refs/merge-requests/1614/merge
- refs/merge-requests/1615/head
- refs/merge-requests/1615/merge
- refs/merge-requests/1616/head
- refs/merge-requests/1616/merge
- refs/merge-requests/1618/head
- refs/merge-requests/1618/merge
- refs/merge-requests/1619/head
- refs/merge-requests/1619/merge
- refs/merge-requests/162/head
- refs/merge-requests/1621/head
- refs/merge-requests/1621/merge
- refs/merge-requests/1622/head
- refs/merge-requests/1622/merge
- refs/merge-requests/1623/head
- refs/merge-requests/1623/merge
- refs/merge-requests/1625/head
- refs/merge-requests/1625/merge
- refs/merge-requests/1627/head
- refs/merge-requests/1627/merge
- refs/merge-requests/1628/head
- refs/merge-requests/1628/merge
- refs/merge-requests/1629/head
- refs/merge-requests/1629/merge
- refs/merge-requests/163/head
- refs/merge-requests/1632/head
- refs/merge-requests/1632/merge
- refs/merge-requests/1635/head
- refs/merge-requests/1635/merge
- refs/merge-requests/1637/head
- refs/merge-requests/1637/merge
- refs/merge-requests/1638/head
- refs/merge-requests/1638/merge
- refs/merge-requests/1641/head
- refs/merge-requests/1641/merge
- refs/merge-requests/1643/head
- refs/merge-requests/1643/merge
- refs/merge-requests/1644/head
- refs/merge-requests/1644/merge
- refs/merge-requests/1645/head
- refs/merge-requests/1645/merge
- refs/merge-requests/1646/head
- refs/merge-requests/1646/merge
- refs/merge-requests/1648/head
- refs/merge-requests/1648/merge
- refs/merge-requests/1649/head
- refs/merge-requests/1649/merge
- refs/merge-requests/165/head
- refs/merge-requests/1650/head
- refs/merge-requests/1650/merge
- refs/merge-requests/1651/head
- refs/merge-requests/1651/merge
- refs/merge-requests/1652/head
- refs/merge-requests/1652/merge
- refs/merge-requests/1653/head
- refs/merge-requests/1653/merge
- refs/merge-requests/1654/head
- refs/merge-requests/1654/merge
- refs/merge-requests/1656/head
- refs/merge-requests/1658/head
- refs/merge-requests/1658/merge
- refs/merge-requests/1660/head
- refs/merge-requests/1660/merge
- refs/merge-requests/1661/head
- refs/merge-requests/1661/merge
- refs/merge-requests/1662/head
- refs/merge-requests/1662/merge
- refs/merge-requests/1664/head
- refs/merge-requests/1664/merge
- refs/merge-requests/1665/head
- refs/merge-requests/1665/merge
- refs/merge-requests/1666/head
- refs/merge-requests/1666/merge
- refs/merge-requests/1668/head
- refs/merge-requests/1668/merge
- refs/merge-requests/1669/head
- refs/merge-requests/1669/merge
- refs/merge-requests/167/head
- refs/merge-requests/1670/head
- refs/merge-requests/1670/merge
- refs/merge-requests/1672/head
- refs/merge-requests/1676/head
- refs/merge-requests/1676/merge
- refs/merge-requests/1677/head
- refs/merge-requests/1677/merge
- refs/merge-requests/1679/head
- refs/merge-requests/1679/merge
- refs/merge-requests/1681/head
- refs/merge-requests/1681/merge
- refs/merge-requests/1682/head
- refs/merge-requests/1682/merge
- refs/merge-requests/1686/head
- refs/merge-requests/1686/merge
- refs/merge-requests/1687/head
- refs/merge-requests/1687/merge
- refs/merge-requests/1688/head
- refs/merge-requests/1688/merge
- refs/merge-requests/169/head
- refs/merge-requests/1690/head
- refs/merge-requests/1690/merge
- refs/merge-requests/1692/head
- refs/merge-requests/1692/merge
- refs/merge-requests/1693/head
- refs/merge-requests/1693/merge
- refs/merge-requests/1694/head
- refs/merge-requests/1694/merge
- refs/merge-requests/1695/head
- refs/merge-requests/1695/merge
- refs/merge-requests/1696/head
- refs/merge-requests/1696/merge
- refs/merge-requests/1697/head
- refs/merge-requests/1697/merge
- refs/merge-requests/1698/head
- refs/merge-requests/1698/merge
- refs/merge-requests/1699/head
- refs/merge-requests/1699/merge
- refs/merge-requests/17/head
- refs/merge-requests/170/head
- refs/merge-requests/1700/head
- refs/merge-requests/1700/merge
- refs/merge-requests/1702/head
- refs/merge-requests/1702/merge
- refs/merge-requests/1706/head
- refs/merge-requests/1706/merge
- refs/merge-requests/1707/head
- refs/merge-requests/1707/merge
- refs/merge-requests/1708/head
- refs/merge-requests/1708/merge
- refs/merge-requests/1709/head
- refs/merge-requests/1709/merge
- refs/merge-requests/1712/head
- refs/merge-requests/1712/merge
- refs/merge-requests/1716/head
- refs/merge-requests/1716/merge
- refs/merge-requests/1717/head
- refs/merge-requests/1717/merge
- refs/merge-requests/1718/head
- refs/merge-requests/1718/merge
- refs/merge-requests/1719/head
- refs/merge-requests/1719/merge
- refs/merge-requests/172/head
- refs/merge-requests/1721/head
- refs/merge-requests/1721/merge
- refs/merge-requests/1722/head
- refs/merge-requests/1722/merge
- refs/merge-requests/1723/head
- refs/merge-requests/1723/merge
- refs/merge-requests/1724/head
- refs/merge-requests/1724/merge
- refs/merge-requests/1728/head
- refs/merge-requests/1728/merge
- refs/merge-requests/1729/head
- refs/merge-requests/1729/merge
- refs/merge-requests/173/head
- refs/merge-requests/1730/head
- refs/merge-requests/1730/merge
- refs/merge-requests/1732/head
- refs/merge-requests/1732/merge
- refs/merge-requests/1733/head
- refs/merge-requests/1733/merge
- refs/merge-requests/1735/head
- refs/merge-requests/1735/merge
- refs/merge-requests/1737/head
- refs/merge-requests/1737/merge
- refs/merge-requests/1738/head
- refs/merge-requests/1738/merge
- refs/merge-requests/1739/head
- refs/merge-requests/1739/merge
- refs/merge-requests/174/head
- refs/merge-requests/1742/head
- refs/merge-requests/1742/merge
- refs/merge-requests/1745/head
- refs/merge-requests/1745/merge
- refs/merge-requests/1747/head
- refs/merge-requests/1747/merge
- refs/merge-requests/175/head
- refs/merge-requests/1750/head
- refs/merge-requests/1750/merge
- refs/merge-requests/1751/head
- refs/merge-requests/1751/merge
- refs/merge-requests/1752/head
- refs/merge-requests/1752/merge
- refs/merge-requests/1753/head
- refs/merge-requests/1753/merge
- refs/merge-requests/1754/head
- refs/merge-requests/1754/merge
- refs/merge-requests/1756/head
- refs/merge-requests/1756/merge
- refs/merge-requests/176/head
- refs/merge-requests/1762/head
- refs/merge-requests/1762/merge
- refs/merge-requests/1763/head
- refs/merge-requests/1763/merge
- refs/merge-requests/1765/head
- refs/merge-requests/1765/merge
- refs/merge-requests/1766/head
- refs/merge-requests/1766/merge
- refs/merge-requests/1767/head
- refs/merge-requests/1767/merge
- refs/merge-requests/1768/head
- refs/merge-requests/177/head
- refs/merge-requests/1772/head
- refs/merge-requests/1772/merge
- refs/merge-requests/1773/head
- refs/merge-requests/1773/merge
- refs/merge-requests/1774/head
- refs/merge-requests/1774/merge
- refs/merge-requests/1775/head
- refs/merge-requests/1776/head
- refs/merge-requests/1778/head
- refs/merge-requests/1778/merge
- refs/merge-requests/178/head
- refs/merge-requests/1780/head
- refs/merge-requests/1781/head
- refs/merge-requests/1781/merge
- refs/merge-requests/1782/head
- refs/merge-requests/1782/merge
- refs/merge-requests/1784/head
- refs/merge-requests/1784/merge
- refs/merge-requests/1788/head
- refs/merge-requests/1788/merge
- refs/merge-requests/179/head
- refs/merge-requests/1792/head
- refs/merge-requests/1792/merge
- refs/merge-requests/1793/head
- refs/merge-requests/1793/merge
- refs/merge-requests/1794/head
- refs/merge-requests/1794/merge
- refs/merge-requests/1796/head
- refs/merge-requests/1796/merge
- refs/merge-requests/1797/head
- refs/merge-requests/1797/merge
- refs/merge-requests/1798/head
- refs/merge-requests/1798/merge
- refs/merge-requests/18/head
- refs/merge-requests/180/head
- refs/merge-requests/1800/head
- refs/merge-requests/1800/merge
- refs/merge-requests/1801/head
- refs/merge-requests/1801/merge
- refs/merge-requests/1802/head
- refs/merge-requests/1802/merge
- refs/merge-requests/1803/head
- refs/merge-requests/1803/merge
- refs/merge-requests/1805/head
- refs/merge-requests/1805/merge
- refs/merge-requests/1806/head
- refs/merge-requests/1806/merge
- refs/merge-requests/1807/head
- refs/merge-requests/1807/merge
- refs/merge-requests/1808/head
- refs/merge-requests/1808/merge
- refs/merge-requests/181/head
- refs/merge-requests/1810/head
- refs/merge-requests/1810/merge
- refs/merge-requests/1811/head
- refs/merge-requests/1811/merge
- refs/merge-requests/1812/head
- refs/merge-requests/1812/merge
- refs/merge-requests/1813/head
- refs/merge-requests/1813/merge
- refs/merge-requests/1814/head
- refs/merge-requests/1814/merge
- refs/merge-requests/1818/head
- refs/merge-requests/1818/merge
- refs/merge-requests/1819/head
- refs/merge-requests/1819/merge
- refs/merge-requests/182/head
- refs/merge-requests/1822/head
- refs/merge-requests/1822/merge
- refs/merge-requests/1823/head
- refs/merge-requests/1823/merge
- refs/merge-requests/1824/head
- refs/merge-requests/1824/merge
- refs/merge-requests/1827/head
- refs/merge-requests/1827/merge
- refs/merge-requests/1828/head
- refs/merge-requests/1828/merge
- refs/merge-requests/1829/head
- refs/merge-requests/1829/merge
- refs/merge-requests/183/head
- refs/merge-requests/1830/head
- refs/merge-requests/1830/merge
- refs/merge-requests/1831/head
- refs/merge-requests/1831/merge
- refs/merge-requests/1832/head
- refs/merge-requests/1832/merge
- refs/merge-requests/1834/head
- refs/merge-requests/1834/merge
- refs/merge-requests/1839/head
- refs/merge-requests/1839/merge
- refs/merge-requests/184/head
- refs/merge-requests/1841/head
- refs/merge-requests/1841/merge
- refs/merge-requests/1842/head
- refs/merge-requests/1842/merge
- refs/merge-requests/1843/head
- refs/merge-requests/1843/merge
- refs/merge-requests/1844/head
- refs/merge-requests/1846/head
- refs/merge-requests/1846/merge
- refs/merge-requests/185/head
- refs/merge-requests/1850/head
- refs/merge-requests/1850/merge
- refs/merge-requests/1851/head
- refs/merge-requests/1851/merge
- refs/merge-requests/1852/head
- refs/merge-requests/1852/merge
- refs/merge-requests/1854/head
- refs/merge-requests/1854/merge
- refs/merge-requests/1855/head
- refs/merge-requests/1855/merge
- refs/merge-requests/1857/head
- refs/merge-requests/1857/merge
- refs/merge-requests/1859/head
- refs/merge-requests/1859/merge
- refs/merge-requests/186/head
- refs/merge-requests/1860/head
- refs/merge-requests/1860/merge
- refs/merge-requests/1861/head
- refs/merge-requests/1861/merge
- refs/merge-requests/1863/head
- refs/merge-requests/1863/merge
- refs/merge-requests/1864/head
- refs/merge-requests/1864/merge
- refs/merge-requests/1865/head
- refs/merge-requests/1865/merge
- refs/merge-requests/1866/head
- refs/merge-requests/1866/merge
- refs/merge-requests/1867/head
- refs/merge-requests/1867/merge
- refs/merge-requests/1868/head
- refs/merge-requests/1868/merge
- refs/merge-requests/187/head
- refs/merge-requests/1870/head
- refs/merge-requests/1871/head
- refs/merge-requests/1871/merge
- refs/merge-requests/1872/head
- refs/merge-requests/1872/merge
- refs/merge-requests/1873/head
- Branches list truncated to 1000 entries, 1869 were omitted.
No releases to show
History
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:b988f250a00db8cb403846dfe4e1ef3006b0355d into a standard tar.gz archive.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:b988f250a00db8cb403846dfe4e1ef3006b0355d as a standard tar.gz archive.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:974da4819e9255a0f00be545179b10a0017482f0 into a bare git archive.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:974da4819e9255a0f00be545179b10a0017482f0 as a bare git archive.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
Permalinks
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Tip revision: 0157460ca60aeaf5169680cf1c26df318f10da9b authored by Romain on 16 April 2021, 13:33:51 UTC
Merge branch 'romain-tezt-protocol' into 'master'
Merge branch 'romain-tezt-protocol' into 'master'
Tip revision: 0157460
| File | Mode | Size |
|---|---|---|
| .github | ||
| .gitlab | ||
| docs | ||
| emacs | ||
| scripts | ||
| src | ||
| tests_python | ||
| vendors | ||
| .dockerignore | -rw-r--r-- | 627 bytes |
| .gitattributes | -rw-r--r-- | 132 bytes |
| .gitignore | -rw-r--r-- | 830 bytes |
| .gitlab-ci.yml | -rw-r--r-- | 19.6 KB |
| .ocp-indent | -rw-r--r-- | 17 bytes |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 5.4 KB |
| README.md | -rw-r--r-- | 1.7 KB |
| active_protocol_versions | -rw-r--r-- | 6 bytes |
| contributing.md | -rw-r--r-- | 2.4 KB |
| dune | -rw-r--r-- | 191 bytes |
| dune-workspace | -rw-r--r-- | 16 bytes |
The diff you're trying to view is too large. Only the first 1000 changed files have been loaded.
Computing file changes ...
