notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
Port details
silq Silq from ETH Zuerich
20220224 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 20211117Version of this port present on the latest quarterly branch.
Maintainer: se@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-06-18 06:55:37
Last Update: 2022-04-19 18:33:46
Commit Hash: 88760e0
Also Listed In: math science
License: BSL
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (422 items)
Collapse this list.
  1. /usr/local/share/licenses/silq-20220224/catalog.mk
  2. /usr/local/share/licenses/silq-20220224/LICENSE
  3. /usr/local/share/licenses/silq-20220224/BSL
  4. bin/silq
  5. share/examples/silq/arrayAddAssign.slq
  6. share/examples/silq/arrayConcatReassign.slq
  7. share/examples/silq/arrayElements.slq
  8. share/examples/silq/arrayEntryDup.slq
  9. share/examples/silq/asinQ.slq
  10. share/examples/silq/asinQ2.slq
  11. share/examples/silq/assertTypeError.slq
  12. share/examples/silq/assignError.slq
  13. share/examples/silq/assignFromArray.slq
  14. share/examples/silq/assignQcontrol.slq
  15. share/examples/silq/assignQuantumArray.slq
  16. share/examples/silq/badForget.slq
  17. share/examples/silq/badIndexReplacement.slq
  18. share/examples/silq/badReverse.slq
  19. share/examples/silq/badTypes.slq
  20. share/examples/silq/bernsteinVazirani.slq
  21. share/examples/silq/bernsteinVazirani2.slq
  22. share/examples/silq/boolVectorLength.slq
  23. share/examples/silq/bug.slq
  24. share/examples/silq/builtInToPrelude.slq
  25. share/examples/silq/captureConst.slq
  26. share/examples/silq/captureShadow.slq
  27. share/examples/silq/captureTwice.slq
  28. share/examples/silq/classicalArrayAliasing.slq
  29. share/examples/silq/classicalHadamard.slq
  30. share/examples/silq/classicalQfree1.slq
  31. share/examples/silq/classicalQfree2.slq
  32. share/examples/silq/classicalQuantumSuperposition.slq
  33. share/examples/silq/closure.slq
  34. share/examples/silq/closureArrayTest.slq
  35. share/examples/silq/closureTest.slq
  36. share/examples/silq/closureTest2.slq
  37. share/examples/silq/closureTest3.slq
  38. share/examples/silq/closureTest4.slq
  39. share/examples/silq/closureTest5.slq
  40. share/examples/silq/closureTest6.slq
  41. share/examples/silq/closureTest7.slq
  42. share/examples/silq/closureTest8.slq
  43. share/examples/silq/cnot.slq
  44. share/examples/silq/cnot2.slq
  45. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/1.slq
  46. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/2.slq
  47. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/3.slq
  48. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/4.slq
  49. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/5.slq
  50. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/6.slq
  51. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/7.slq
  52. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2.slq
  53. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2_incorrect.slq
  54. share/examples/silq/codeforces/stats/top10submissions/winter19/B1/4.slq
  55. share/examples/silq/codeforces/stats/top10submissions/winter19/C2/8.slq
  56. share/examples/silq/codeforces/summer18/contest/a1.slq
  57. share/examples/silq/codeforces/summer18/contest/a2.slq
  58. share/examples/silq/codeforces/summer18/contest/a3.slq
  59. share/examples/silq/codeforces/summer18/contest/a4.slq
  60. share/examples/silq/codeforces/summer18/contest/b1.slq
  61. share/examples/silq/codeforces/summer18/contest/b2.slq
  62. share/examples/silq/codeforces/summer18/contest/b3.slq
  63. share/examples/silq/codeforces/summer18/contest/b4.slq
  64. share/examples/silq/codeforces/summer18/contest/c1.slq
  65. share/examples/silq/codeforces/summer18/contest/c2.slq
  66. share/examples/silq/codeforces/summer18/contest/d1.slq
  67. share/examples/silq/codeforces/summer18/contest/d2.slq
  68. share/examples/silq/codeforces/summer18/contest/d3.slq
  69. share/examples/silq/codeforces/summer18/contest/e1.slq
  70. share/examples/silq/codeforces/summer18/contest/e2.slq
  71. share/examples/silq/codeforces/summer18/warmup/a.slq
  72. share/examples/silq/codeforces/summer18/warmup/b.slq
  73. share/examples/silq/codeforces/summer18/warmup/c.slq
  74. share/examples/silq/codeforces/summer18/warmup/d.slq
  75. share/examples/silq/codeforces/summer18/warmup/e.slq
  76. share/examples/silq/codeforces/summer18/warmup/f.slq
  77. share/examples/silq/codeforces/summer18/warmup/f2.slq
  78. share/examples/silq/codeforces/summer18/warmup/g.slq
  79. share/examples/silq/codeforces/summer18/warmup/h.slq
  80. share/examples/silq/codeforces/summer18/warmup/i.slq
  81. share/examples/silq/codeforces/summer20/warmup/a1.slq
  82. share/examples/silq/codeforces/summer20/warmup/a2.slq
  83. share/examples/silq/codeforces/summer20/warmup/a3.slq
  84. share/examples/silq/codeforces/summer20/warmup/a4.slq
  85. share/examples/silq/codeforces/summer20/warmup/a5.slq
  86. share/examples/silq/codeforces/summer20/warmup/b1.slq
  87. share/examples/silq/codeforces/summer20/warmup/b2.slq
  88. share/examples/silq/codeforces/summer20/warmup/c.slq
  89. share/examples/silq/codeforces/winter19/contest/a1.slq
  90. share/examples/silq/codeforces/winter19/contest/a2.slq
  91. share/examples/silq/codeforces/winter19/contest/b1.slq
  92. share/examples/silq/codeforces/winter19/contest/b2.slq
  93. share/examples/silq/codeforces/winter19/contest/c1.slq
  94. share/examples/silq/codeforces/winter19/contest/c2.slq
  95. share/examples/silq/codeforces/winter19/contest/c3.slq
  96. share/examples/silq/codeforces/winter19/contest/c3_2.slq
  97. share/examples/silq/codeforces/winter19/contest/d1.slq
  98. share/examples/silq/codeforces/winter19/contest/d2.slq
  99. share/examples/silq/codeforces/winter19/contest/d3.slq
  100. share/examples/silq/codeforces/winter19/contest/d4.slq
  101. share/examples/silq/codeforces/winter19/contest/d5.slq
  102. share/examples/silq/codeforces/winter19/contest/d6.slq
  103. share/examples/silq/codeforces/winter19/warmup/g1.slq
  104. share/examples/silq/codeforces/winter19/warmup/g2.slq
  105. share/examples/silq/codeforces/winter19/warmup/g3.slq
  106. share/examples/silq/codeforces/winter19/warmup/u1.slq
  107. share/examples/silq/codeforces/winter19/warmup/u2.slq
  108. share/examples/silq/codeforces/winter19/warmup/u3.slq
  109. share/examples/silq/coerceAssign.slq
  110. share/examples/silq/coerceFunction.slq
  111. share/examples/silq/coerceInt.slq
  112. share/examples/silq/coerceIntToNat.slq
  113. share/examples/silq/coerceNegativeNatural.slq
  114. share/examples/silq/coerceReal.slq
  115. share/examples/silq/coerceVector.slq
  116. share/examples/silq/communicationGame.slq
  117. share/examples/silq/conditionalMeasurement.slq
  118. share/examples/silq/conditionalMeasurement2.slq
  119. share/examples/silq/constBlockAssign.slq
  120. share/examples/silq/constBlockCapture.slq
  121. share/examples/silq/consumeDepTypeVar.slq
  122. share/examples/silq/consumingVector.slq
  123. share/examples/silq/conv.slq
  124. share/examples/silq/convertForget.slq
  125. share/examples/silq/convertIntToZ.slq
  126. share/examples/silq/convertMatch.slq
  127. share/examples/silq/convertMatch2.slq
  128. share/examples/silq/convertNatToInt.slq
  129. share/examples/silq/convertTuple.slq
  130. share/examples/silq/convertVectors.slq
  131. share/examples/silq/depTest.slq
  132. share/examples/silq/depTest2.slq
  133. share/examples/silq/depTest3.slq
  134. share/examples/silq/depTest4.slq
  135. share/examples/silq/depTest5.slq
  136. share/examples/silq/depTest6.slq
  137. share/examples/silq/depType.slq
  138. share/examples/silq/detectZero.slq
  139. share/examples/silq/distinguish0H0.slq
  140. share/examples/silq/distinguish0H0_2.slq
  141. share/examples/silq/distinguishGHZandW.slq
  142. share/examples/silq/distinguishStates.slq
  143. share/examples/silq/divbyzero.slq
  144. share/examples/silq/divbyzero2.slq
  145. share/examples/silq/divmod.slq
  146. share/examples/silq/dlog.slq
  147. share/examples/silq/draper.slq
  148. share/examples/silq/draperFunny.slq
  149. share/examples/silq/draperPretty.slq
  150. share/examples/silq/dump.slq
  151. share/examples/silq/dump2.slq
  152. share/examples/silq/dumpExit.slq
  153. share/examples/silq/dumpExit2.slq
  154. share/examples/silq/dupClosure.slq
  155. share/examples/silq/dupClosure2.slq
  156. share/examples/silq/dupConvertForget.slq
  157. share/examples/silq/earlyReturn.slq
  158. share/examples/silq/earlyReturn2.slq
  159. share/examples/silq/earlyReturn3.slq
  160. share/examples/silq/earlyReturn4.slq
  161. share/examples/silq/earlyReturn5.slq
  162. share/examples/silq/earlyReturn6.slq
  163. share/examples/silq/earlyReturn7.slq
  164. share/examples/silq/earlyReturn8.slq
  165. share/examples/silq/earlyReturnQuantumIf.slq
  166. share/examples/silq/extendTruncate.slq
  167. share/examples/silq/extendTruncateError.slq
  168. share/examples/silq/fib.slq
  169. share/examples/silq/fib2.slq
  170. share/examples/silq/flipAll.slq
  171. share/examples/silq/for.slq
  172. share/examples/silq/forStep.slq
  173. share/examples/silq/forgetChain.slq
  174. share/examples/silq/forgetClassical.slq
  175. share/examples/silq/forgetCoerce.slq
  176. share/examples/silq/forgetCoerce2.slq
  177. share/examples/silq/forgetCoerce3.slq
  178. share/examples/silq/forgetCoerce4.slq
  179. share/examples/silq/forgetCoerce5.slq
  180. share/examples/silq/forgetCoerce6.slq
  181. share/examples/silq/forgetConst.slq
  182. share/examples/silq/forgetConstInvalid.slq
  183. share/examples/silq/forgetDup.slq
  184. share/examples/silq/forgetDup2.slq
  185. share/examples/silq/forgetIfThenElse.slq
  186. share/examples/silq/forgetIfThenElseInvalid.slq
  187. share/examples/silq/forgetIndexSlice.slq
  188. share/examples/silq/forgetNonReconstructableInvalid.slq
  189. share/examples/silq/forgetRedefine.slq
  190. share/examples/silq/forgetSpecialPatterns.slq
  191. share/examples/silq/forgetSynthesis.slq
  192. share/examples/silq/forgetSynthesis2.slq
  193. share/examples/silq/forgetSynthesis3.slq
  194. share/examples/silq/forgetWhile.slq
  195. share/examples/silq/fromW.slq
  196. share/examples/silq/functionBodyParseError.slq
  197. share/examples/silq/genericAddition.slq
  198. share/examples/silq/genericReverse.slq
  199. share/examples/silq/grover.slq
  200. share/examples/silq/grover2.slq
  201. share/examples/silq/groverDiffusion.slq
  202. share/examples/silq/hIndex.slq
  203. share/examples/silq/hidingIndexReplacement.slq
  204. share/examples/silq/ifError.slq
  205. share/examples/silq/ifFalseReassign.slq
  206. share/examples/silq/ifSuperposition.slq
  207. share/examples/silq/ifSuperposition2.slq
  208. share/examples/silq/ifSuperposition3.slq
  209. share/examples/silq/implicitDup.slq
  210. share/examples/silq/implicitDupLifted.slq
  211. share/examples/silq/indexOutOfBounds.slq
  212. share/examples/silq/indexOutOfBounds2.slq
  213. share/examples/silq/indexOutOfBounds3.slq
  214. share/examples/silq/indexOutOfBounds4.slq
  215. share/examples/silq/indexOutOfBounds5.slq
  216. share/examples/silq/indexOutOfBounds6.slq
  217. share/examples/silq/indexOutOfBounds7.slq
  218. share/examples/silq/indexOutOfBounds8.slq
  219. share/examples/silq/indexOutOfBounds9.slq
  220. share/examples/silq/indexReplaceIfFunctionCall.slq
  221. share/examples/silq/innerProduct.slq
  222. share/examples/silq/innerProduct2.slq
  223. share/examples/silq/intUintBoolConversion.slq
  224. share/examples/silq/integerPhase.slq
  225. share/examples/silq/invQ.slq
  226. share/examples/silq/invalidConstAnnotationError.slq
  227. share/examples/silq/invalidReturnTypeInference.slq
  228. share/examples/silq/ite.slq
  229. share/examples/silq/ite2.slq
  230. share/examples/silq/ite3.slq
  231. share/examples/silq/ite4.slq
  232. share/examples/silq/lambdaEq.slq
  233. share/examples/silq/lengthMismatch.slq
  234. share/examples/silq/liftedAssign.slq
  235. share/examples/silq/liftedConstArg.slq
  236. share/examples/silq/localVariableInFunctionReturnTypeError.slq
  237. share/examples/silq/majorityOracle.slq
  238. share/examples/silq/makeWPower2.slq
  239. share/examples/silq/map1.slq
  240. share/examples/silq/map2.slq
  241. share/examples/silq/matchCoerce.slq
  242. share/examples/silq/measureArray.slq
  243. share/examples/silq/measureHadamard.slq
  244. share/examples/silq/measureReversePhase.slq
  245. share/examples/silq/measureUint.slq
  246. share/examples/silq/measureVector.slq
  247. share/examples/silq/mfreeImplicitForget.slq
  248. share/examples/silq/mixed.slq
  249. share/examples/silq/mixed2.slq
  250. share/examples/silq/mixed3.slq
  251. share/examples/silq/mixed4.slq
  252. share/examples/silq/mixed5.slq
  253. share/examples/silq/multiForget.slq
  254. share/examples/silq/multiIndex1.slq
  255. share/examples/silq/multiIndex2.slq
  256. share/examples/silq/multiIndex3.slq
  257. share/examples/silq/multiReplace.slq
  258. share/examples/silq/multiResultIndexReplace.slq
  259. share/examples/silq/mustConsumeNonLifted.slq
  260. share/examples/silq/nestedClosure.slq
  261. share/examples/silq/nestedGlobal.slq
  262. share/examples/silq/nestedMeasure.slq
  263. share/examples/silq/nestedTupleMatch.slq
  264. share/examples/silq/newForLoopRangeSyntax.slq
  265. share/examples/silq/noImplicitForget.slq
  266. share/examples/silq/opAssignReverse.slq
  267. share/examples/silq/paramNotConsumedError.slq
  268. share/examples/silq/parameterizedSimulation.slq
  269. share/examples/silq/parseArrayOfVectorReturn.slq
  270. share/examples/silq/parseError.slq
  271. share/examples/silq/parseError2.slq
  272. share/examples/silq/partialEval.slq
  273. share/examples/silq/partialEval2.slq
  274. share/examples/silq/partialEval4.slq
  275. share/examples/silq/patternMatch.slq
  276. share/examples/silq/patternMatch10.slq
  277. share/examples/silq/patternMatch11.slq
  278. share/examples/silq/patternMatch12.slq
  279. share/examples/silq/patternMatch2.slq
  280. share/examples/silq/patternMatch3.slq
  281. share/examples/silq/patternMatch4.slq
  282. share/examples/silq/patternMatch5.slq
  283. share/examples/silq/patternMatch6.slq
  284. share/examples/silq/patternMatch7.slq
  285. share/examples/silq/patternMatch8.slq
  286. share/examples/silq/patternMatch9.slq
  287. share/examples/silq/phaseEstimation.slq
  288. share/examples/silq/phaseQ.slq
  289. share/examples/silq/piToRat.slq
  290. share/examples/silq/print.slq
  291. share/examples/silq/qft.slq
  292. share/examples/silq/qftPretty.slq
  293. share/examples/silq/quantumBitNotMinus.slq
  294. share/examples/silq/quantumControlClassicalAssignment.slq
  295. share/examples/silq/quantumIfClassicalUpdate.slq
  296. share/examples/silq/quid-updates.slq
  297. share/examples/silq/rationalPhase.slq
  298. share/examples/silq/reassignArrayLength.slq
  299. share/examples/silq/reassignConst.slq
  300. share/examples/silq/reassignDepVar.slq
  301. share/examples/silq/reassignDependentTypeParameter.slq
  302. share/examples/silq/recursion.slq
  303. share/examples/silq/recursiveNested.slq
  304. share/examples/silq/renatoCommunicationGameV1.slq
  305. share/examples/silq/repeat.slq
  306. share/examples/silq/repeat100.slq
  307. share/examples/silq/repeatUntil.slq
  308. share/examples/silq/replaceIndex.slq
  309. share/examples/silq/replaceIndexMulti0.slq
  310. share/examples/silq/replaceIndexMulti1.slq
  311. share/examples/silq/replaceIndexMulti2.slq
  312. share/examples/silq/replaceIndexMulti3.slq
  313. share/examples/silq/replaceIndexMulti4.slq
  314. share/examples/silq/replaceIndexMulti5.slq
  315. share/examples/silq/replaceIndexMulti6.slq
  316. share/examples/silq/replaceIndexMulti7.slq
  317. share/examples/silq/ret2.slq
  318. share/examples/silq/retClosure.slq
  319. share/examples/silq/retPi.slq
  320. share/examples/silq/reuseCapturedName.slq
  321. share/examples/silq/reverseArithmetic.slq
  322. share/examples/silq/reverseEarlyReturn.slq
  323. share/examples/silq/reverseFlatten.slq
  324. share/examples/silq/reverseH.slq
  325. share/examples/silq/reverseH0.slq
  326. share/examples/silq/reverseH2.slq
  327. share/examples/silq/reverseH3.slq
  328. share/examples/silq/reverseH4.slq
  329. share/examples/silq/reverseH5.slq
  330. share/examples/silq/reverseId.slq
  331. share/examples/silq/reverseId2.slq
  332. share/examples/silq/reverseId3.slq
  333. share/examples/silq/reverseImplicitForget.slq
  334. share/examples/silq/reverseLifted.slq
  335. share/examples/silq/reverseMeasureNonClassical.slq
  336. share/examples/silq/reversePair.slq
  337. share/examples/silq/reversePhase.slq
  338. share/examples/silq/reverseRotX.slq
  339. share/examples/silq/reverseRotY.slq
  340. share/examples/silq/reverseRotZ.slq
  341. share/examples/silq/reverseSquare1.slq
  342. share/examples/silq/reverseSquare2.slq
  343. share/examples/silq/reverseSquare3.slq
  344. share/examples/silq/reverseSubtype.slq
  345. share/examples/silq/reverseToW.slq
  346. share/examples/silq/reverseX.slq
  347. share/examples/silq/shadowCaptured.slq
  348. share/examples/silq/shadowing.slq
  349. share/examples/silq/shor.slq
  350. share/examples/silq/sinQ.slq
  351. share/examples/silq/singletonVectorHadamard.slq
  352. share/examples/silq/specialReverseTypeChecking.slq
  353. share/examples/silq/splitArrayConst.slq
  354. share/examples/silq/subtyping.slq
  355. share/examples/silq/sumArray.slq
  356. share/examples/silq/sumIota.slq
  357. share/examples/silq/swapArray.slq
  358. share/examples/silq/swapArray2.slq
  359. share/examples/silq/swapArray3.slq
  360. share/examples/silq/swapArray4.slq
  361. share/examples/silq/swapClosures.slq
  362. share/examples/silq/swapDiffArrays.slq
  363. share/examples/silq/swapEmptyIf.slq
  364. share/examples/silq/swapInt.slq
  365. share/examples/silq/swapVarWithComponent.slq
  366. share/examples/silq/swapVarWithComponent2.slq
  367. share/examples/silq/teleportation.slq
  368. share/examples/silq/test.slq
  369. share/examples/silq/test3.slq
  370. share/examples/silq/test3_2.slq
  371. share/examples/silq/test3_3.slq
  372. share/examples/silq/test3_4.slq
  373. share/examples/silq/test3_5.slq
  374. share/examples/silq/testBadTypeAnnotation.slq
  375. share/examples/silq/testForget.slq
  376. share/examples/silq/testGenericConvert1.slq
  377. share/examples/silq/testGenericConvert2.slq
  378. share/examples/silq/testHadamard.slq
  379. share/examples/silq/testLiftedClassical.slq
  380. share/examples/silq/testParamSameName.slq
  381. share/examples/silq/testPunning.slq
  382. share/examples/silq/testQFT.slq
  383. share/examples/silq/testQFT2.slq
  384. share/examples/silq/testQFT3.slq
  385. share/examples/silq/testQFT4.slq
  386. share/examples/silq/testQFT5.slq
  387. share/examples/silq/testQFT6.slq
  388. share/examples/silq/testQFTNorm.slq
  389. share/examples/silq/testQFTPretty.slq
  390. share/examples/silq/testQFTPretty2.slq
  391. share/examples/silq/testReverse.slq
  392. share/examples/silq/testReverse2.slq
  393. share/examples/silq/testReverse3.slq
  394. share/examples/silq/testReverse4.slq
  395. share/examples/silq/testUnsafeCaptureConst1.slq
  396. share/examples/silq/testUnsafeCaptureConst2.slq
  397. share/examples/silq/testUnsafeCaptureConst3.slq
  398. share/examples/silq/testUnsafeCaptureConst4.slq
  399. share/examples/silq/thirds.slq
  400. share/examples/silq/transpose.slq
  401. share/examples/silq/tupleArray.slq
  402. share/examples/silq/tupleConversion.slq
  403. share/examples/silq/typeAlias.slq
  404. share/examples/silq/typeConstBlockCapture.slq
  405. share/examples/silq/typeError.slq
  406. share/examples/silq/typeError2.slq
  407. share/examples/silq/typeFunCall.slq
  408. share/examples/silq/typeFunCallCoerce.slq
  409. share/examples/silq/uncomputeOnArrayAssignment.slq
  410. share/examples/silq/unicodeLoc.slq
  411. share/examples/silq/unrealizableError.slq
  412. share/examples/silq/vectorConv.slq
  413. share/examples/silq/vectorToArray.slq
  414. share/examples/silq/warning.slq
  415. share/examples/silq/while.slq
  416. share/examples/silq/while2.slq
  417. share/examples/silq/whileFunctionCall.slq
  418. share/examples/silq/wrapX.slq
  419. share/examples/silq/xwing.slq
  420. @owner
  421. @group
  422. @mode
Collapse this list.
Dependency lines:
  • silq>0:lang/silq
To install the port:
cd /usr/ports/lang/silq/ && make install clean
To add the package, run one of these commands:
  • pkg install lang/silq
  • pkg install silq
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: silq
Flavors: there is no flavor information for this port.
ONLY_FOR_ARCHS: amd64
distinfo:
Packages (timestamps in pop-ups are UTC):
silq
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd642021050320210503
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd642022022420211117
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd642022022420211117
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd6420220224-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ldmd2 : lang/ldc
  2. llvm10>0 : devel/llvm10
There are no ports dependent upon this port

Configuration Options:
Options name:
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/eth-sri/silq/tar.gz/afaf865?dummy=/
Collapse this list.

Number of commits found: 13

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 Apr 2022 18:33:46
 files touched by this commit commit hash:88760e0fa5d6a3200c386947dd0df658323c2682  20220224
Stefan Eßer (se) search for other commits by this committer
lang/silq: update to latest upstream version (afaf865)

This update adds unsafe type punning to the Silq language and adds
support for the execution of the test cases to the port.
20 Nov 2021 19:39:02
 files touched by this commit commit hash:4949e8270ef54e5ae32f1ab66585ca0b55fc6235  20211117
Stefan Eßer (se) search for other commits by this committer
lang/silq: Fix build failures due to llvm13 changes

The visibility rules of some variables have been changed in LLD13,
leading to link failures.

This is no issue if LDC is built with LLVM13, but the version
currently in the ports tree  is too old to be build with LLVM13.

As a work around and since the currently provided LDC is built with
LLVM10, make this port depend on LLVM10, too.

Update to the latest development source level on this occasion.
03 May 2021 07:18:17
 files touched by this commit commit hash:3f972f481c2beece9d0d958e4b4e0d861f4257a8  20210503
Stefan Eßer (se) search for other commits by this committer
lang/silq: Update to latest upstream version (c0029ff)

This update allows quantum operations to replace and access multiple
array components simultaneously.
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  20202003_1
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  20202003_1
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
05 Feb 2021 19:42:19
Original commit files touched by this commit Revision:564148  20202003_1
se search for other commits by this committer
Fix distinfo file
05 Feb 2021 16:43:14
Original commit files touched by this commit Revision:564132  20202003_1
se search for other commits by this committer
Upgrade to latest development version
22 Sep 2020 14:14:30
Original commit files touched by this commit Revision:549598  20200919_1
se search for other commits by this committer
Bump PORTREVSION for distinfo update
22 Sep 2020 14:13:09
Original commit files touched by this commit Revision:549597  20200919
se search for other commits by this committer
Fix distinfo

Due to the way the distfile is named, the file name changed when I
updated the PORTVERSION as the last step before the commit.

For this port, a make checksum is required as the final step, after
setting the revision ...

Reported by:	pkg-fallout
20 Sep 2020 13:20:13
Original commit files touched by this commit Revision:549110  20200919
linimon search for other commits by this committer
Temporarily change COMMENT line to attempt to unbreak web build:

  --- lang.html ---
  encoding error : input conversion failed due to input error, bytes 0xFC 0x72
0x69 0x63
  encoding error : input conversion failed due to input error, bytes 0xFC 0x72
0x69 0x63
  I/O error : encoder error
  lang.xml:507: parser error : Premature end of data in tag dd line 507
  FreeBSD.org/ports/head/lang/silq">silq-20200919</a></b></dt> <dd>Silq from ETH
Z

This needs to be investigated as a web build problem.
19 Sep 2020 10:06:19
Original commit files touched by this commit Revision:548953  20200919
se search for other commits by this committer
Update to latest github version

This update includes an example of Shor's algorithm and otheer new
examples.
21 Jun 2020 16:22:04
Original commit files touched by this commit Revision:539773  20200621
se search for other commits by this committer
Udpate to sources as of today

This update attempts to fix a build error on FreeBSD-11 that appears to be
caused by the D compiler creating object files that cannot be linked by the
linker it invokes by default (GNU ld on FreeBSD-11).

Approved by:	antoine (implicit)
18 Jun 2020 06:55:34
Original commit files touched by this commit Revision:539528  20200617
se search for other commits by this committer
Add new port for Silq

Silq is a high-level programming language for quantum computing with a
strong static type system.

The compiler is accompanied by a large collection of example files, some of
them implementing solutions to Microsoft's Q# Summer 2018 and Winter 2019
coding contest on Codeforces.

The port version is based on the date of the latest commit to the project
repository, aince there have been no regular releases, yet. (Only one tag
has been created to mark the state presented on a conference.)

Approved by:	antoine (mentor)

Number of commits found: 13