https://github.com/mit-plv/fiat-crypto
History
Tip revision: a4bdf47a6895cf5d44d0c87216daa46e882ef6cd authored by dependabot[bot] on 08 July 2022, 05:38:58 UTC
Bump rupicola from `e504468` to `34b7686` (#1323)
Tip revision: a4bdf47
File Mode Size
10.67_ratio11074_seed2040113663254706_square_poly1305.asm -rw-r--r-- 3.4 KB
10099_eval10of50_ratio10087_seed1785685356_square_p521.asm -rw-r--r-- 17.9 KB
10483_eval10of50_ratio09540_seed1785685356_mul_poly1305.asm -rw-r--r-- 4.3 KB
105.50_ratio12370_seed1660769872531946_mul_secp256k1.asm -rw-r--r-- 14.7 KB
10541_eval10of50_ratio09504_seed1785685356_square_poly1305.asm -rw-r--r-- 3.1 KB
106.45_ratio07095_seed2797871388934122_square_p448_solinas.asm -rw-r--r-- 19.9 KB
10643_eval10of50_ratio09374_seed1785685356_square_curve25519.asm -rw-r--r-- 5.8 KB
10748_eval10of50_ratio09377_seed1785685356_mul_curve25519.asm -rw-r--r-- 9.3 KB
108.18_ratio13200_seed1947243449658116_square_secp256k1.asm -rw-r--r-- 20.1 KB
109.09_run500of10000_ratio05166_seed239269960_square_p448_solinas.asm -rw-r--r-- 25.9 KB
109.83_ratio10963_seed1201025027389101_square_secp256k1.asm -rw-r--r-- 13.7 KB
10_ratio11074_seed2040113663254706_square_poly1305.asm -rw-r--r-- 3.7 KB
110.11_ratio07038_seed1926673388220806_square_p448_solinas.asm -rw-r--r-- 20.7 KB
114.99_ratio08834_seed3078291382487252_square_p448_solinas.asm -rw-r--r-- 17.2 KB
119.02_ratio09671_seed3926842789276768_mul_p521.asm -rw-r--r-- 27.7 KB
127.14_ratio07783_seed3468290092887263_square_p448_solinas.asm -rw-r--r-- 18.3 KB
12771_eval10of50_ratio07967_seed1785685356_mul_p521.asm -rw-r--r-- 33.3 KB
13.24_ratio11452_seed2385502359727706_mul_poly1305.asm -rw-r--r-- 4.0 KB
13.88_ratio11342_seed989931496276831_square_poly1305.asm -rw-r--r-- 3.4 KB
133.57_ratio10625_seed3179949323651885_mul_p521.asm -rw-r--r-- 23.7 KB
136.51_ratio08055_seed4259079871647348_square_p384.asm -rw-r--r-- 34.3 KB
137.18_ratio08632_seed3764303852282748_mul_p384.asm -rw-r--r-- 35.6 KB
141.31_ratio10675_seed3277703234885713_square_p521.asm -rw-r--r-- 15.7 KB
144.28_ratio10700_seed380019983455042_mul_p521.asm -rw-r--r-- 23.2 KB
145.56_ratio10351_seed3475301888420410_mul_p521.asm -rw-r--r-- 25.7 KB
15755_eval10of50_ratio06439_seed1785685356_mul_p448_solinas.asm -rw-r--r-- 37.6 KB
16.02_ratio12241_seed4460917673401922_square_curve25519.asm -rw-r--r-- 5.2 KB
16.35_ratio10468_seed202140007933080_mul_poly1305.asm -rw-r--r-- 3.8 KB
16232_ratio11549_seed1785685356_square_poly1305.asm -rw-r--r-- 3.8 KB
163.02_ratio13059_seed2414091731930389_mul_p521.asm -rw-r--r-- 22.5 KB
17.71_ratio10643_seed3175310705764234_mul_poly1305.asm -rw-r--r-- 3.9 KB
17654_eval10of50_ratio05675_seed1785685356_square_p448_solinas.asm -rw-r--r-- 25.7 KB
177.17_ratio07019_seed3549696848003676_square_p448_solinas.asm -rw-r--r-- 21.6 KB
178.66_ratio06168_seed42736280487937_mul_p448_solinas.asm -rw-r--r-- 39.7 KB
185.66_ratio06892_seed3983286574960897_mul_p448_solinas.asm -rw-r--r-- 30.0 KB
187.54_ratio07467_seed95742508246954_mul_p448_solinas.asm -rw-r--r-- 32.6 KB
19.84_run0of10000_ratio08458_seed281000036_mul_poly1305.asm -rw-r--r-- 4.3 KB
19.90_ratio09545_seed4133336594047700_square_poly1305.asm -rw-r--r-- 3.7 KB
191.53_ratio08381_seed1292680342693278_square_p384.asm -rw-r--r-- 40.7 KB
196.68_ratio06710_seed3286030842510209_mul_p448_solinas.asm -rw-r--r-- 32.8 KB
20.24_ratio10303_seed4854042474810_square_poly1305.asm -rw-r--r-- 3.4 KB
20.45_ratio11002_seed1572008938505072_square_poly1305.asm -rw-r--r-- 3.5 KB
203.94_ratio09640_seed2833800931993071_mul_p521.asm -rw-r--r-- 25.1 KB
206.96_ratio08479_seed4366091815975477_mul_p384.asm -rw-r--r-- 37.4 KB
211.62_ratio07944_seed2584814796855012_square_p384.asm -rw-r--r-- 41.9 KB
213.89_ratio08324_seed2631520366048122_mul_p384.asm -rw-r--r-- 43.0 KB
214.93_ratio08498_seed1525563746357639_mul_p384.asm -rw-r--r-- 37.6 KB
217.63_ratio08160_seed2132581807946336_mul_p448_solinas.asm -rw-r--r-- 29.3 KB
22.66_ratio12159_seed3867572441203858_mul_poly1305.asm -rw-r--r-- 3.9 KB
224.60_ratio09379_seed3894390947325035_square_p434.asm -rw-r--r-- 54.1 KB
225.69_ratio07223_seed2960644640191953_square_p384.asm -rw-r--r-- 39.5 KB
23.09_ratio10796_seed2825755522683576_mul_poly1305.asm -rw-r--r-- 4.0 KB
23.11_ratio11086_seed2191923489898950_mul_poly1305.asm -rw-r--r-- 3.9 KB
23.85_ratio11197_seed3328442630777717_square_poly1305.asm -rw-r--r-- 3.4 KB
235.09_ratio08872_seed718657245800066_square_p384.asm -rw-r--r-- 28.4 KB
240.21_ratio09423_seed535677244591890_mul_p434.asm -rw-r--r-- 48.7 KB
243.45_ratio07873_seed2606129114143455_mul_p448_solinas.asm -rw-r--r-- 29.2 KB
26.66_ratio12526_seed1385492581365969_square_curve25519.asm -rw-r--r-- 5.7 KB
266.00_ratio09375_seed4172627766484181_mul_p521.asm -rw-r--r-- 27.0 KB
27.26_ratio12379_seed3644061545824544_mul_curve25519.asm -rw-r--r-- 7.5 KB
273.53_ratio08274_seed2438481381420792_square_p384.asm -rw-r--r-- 34.9 KB
286.27_ratio11637_seed699744043147816_square_p434.asm -rw-r--r-- 56.1 KB
289.17_ratio08237_seed4091147453534096_square_p384.asm -rw-r--r-- 35.8 KB
289.28_ratio08194_seed629307854069783_mul_p384.asm -rw-r--r-- 36.3 KB
29.69_ratio12300_seed2886888088419340_square_curve25519.asm -rw-r--r-- 5.5 KB
306.00_ratio08343_seed1466306520902851_mul_p384.asm -rw-r--r-- 38.0 KB
321.11_ratio11255_seed1206177160463392_square_p434.asm -rw-r--r-- 49.1 KB
324.36_ratio10962_seed3664281231704237_mul_p434.asm -rw-r--r-- 61.9 KB
327.96_ratio06423_seed3148466208367815_mul_p448_solinas.asm -rw-r--r-- 33.9 KB
33.03_ratio10189_seed2792533714102208_mul_poly1305.asm -rw-r--r-- 4.0 KB
33.71_ratio16752_seed267833281830466_square_poly1305.asm -rw-r--r-- 3.4 KB
34.46_ratio12577_seed2381330932113131_mul_p256.asm -rw-r--r-- 9.7 KB
34.61_ratio11891_seed162111320133243_square_curve25519.asm -rw-r--r-- 5.7 KB
35.64_ratio12722_seed1894487979817632_mul_curve25519.asm -rw-r--r-- 7.4 KB
36.70_ratio11593_seed257070995500385_square_curve25519.asm -rw-r--r-- 5.8 KB
36.89_ratio13024_seed1247118595307020_square_curve25519.asm -rw-r--r-- 5.7 KB
37.26_ratio11905_seed4276274868767468_square_p256.asm -rw-r--r-- 9.5 KB
374.78_ratio06002_seed2764343611261468_mul_p384.asm -rw-r--r-- 46.5 KB
38.51_ratio12082_seed4032974613556909_square_p224.asm -rw-r--r-- 9.9 KB
390.08_ratio10396_seed2412526886283759_square_p434.asm -rw-r--r-- 49.4 KB
392.76_ratio08675_seed3715409675138377_square_p434.asm -rw-r--r-- 57.9 KB
394.42_ratio08680_seed2529639215636402_mul_p434.asm -rw-r--r-- 54.0 KB
40.60_ratio11121_seed2240937234026075_mul_p224.asm -rw-r--r-- 12.4 KB
414.00_ratio14010_seed4297472400993309_mul_p434.asm -rw-r--r-- 70.2 KB
421.04_ratio08906_seed3759678552496106_square_p434.asm -rw-r--r-- 55.3 KB
43.48_ratio11348_seed2293761300508191_mul_curve25519.asm -rw-r--r-- 7.8 KB
45.42_ratio13690_seed212576899785283_mul_curve25519.asm -rw-r--r-- 7.0 KB
45.66_ratio11572_seed523574687610626_square_secp256k1.asm -rw-r--r-- 12.1 KB
47.22_ratio11985_seed956956614158782_mul_curve25519.asm -rw-r--r-- 7.5 KB
477.13_ratio08443_seed971834780550536_mul_p434.asm -rw-r--r-- 56.4 KB
48.18_ratio14453_seed2237712397304101_mul_p256.asm -rw-r--r-- 10.3 KB
486.76_ratio09480_seed2513671278159213_square_p434.asm -rw-r--r-- 51.9 KB
488.57_ratio08478_seed412639959625635_mul_p434.asm -rw-r--r-- 57.8 KB
50.55_ratio11585_seed1600379773707829_square_curve25519.asm -rw-r--r-- 5.9 KB
53.02_ratio11450_seed2312492709004220_mul_secp256k1.asm -rw-r--r-- 14.0 KB
54.52_ratio13237_seed2165586197121668_square_p256.asm -rw-r--r-- 10.0 KB
54.71_ratio11705_seed815469023996179_square_p256.asm -rw-r--r-- 10.1 KB
56.19_ratio11707_seed2109513243355895_square_p224.asm -rw-r--r-- 12.4 KB
56.43_ratio12812_seed2553258791112417_mul_p224.asm -rw-r--r-- 11.5 KB
58.35_ratio12950_seed4109329367978504_square_p521.asm -rw-r--r-- 14.5 KB
58.75_ratio14090_seed775961493504765_mul_curve25519.asm -rw-r--r-- 8.7 KB
58.88_ratio13585_seed2274906452028590_mul_p256.asm -rw-r--r-- 11.2 KB
60.55_ratio13361_seed202417025616803_mul_p256.asm -rw-r--r-- 10.6 KB
61.46_ratio12062_seed851790244847742_square_p256.asm -rw-r--r-- 9.6 KB
63.43_ratio11410_seed1853739923678552_square_p224.asm -rw-r--r-- 11.8 KB
63.73_ratio11916_seed3353671286337883_square_secp256k1.asm -rw-r--r-- 12.9 KB
63.88_ratio13929_seed3975821006667828_mul_p256.asm -rw-r--r-- 9.3 KB
65.35_ratio12744_seed2003353293586321_mul_secp256k1.asm -rw-r--r-- 14.9 KB
65.45_ratio13084_seed2567748224150474_square_p256.asm -rw-r--r-- 9.3 KB
65.47_ratio07878_seed3824668340341651_square_p448_solinas.asm -rw-r--r-- 19.6 KB
65.58_ratio11142_seed2396663595229043_square_p256.asm -rw-r--r-- 9.7 KB
658.67_ratio16410_seed2655622732133814_mul_p434.asm -rw-r--r-- 68.6 KB
66.82_ratio12314_seed31939672603401_mul_p224.asm -rw-r--r-- 12.4 KB
67.75_ratio11130_seed3548740702652650_mul_curve25519.asm -rw-r--r-- 7.6 KB
69.81_ratio12134_seed4097297752174669_mul_p224.asm -rw-r--r-- 13.6 KB
71.88_ratio10859_seed1800767550616553_square_p224.asm -rw-r--r-- 11.8 KB
72.32_ratio12743_seed1899281146561256_square_p224.asm -rw-r--r-- 10.5 KB
72.51_ratio13176_seed2681584295662131_mul_secp256k1.asm -rw-r--r-- 11.9 KB
73.26_ratio11656_seed1973146713415797_mul_p256.asm -rw-r--r-- 11.3 KB
73.49_ratio15506_seed3258432306148663_square_p521.asm -rw-r--r-- 14.9 KB
73.94_ratio13149_seed704989933151320_mul_p224.asm -rw-r--r-- 11.1 KB
74.63_ratio11526_seed3879384365785814_square_secp256k1.asm -rw-r--r-- 12.9 KB
74.87_ratio12489_seed4292899296502668_mul_secp256k1.asm -rw-r--r-- 12.7 KB
75.49_ratio12153_seed3485352012649499_mul_p224.asm -rw-r--r-- 12.1 KB
79.91_ratio12893_seed1129172745277633_square_secp256k1.asm -rw-r--r-- 12.4 KB
81.16_ratio11682_seed4228455700821548_square_secp256k1.asm -rw-r--r-- 12.3 KB
81.79_ratio13326_seed4161903876788363_mul_secp256k1.asm -rw-r--r-- 12.5 KB
82.95_ratio11897_seed2924025841174363_mul_secp256k1.asm -rw-r--r-- 12.8 KB
83.10_ratio12735_seed4285393296769624_square_p256.asm -rw-r--r-- 9.9 KB
84.10_run0of10000_ratio07110_seed145282980_square_p521.asm -rw-r--r-- 18.2 KB
84.14_ratio13808_seed121873771920510_mul_p256.asm -rw-r--r-- 10.7 KB
8405_eval500of10000_ratio11908_seed34149503_square_curve25519.asm -rw-r--r-- 5.3 KB
8531_eval500of10000_ratio11770_seed389709233_square_curve25519.asm -rw-r--r-- 5.5 KB
8917_ratio11077_seed3401074160038646_sub_p224.asm -rw-r--r-- 2.8 KB
90.10_ratio11854_seed600995032503849_square_p521.asm -rw-r--r-- 16.8 KB
90.44_ratio11062_seed2001410703584519_square_p521.asm -rw-r--r-- 16.1 KB
90.50_ratio14944_seed2097618098035895_square_p521.asm -rw-r--r-- 13.8 KB
93.73_ratio11677_seed3777690670788846_square_p224.asm -rw-r--r-- 12.7 KB
94.05_ratio08319_seed1902570032819100_square_p448_solinas.asm -rw-r--r-- 20.0 KB
94.05_ratio13057_seed3617302645812680_mul_p224.asm -rw-r--r-- 11.8 KB
96.86_ratio12000_seed3346530064135123_square_p224.asm -rw-r--r-- 17.6 KB
9789_ratio10114_seed1785685356_square_curve25519.asm -rw-r--r-- 6.8 KB
99.84_ratio13700_seed960968221135369_square_p521.asm -rw-r--r-- 14.6 KB
gentest.py -rwxr-xr-x 5.4 KB
test.sh -rwxr-xr-x 971 bytes

back to top