Switch to uint8_t, some optimizations #2478
daveplAnnotations
2 errors
|
build (PrimeV/solution_1)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
|
build (PrimeV/solution_2)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
PlummersSoftwareLLC~Primes~0FQYU7.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~0MW12I.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~0SQSOB.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~0YU6QQ.dockerbuild
|
23 KB |
|
|
PlummersSoftwareLLC~Primes~16HA5M.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~2IZ30B.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~2KH72N.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~3BZPKT.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~3G8RWM.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~3KIVQ1.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~3RDUTV.dockerbuild
|
21.7 KB |
|
|
PlummersSoftwareLLC~Primes~3UQCXP.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~3WGSEO.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~3WMORF.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~4DL2WX.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~53HYKR.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~5DCCQV.dockerbuild
|
29.2 KB |
|
|
PlummersSoftwareLLC~Primes~5L982V.dockerbuild
|
24.5 KB |
|
|
PlummersSoftwareLLC~Primes~5QST10.dockerbuild
|
36.1 KB |
|
|
PlummersSoftwareLLC~Primes~68NTYX.dockerbuild
|
14.6 KB |
|
|
PlummersSoftwareLLC~Primes~691OAQ.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~6QUM8R.dockerbuild
|
56.2 KB |
|
|
PlummersSoftwareLLC~Primes~6WF06A.dockerbuild
|
24.8 KB |
|
|
PlummersSoftwareLLC~Primes~70SQHI.dockerbuild
|
29.4 KB |
|
|
PlummersSoftwareLLC~Primes~7FE2X5.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~7J5XCP.dockerbuild
|
32.7 KB |
|
|
PlummersSoftwareLLC~Primes~84E4CT.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~92ELFC.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~9ZMPD1.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~A95UO8.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~B2GQQW.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~C20U4H.dockerbuild
|
49.6 KB |
|
|
PlummersSoftwareLLC~Primes~CYZXTN.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~DHV8WS.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~DWJEQX.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~DWSQNN.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~DXPZ2U.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~DYYWYV.dockerbuild
|
22.9 KB |
|
|
PlummersSoftwareLLC~Primes~ELSVKK.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~EWU668.dockerbuild
|
30.1 KB |
|
|
PlummersSoftwareLLC~Primes~FKWANH.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~FZL165.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~G97JJS.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~GO6WPH.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~HXZQOH.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~I82NQ7.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~I8MY35.dockerbuild
|
32.6 KB |
|
|
PlummersSoftwareLLC~Primes~IQS11P.dockerbuild
|
30.4 KB |
|
|
PlummersSoftwareLLC~Primes~IU201Y.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~IUGN9E.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~IULO8R.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~J0PWRD.dockerbuild
|
29.6 KB |
|
|
PlummersSoftwareLLC~Primes~J178WG.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~J2OFIT.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~J48UAA.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~J4JRUY.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~JGE4HV.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~JHVRQL.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~JMSNK8.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~JS11KV.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~JS704T.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~JT37CK.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~K6QBKM.dockerbuild
|
24.5 KB |
|
|
PlummersSoftwareLLC~Primes~K86XPS.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~KDNA1J.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~KX10I4.dockerbuild
|
21.4 KB |
|
|
PlummersSoftwareLLC~Primes~KXFAEM.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~KZ12B0.dockerbuild
|
17.5 KB |
|
|
PlummersSoftwareLLC~Primes~KZSX3M.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~L02QOC.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~L0CYBJ.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~L3H0FR.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~LDM0HI.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~LPEYHM.dockerbuild
|
17.2 KB |
|
|
PlummersSoftwareLLC~Primes~LPIK3U.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~LYY5IF.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~LZPDBK.dockerbuild
|
45.4 KB |
|
|
PlummersSoftwareLLC~Primes~M2ABKS.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~M7TRL4.dockerbuild
|
21.9 KB |
|
|
PlummersSoftwareLLC~Primes~MCCZT5.dockerbuild
|
25.8 KB |
|
|
PlummersSoftwareLLC~Primes~MISBBZ.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~MMOHOO.dockerbuild
|
54.5 KB |
|
|
PlummersSoftwareLLC~Primes~MNPXAE.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~MNTT9I.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~MQ03UF.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~MVKONW.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~MW91VO.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~N8DNGG.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~NEVZOD.dockerbuild
|
24.5 KB |
|
|
PlummersSoftwareLLC~Primes~NWC64B.dockerbuild
|
21.6 KB |
|
|
PlummersSoftwareLLC~Primes~NYP6K1.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~O2F9Z2.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~O5RQRO.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~O8Q5GW.dockerbuild
|
17.5 KB |
|
|
PlummersSoftwareLLC~Primes~P6YX5W.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~P89RTL.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~PGU1T3.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~PHY2UH.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~PR2C83.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~PX78EY.dockerbuild
|
118 KB |
|
|
PlummersSoftwareLLC~Primes~QA6JQ6.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~QACZWY.dockerbuild
|
31 KB |
|
|
PlummersSoftwareLLC~Primes~QB0BMJ.dockerbuild
|
25.4 KB |
|
|
PlummersSoftwareLLC~Primes~QDELA5.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~QI7KBK.dockerbuild
|
32.4 KB |
|
|
PlummersSoftwareLLC~Primes~QNTZDQ.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~QQLANC.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~QZBVIS.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~R4PXCZ.dockerbuild
|
37.6 KB |
|
|
PlummersSoftwareLLC~Primes~R88JIW.dockerbuild
|
37.7 KB |
|
|
PlummersSoftwareLLC~Primes~R9Q6I9.dockerbuild
|
21.1 KB |
|
|
PlummersSoftwareLLC~Primes~RAV305.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~RPTBLV.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~RRMYJF.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~S5JDZA.dockerbuild
|
35.3 KB |
|
|
PlummersSoftwareLLC~Primes~SC880W.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~SL8QYJ.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~SLRULQ.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~SRHTMT.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~SRMH5V.dockerbuild
|
27.7 KB |
|
|
PlummersSoftwareLLC~Primes~SRXK7X.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~SW44W0.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~T8LFXG.dockerbuild
|
18.2 KB |
|
|
PlummersSoftwareLLC~Primes~TBKR1K.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~TFRQ4Q.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~TOPN3D.dockerbuild
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~TR08QQ.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~TX7BG9.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~UNLKKK.dockerbuild
|
22.9 KB |
|
|
PlummersSoftwareLLC~Primes~UPHTTX.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~UT4RVL.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~VH4FS9.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~VM5BTI.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~VOETEI.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~W2F1MG.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~W337XM.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~W63NEY.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~WY880B.dockerbuild
|
36.2 KB |
|
|
PlummersSoftwareLLC~Primes~X53E7Z.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~X8AX4W.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~XCOREP.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~XE0HBZ.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~XPN7OL.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~XPOCSE.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~XSU6IJ.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~XYJPG6.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~Y1CB7K.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~Y3K25K.dockerbuild
|
12.8 KB |
|
|
PlummersSoftwareLLC~Primes~Y3PDVA.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~Y6N4GH.dockerbuild
|
23.9 KB |
|
|
PlummersSoftwareLLC~Primes~Y9FN8O.dockerbuild
|
25.7 KB |
|
|
PlummersSoftwareLLC~Primes~YCSAAV.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~YGS2F3.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~YHGX30.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~YI5LG5.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~YN36XO.dockerbuild
|
14.2 KB |
|
|
PlummersSoftwareLLC~Primes~YQIYIX.dockerbuild
|
18.5 KB |
|
|
PlummersSoftwareLLC~Primes~YYX8T8.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~YZZH8O.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~Z0YK65.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~Z6N542.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~ZA6C5B.dockerbuild
|
21.8 KB |
|
|
PlummersSoftwareLLC~Primes~ZAKB53.dockerbuild
|
19.7 KB |
|
|
PlummersSoftwareLLC~Primes~ZZNRQ9.dockerbuild
|
15.6 KB |
|