notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
Port details
silq Silq from ETH Zuerich
20230412_1 lang on this many watch lists=2 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 20230412_1Version 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: 2023-10-12 23:45:10
Commit Hash: 009f98a
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
Also Listed In: math science
License: BSL
WWW:
https://silq.ethz.ch/
Description:
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 project web-site provides detailed information on the language and its concepts and use.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (576 items)
Collapse this list.
  1. /usr/local/share/licenses/silq-20230412_1/catalog.mk
  2. /usr/local/share/licenses/silq-20230412_1/LICENSE
  3. /usr/local/share/licenses/silq-20230412_1/BSL
  4. bin/silq
  5. share/examples/silq/argMatchSubtyping1.slq
  6. share/examples/silq/argMatchSubtyping2.slq
  7. share/examples/silq/arrayAddAssign.slq
  8. share/examples/silq/arrayConcatReassign.slq
  9. share/examples/silq/arrayConsumeIndexReplace.slq
  10. share/examples/silq/arrayElements.slq
  11. share/examples/silq/arrayEntryDup.slq
  12. share/examples/silq/asinQ.slq
  13. share/examples/silq/asinQ2.slq
  14. share/examples/silq/assertTypeError.slq
  15. share/examples/silq/assignFromArray.slq
  16. share/examples/silq/assignQcontrol.slq
  17. share/examples/silq/assignQuantumArray.slq
  18. share/examples/silq/badControlUncomp.slq
  19. share/examples/silq/badForget.slq
  20. share/examples/silq/badForget2.slq
  21. share/examples/silq/badIndexReplacement.slq
  22. share/examples/silq/badIndexReplacement2.slq
  23. share/examples/silq/badProdType.slq
  24. share/examples/silq/badReverse.slq
  25. share/examples/silq/badSliceReplacement.slq
  26. share/examples/silq/badSliceReplacement2.slq
  27. share/examples/silq/badTypes.slq
  28. share/examples/silq/bernsteinVazirani.slq
  29. share/examples/silq/bernsteinVazirani2.slq
  30. share/examples/silq/boolVectorLength.slq
  31. share/examples/silq/bug.slq
  32. share/examples/silq/builtInToPrelude.slq
  33. share/examples/silq/captureConst.slq
  34. share/examples/silq/captureConsumes.slq
  35. share/examples/silq/captureIndexReplacement.slq
  36. share/examples/silq/captureIndexReplacement2.slq
  37. share/examples/silq/captureIndexReplacement3.slq
  38. share/examples/silq/captureIndexReplacement4.slq
  39. share/examples/silq/captureIndexReplacement5.slq
  40. share/examples/silq/captureIndexReplacement6.slq
  41. share/examples/silq/captureIndexReplacement7.slq
  42. share/examples/silq/captureShadow.slq
  43. share/examples/silq/captureTwice.slq
  44. share/examples/silq/classicalArrayAliasing.slq
  45. share/examples/silq/classicalAssign.slq
  46. share/examples/silq/classicalForget1.slq
  47. share/examples/silq/classicalForget2.slq
  48. share/examples/silq/classicalForget3.slq
  49. share/examples/silq/classicalForget3_1.slq
  50. share/examples/silq/classicalForget4.slq
  51. share/examples/silq/classicalForget5.slq
  52. share/examples/silq/classicalForgetBad.slq
  53. share/examples/silq/classicalHadamard.slq
  54. share/examples/silq/classicalQfree1.slq
  55. share/examples/silq/classicalQfree2.slq
  56. share/examples/silq/classicalQuantumSuperposition.slq
  57. share/examples/silq/closure.slq
  58. share/examples/silq/closureArrayTest.slq
  59. share/examples/silq/closureTest.slq
  60. share/examples/silq/closureTest2.slq
  61. share/examples/silq/closureTest3.slq
  62. share/examples/silq/closureTest4.slq
  63. share/examples/silq/closureTest5.slq
  64. share/examples/silq/closureTest6.slq
  65. share/examples/silq/closureTest7.slq
  66. share/examples/silq/closureTest8.slq
  67. share/examples/silq/cnot.slq
  68. share/examples/silq/cnot2.slq
  69. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/1.slq
  70. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/2.slq
  71. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/3.slq
  72. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/4.slq
  73. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/5.slq
  74. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/6.slq
  75. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/7.slq
  76. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2.slq
  77. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2_incorrect.slq
  78. share/examples/silq/codeforces/stats/top10submissions/winter19/B1/4.slq
  79. share/examples/silq/codeforces/stats/top10submissions/winter19/C2/8.slq
  80. share/examples/silq/codeforces/summer18/contest/a1.slq
  81. share/examples/silq/codeforces/summer18/contest/a2.slq
  82. share/examples/silq/codeforces/summer18/contest/a3.slq
  83. share/examples/silq/codeforces/summer18/contest/a4.slq
  84. share/examples/silq/codeforces/summer18/contest/b1.slq
  85. share/examples/silq/codeforces/summer18/contest/b2.slq
  86. share/examples/silq/codeforces/summer18/contest/b3.slq
  87. share/examples/silq/codeforces/summer18/contest/b4.slq
  88. share/examples/silq/codeforces/summer18/contest/c1.slq
  89. share/examples/silq/codeforces/summer18/contest/c2.slq
  90. share/examples/silq/codeforces/summer18/contest/d1.slq
  91. share/examples/silq/codeforces/summer18/contest/d2.slq
  92. share/examples/silq/codeforces/summer18/contest/d3.slq
  93. share/examples/silq/codeforces/summer18/contest/e1.slq
  94. share/examples/silq/codeforces/summer18/contest/e2.slq
  95. share/examples/silq/codeforces/summer18/warmup/a.slq
  96. share/examples/silq/codeforces/summer18/warmup/b.slq
  97. share/examples/silq/codeforces/summer18/warmup/c.slq
  98. share/examples/silq/codeforces/summer18/warmup/d.slq
  99. share/examples/silq/codeforces/summer18/warmup/e.slq
  100. share/examples/silq/codeforces/summer18/warmup/f.slq
  101. share/examples/silq/codeforces/summer18/warmup/f2.slq
  102. share/examples/silq/codeforces/summer18/warmup/g.slq
  103. share/examples/silq/codeforces/summer18/warmup/h.slq
  104. share/examples/silq/codeforces/summer18/warmup/i.slq
  105. share/examples/silq/codeforces/summer20/warmup/a1.slq
  106. share/examples/silq/codeforces/summer20/warmup/a2.slq
  107. share/examples/silq/codeforces/summer20/warmup/a3.slq
  108. share/examples/silq/codeforces/summer20/warmup/a4.slq
  109. share/examples/silq/codeforces/summer20/warmup/a5.slq
  110. share/examples/silq/codeforces/summer20/warmup/b1.slq
  111. share/examples/silq/codeforces/summer20/warmup/b2.slq
  112. share/examples/silq/codeforces/summer20/warmup/c.slq
  113. share/examples/silq/codeforces/winter19/contest/a1.slq
  114. share/examples/silq/codeforces/winter19/contest/a2.slq
  115. share/examples/silq/codeforces/winter19/contest/b1.slq
  116. share/examples/silq/codeforces/winter19/contest/b2.slq
  117. share/examples/silq/codeforces/winter19/contest/c1.slq
  118. share/examples/silq/codeforces/winter19/contest/c2.slq
  119. share/examples/silq/codeforces/winter19/contest/c3.slq
  120. share/examples/silq/codeforces/winter19/contest/c3_2.slq
  121. share/examples/silq/codeforces/winter19/contest/c3_3.slq
  122. share/examples/silq/codeforces/winter19/contest/d1.slq
  123. share/examples/silq/codeforces/winter19/contest/d2.slq
  124. share/examples/silq/codeforces/winter19/contest/d2_bad.slq
  125. share/examples/silq/codeforces/winter19/contest/d2_todo.slq
  126. share/examples/silq/codeforces/winter19/contest/d3.slq
  127. share/examples/silq/codeforces/winter19/contest/d4.slq
  128. share/examples/silq/codeforces/winter19/contest/d5.slq
  129. share/examples/silq/codeforces/winter19/contest/d6.slq
  130. share/examples/silq/codeforces/winter19/warmup/g1.slq
  131. share/examples/silq/codeforces/winter19/warmup/g2.slq
  132. share/examples/silq/codeforces/winter19/warmup/g3.slq
  133. share/examples/silq/codeforces/winter19/warmup/u1.slq
  134. share/examples/silq/codeforces/winter19/warmup/u2.slq
  135. share/examples/silq/codeforces/winter19/warmup/u3.slq
  136. share/examples/silq/coerceAssign.slq
  137. share/examples/silq/coerceBoolToInt.slq
  138. share/examples/silq/coerceFunction.slq
  139. share/examples/silq/coerceInt.slq
  140. share/examples/silq/coerceIntLengthMismatch.slq
  141. share/examples/silq/coerceIntToNat.slq
  142. share/examples/silq/coerceIntToVecLengthMismatch.slq
  143. share/examples/silq/coerceNegativeNatural.slq
  144. share/examples/silq/coerceReal.slq
  145. share/examples/silq/coerceTupleLengthMismatch.slq
  146. share/examples/silq/coerceVecToIntLengthMismatch.slq
  147. share/examples/silq/coerceVector.slq
  148. share/examples/silq/coerceVectorLengthMismatch.slq
  149. share/examples/silq/communicationGame.slq
  150. share/examples/silq/concatJoin.slq
  151. share/examples/silq/condTwoAssertFalse.slq
  152. share/examples/silq/conditionalMeasurement.slq
  153. share/examples/silq/conditionalMeasurement2.slq
  154. share/examples/silq/constBlockAssign.slq
  155. share/examples/silq/constBlockCapture.slq
  156. share/examples/silq/consumeAssign.slq
  157. share/examples/silq/consumeDepTypeVar.slq
  158. share/examples/silq/consumingSquare.slq
  159. share/examples/silq/consumingVector.slq
  160. share/examples/silq/conv.slq
  161. share/examples/silq/convertForget.slq
  162. share/examples/silq/convertIntToZ.slq
  163. share/examples/silq/convertMatch.slq
  164. share/examples/silq/convertMatch2.slq
  165. share/examples/silq/convertNatToInt.slq
  166. share/examples/silq/convertTuple.slq
  167. share/examples/silq/convertVectors.slq
  168. share/examples/silq/depCond1.slq
  169. share/examples/silq/depCond2.slq
  170. share/examples/silq/depCond3.slq
  171. share/examples/silq/depCond4.slq
  172. share/examples/silq/depConsume1.slq
  173. share/examples/silq/depConsume2.slq
  174. share/examples/silq/depConsume3.slq
  175. share/examples/silq/depIndexReplace.slq
  176. share/examples/silq/depIndexReplace2.slq
  177. share/examples/silq/depTest.slq
  178. share/examples/silq/depTest2.slq
  179. share/examples/silq/depTest3.slq
  180. share/examples/silq/depTest4.slq
  181. share/examples/silq/depTest5_1.slq
  182. share/examples/silq/depTest5_2.slq
  183. share/examples/silq/depTest5_3.slq
  184. share/examples/silq/depTest5_4.slq
  185. share/examples/silq/depTest6.slq
  186. share/examples/silq/depType.slq
  187. share/examples/silq/depType2.slq
  188. share/examples/silq/depType2_1.slq
  189. share/examples/silq/depType3.slq
  190. share/examples/silq/depType4.slq
  191. share/examples/silq/dependencyLoop1.slq
  192. share/examples/silq/dependencyLoop2.slq
  193. share/examples/silq/detectZero.slq
  194. share/examples/silq/distinguish0H0.slq
  195. share/examples/silq/distinguish0H0_2.slq
  196. share/examples/silq/distinguishGHZandW.slq
  197. share/examples/silq/distinguishStates.slq
  198. share/examples/silq/divbyzero.slq
  199. share/examples/silq/divbyzero2.slq
  200. share/examples/silq/divmod.slq
  201. share/examples/silq/dlog.slq
  202. share/examples/silq/draper.slq
  203. share/examples/silq/draperFunny.slq
  204. share/examples/silq/draperPretty.slq
  205. share/examples/silq/dump.slq
  206. share/examples/silq/dump2.slq
  207. share/examples/silq/dumpExit.slq
  208. share/examples/silq/dumpExit2.slq
  209. share/examples/silq/dupClosure.slq
  210. share/examples/silq/dupClosure2.slq
  211. share/examples/silq/dupConvertForget.slq
  212. share/examples/silq/earlyReturn.slq
  213. share/examples/silq/earlyReturn2.slq
  214. share/examples/silq/earlyReturn3.slq
  215. share/examples/silq/earlyReturn4.slq
  216. share/examples/silq/earlyReturn5.slq
  217. share/examples/silq/earlyReturn6.slq
  218. share/examples/silq/earlyReturn7.slq
  219. share/examples/silq/earlyReturn8.slq
  220. share/examples/silq/earlyReturnQuantumIf.slq
  221. share/examples/silq/extendTruncate.slq
  222. share/examples/silq/extendTruncateError.slq
  223. share/examples/silq/fib.slq
  224. share/examples/silq/fib2.slq
  225. share/examples/silq/firstClassTypeConstructor1.slq
  226. share/examples/silq/firstClassTypeConstructor10.slq
  227. share/examples/silq/firstClassTypeConstructor2.slq
  228. share/examples/silq/firstClassTypeConstructor3.slq
  229. share/examples/silq/firstClassTypeConstructor4.slq
  230. share/examples/silq/firstClassTypeConstructor5.slq
  231. share/examples/silq/firstClassTypeConstructor6.slq
  232. share/examples/silq/firstClassTypeConstructor7.slq
  233. share/examples/silq/firstClassTypeConstructor8.slq
  234. share/examples/silq/firstClassTypeConstructor9.slq
  235. share/examples/silq/flipAll.slq
  236. share/examples/silq/for.slq
  237. share/examples/silq/forStep.slq
  238. share/examples/silq/forgetChain.slq
  239. share/examples/silq/forgetClassical.slq
  240. share/examples/silq/forgetCoerce.slq
  241. share/examples/silq/forgetCoerce2.slq
  242. share/examples/silq/forgetCoerce3.slq
  243. share/examples/silq/forgetCoerce4.slq
  244. share/examples/silq/forgetCoerce5.slq
  245. share/examples/silq/forgetCoerce6.slq
  246. share/examples/silq/forgetConst.slq
  247. share/examples/silq/forgetConstInvalid.slq
  248. share/examples/silq/forgetDup.slq
  249. share/examples/silq/forgetDup2.slq
  250. share/examples/silq/forgetIfThenElse.slq
  251. share/examples/silq/forgetIfThenElseInvalid.slq
  252. share/examples/silq/forgetIndexSlice.slq
  253. share/examples/silq/forgetNonReconstructableInvalid.slq
  254. share/examples/silq/forgetRedefine.slq
  255. share/examples/silq/forgetSpecialPatterns.slq
  256. share/examples/silq/forgetSynthesis.slq
  257. share/examples/silq/forgetSynthesis2.slq
  258. share/examples/silq/forgetSynthesis3.slq
  259. share/examples/silq/forgetWhile.slq
  260. share/examples/silq/fromW.slq
  261. share/examples/silq/functionBodyParseError.slq
  262. share/examples/silq/genericAddition.slq
  263. share/examples/silq/genericReverse.slq
  264. share/examples/silq/genericSubtyping1.slq
  265. share/examples/silq/grover.slq
  266. share/examples/silq/grover2.slq
  267. share/examples/silq/groverDiffusion.slq
  268. share/examples/silq/hIndex.slq
  269. share/examples/silq/hideAssign.slq
  270. share/examples/silq/hidingIndexReplacement.slq
  271. share/examples/silq/ifError.slq
  272. share/examples/silq/ifFalseReassign.slq
  273. share/examples/silq/ifSuperposition.slq
  274. share/examples/silq/ifSuperposition2.slq
  275. share/examples/silq/ifSuperposition3.slq
  276. share/examples/silq/implicitDup.slq
  277. share/examples/silq/implicitDupLifted.slq
  278. share/examples/silq/inOwnType.slq
  279. share/examples/silq/incompatibleFunDef.slq
  280. share/examples/silq/indexAssignDep.slq
  281. share/examples/silq/indexOutOfBounds.slq
  282. share/examples/silq/indexOutOfBounds10.slq
  283. share/examples/silq/indexOutOfBounds11.slq
  284. share/examples/silq/indexOutOfBounds12.slq
  285. share/examples/silq/indexOutOfBounds13.slq
  286. share/examples/silq/indexOutOfBounds14.slq
  287. share/examples/silq/indexOutOfBounds2.slq
  288. share/examples/silq/indexOutOfBounds3.slq
  289. share/examples/silq/indexOutOfBounds4.slq
  290. share/examples/silq/indexOutOfBounds5.slq
  291. share/examples/silq/indexOutOfBounds6.slq
  292. share/examples/silq/indexOutOfBounds7.slq
  293. share/examples/silq/indexOutOfBounds8.slq
  294. share/examples/silq/indexOutOfBounds9.slq
  295. share/examples/silq/indexReplace1.slq
  296. share/examples/silq/indexReplace2.slq
  297. share/examples/silq/indexReplace3.slq
  298. share/examples/silq/indexReplace4.slq
  299. share/examples/silq/indexReplace5.slq
  300. share/examples/silq/indexReplace6.slq
  301. share/examples/silq/indexReplaceAlias1.slq
  302. share/examples/silq/indexReplaceConstAccess.slq
  303. share/examples/silq/indexReplaceConsume.slq
  304. share/examples/silq/indexReplaceError2.slq
  305. share/examples/silq/indexReplaceErrorRhs.slq
  306. share/examples/silq/indexReplaceId.slq
  307. share/examples/silq/indexReplaceIfFunctionCall.slq
  308. share/examples/silq/indexRewriteContext.slq
  309. share/examples/silq/innerProduct.slq
  310. share/examples/silq/innerProduct2.slq
  311. share/examples/silq/intUintBoolConversion.slq
  312. share/examples/silq/integerPhase.slq
  313. share/examples/silq/invQ.slq
  314. share/examples/silq/invalidConstAnnotationError.slq
  315. share/examples/silq/invalidReturnTypeInference.slq
  316. share/examples/silq/ite.slq
  317. share/examples/silq/ite2.slq
  318. share/examples/silq/ite3.slq
  319. share/examples/silq/ite4.slq
  320. share/examples/silq/ite5.slq
  321. share/examples/silq/ite6.slq
  322. share/examples/silq/iteLhs.slq
  323. share/examples/silq/iteLhs2.slq
  324. share/examples/silq/iverson.slq
  325. share/examples/silq/lambdaEq.slq
  326. share/examples/silq/lambdaLhs.slq
  327. share/examples/silq/lengthConstFold.slq
  328. share/examples/silq/lengthMismatch.slq
  329. share/examples/silq/liftedAssign.slq
  330. share/examples/silq/liftedConstArg.slq
  331. share/examples/silq/localVariableInFunctionReturnTypeError.slq
  332. share/examples/silq/logicShortCircuit.slq
  333. share/examples/silq/loopFixedPoint1.slq
  334. share/examples/silq/loopFixedPoint2.slq
  335. share/examples/silq/loopFixedPoint3.slq
  336. share/examples/silq/loopFixedPoint4.slq
  337. share/examples/silq/loopFixedPoint5.slq
  338. share/examples/silq/loopFixedPoint6.slq
  339. share/examples/silq/majorityOracle.slq
  340. share/examples/silq/makeWPower2.slq
  341. share/examples/silq/map1.slq
  342. share/examples/silq/map2.slq
  343. share/examples/silq/map3.slq
  344. share/examples/silq/mapH.slq
  345. share/examples/silq/mapH2.slq
  346. share/examples/silq/mapH3.slq
  347. share/examples/silq/matchCoerce.slq
  348. share/examples/silq/measureArray.slq
  349. share/examples/silq/measureFun.slq
  350. share/examples/silq/measureFun2.slq
  351. share/examples/silq/measureHadamard.slq
  352. share/examples/silq/measureReversePhase.slq
  353. share/examples/silq/measureUint.slq
  354. share/examples/silq/measureVector.slq
  355. share/examples/silq/mergeImplicitForget.slq
  356. share/examples/silq/mfreeImplicitForget.slq
  357. share/examples/silq/mixed.slq
  358. share/examples/silq/mixed2.slq
  359. share/examples/silq/mixed3.slq
  360. share/examples/silq/mixed4.slq
  361. share/examples/silq/mixed5.slq
  362. share/examples/silq/multiDimReplace.slq
  363. share/examples/silq/multiForget.slq
  364. share/examples/silq/multiIndex1.slq
  365. share/examples/silq/multiIndex2.slq
  366. share/examples/silq/multiIndex3.slq
  367. share/examples/silq/multiReplace.slq
  368. share/examples/silq/multiResultIndexReplace.slq
  369. share/examples/silq/mustConsumeNonLifted.slq
  370. share/examples/silq/nestInf.slq
  371. share/examples/silq/nestedCapture.slq
  372. share/examples/silq/nestedClosure.slq
  373. share/examples/silq/nestedGlobal.slq
  374. share/examples/silq/nestedIndexReplace.slq
  375. share/examples/silq/nestedMeasure.slq
  376. share/examples/silq/nestedReplace.slq
  377. share/examples/silq/nestedTupleMatch.slq
  378. share/examples/silq/newForLoopRangeSyntax.slq
  379. share/examples/silq/noImplicitForget.slq
  380. share/examples/silq/noLengthAssign.slq
  381. share/examples/silq/noQnumericJoin.slq
  382. share/examples/silq/opAssignReverse.slq
  383. share/examples/silq/paramNotConsumedError.slq
  384. share/examples/silq/parameterizedSimulation.slq
  385. share/examples/silq/parseArrayOfVectorReturn.slq
  386. share/examples/silq/parseError.slq
  387. share/examples/silq/parseError2.slq
  388. share/examples/silq/partialEval.slq
  389. share/examples/silq/partialEval2.slq
  390. share/examples/silq/partialEval4.slq
  391. share/examples/silq/patternMatch.slq
  392. share/examples/silq/patternMatch10.slq
  393. share/examples/silq/patternMatch11.slq
  394. share/examples/silq/patternMatch12.slq
  395. share/examples/silq/patternMatch2.slq
  396. share/examples/silq/patternMatch3.slq
  397. share/examples/silq/patternMatch4.slq
  398. share/examples/silq/patternMatch5.slq
  399. share/examples/silq/patternMatch6.slq
  400. share/examples/silq/patternMatch7.slq
  401. share/examples/silq/patternMatch8.slq
  402. share/examples/silq/patternMatch9.slq
  403. share/examples/silq/phaseEstimation.slq
  404. share/examples/silq/phaseQ.slq
  405. share/examples/silq/piToRat.slq
  406. share/examples/silq/print.slq
  407. share/examples/silq/qft.slq
  408. share/examples/silq/qftPretty.slq
  409. share/examples/silq/qnumeric1.slq
  410. share/examples/silq/qnumericError1.slq
  411. share/examples/silq/qnumericError2.slq
  412. share/examples/silq/qnumericError3.slq
  413. share/examples/silq/quantumBitNotMinus.slq
  414. share/examples/silq/quantumControlClassicalAssignment.slq
  415. share/examples/silq/quantumIfClassicalUpdate1.slq
  416. share/examples/silq/quantumIfClassicalUpdate2.slq
  417. share/examples/silq/quantumIfClassicalUpdate3.slq
  418. share/examples/silq/quantumReplace.slq
  419. share/examples/silq/quid-updates.slq
  420. share/examples/silq/rationalPhase.slq
  421. share/examples/silq/reassignArrayLength.slq
  422. share/examples/silq/reassignConst.slq
  423. share/examples/silq/reassignDepVar.slq
  424. share/examples/silq/reassignDependentTypeParameter.slq
  425. share/examples/silq/recursion.slq
  426. share/examples/silq/recursiveNested.slq
  427. share/examples/silq/renatoCommunicationGameV1.slq
  428. share/examples/silq/repeat.slq
  429. share/examples/silq/repeat100.slq
  430. share/examples/silq/repeatUntil.slq
  431. share/examples/silq/replaceClassical.slq
  432. share/examples/silq/replaceIndex.slq
  433. share/examples/silq/replaceIndexMulti0.slq
  434. share/examples/silq/replaceIndexMulti1.slq
  435. share/examples/silq/replaceIndexMulti2.slq
  436. share/examples/silq/replaceIndexMulti3.slq
  437. share/examples/silq/replaceIndexMulti4.slq
  438. share/examples/silq/replaceIndexMulti5.slq
  439. share/examples/silq/replaceIndexMulti6.slq
  440. share/examples/silq/replaceIndexMulti7.slq
  441. share/examples/silq/replaceIndexMulti8.slq
  442. share/examples/silq/ret2.slq
  443. share/examples/silq/retClosure.slq
  444. share/examples/silq/retPi.slq
  445. share/examples/silq/reuseCapturedName.slq
  446. share/examples/silq/reverseArithmetic.slq
  447. share/examples/silq/reverseDependent.slq
  448. share/examples/silq/reverseEarlyReturn.slq
  449. share/examples/silq/reverseFlatten.slq
  450. share/examples/silq/reverseGeneric.slq
  451. share/examples/silq/reverseH.slq
  452. share/examples/silq/reverseH0.slq
  453. share/examples/silq/reverseH2.slq
  454. share/examples/silq/reverseH3.slq
  455. share/examples/silq/reverseH4.slq
  456. share/examples/silq/reverseH5.slq
  457. share/examples/silq/reverseId.slq
  458. share/examples/silq/reverseId2.slq
  459. share/examples/silq/reverseId3.slq
  460. share/examples/silq/reverseImplicitForget.slq
  461. share/examples/silq/reverseLifted.slq
  462. share/examples/silq/reverseMeasureNonClassical.slq
  463. share/examples/silq/reversePair.slq
  464. share/examples/silq/reversePhase.slq
  465. share/examples/silq/reverseRotX.slq
  466. share/examples/silq/reverseRotY.slq
  467. share/examples/silq/reverseRotZ.slq
  468. share/examples/silq/reverseSingletonArg.slq
  469. share/examples/silq/reverseSquare.slq
  470. share/examples/silq/reverseSquare1.slq
  471. share/examples/silq/reverseSquare2.slq
  472. share/examples/silq/reverseSquare3.slq
  473. share/examples/silq/reverseSquare4.slq
  474. share/examples/silq/reverseSquare5.slq
  475. share/examples/silq/reverseSquare6.slq
  476. share/examples/silq/reverseSquare7.slq
  477. share/examples/silq/reverseSubtype.slq
  478. share/examples/silq/reverseToW.slq
  479. share/examples/silq/reverseX.slq
  480. share/examples/silq/shadowCaptured.slq
  481. share/examples/silq/shadowing.slq
  482. share/examples/silq/shor.slq
  483. share/examples/silq/sinQ.slq
  484. share/examples/silq/singletonVectorHadamard.slq
  485. share/examples/silq/sliceReplacement.slq
  486. share/examples/silq/specialReverseTypeChecking.slq
  487. share/examples/silq/splitArrayConst.slq
  488. share/examples/silq/squareFunctionLhs.slq
  489. share/examples/silq/squareFunctionLhsConst.slq
  490. share/examples/silq/squareFunctionLhsConst2.slq
  491. share/examples/silq/squareFunctionLhsConst3.slq
  492. share/examples/silq/squareFunctionReplace.slq
  493. share/examples/silq/strongUpdates1.slq
  494. share/examples/silq/strongUpdates2.slq
  495. share/examples/silq/subAssign1.slq
  496. share/examples/silq/subAssign2.slq
  497. share/examples/silq/subtyping.slq
  498. share/examples/silq/sumArray.slq
  499. share/examples/silq/sumIota.slq
  500. share/examples/silq/swapArray.slq
  501. share/examples/silq/swapArray2.slq
  502. share/examples/silq/swapArray3.slq
  503. share/examples/silq/swapArray4.slq
  504. share/examples/silq/swapArray5.slq
  505. share/examples/silq/swapClosures.slq
  506. share/examples/silq/swapDiffArrays.slq
  507. share/examples/silq/swapEmptyIf.slq
  508. share/examples/silq/swapInt.slq
  509. share/examples/silq/swapNoSwap.slq
  510. share/examples/silq/swapVarWithComponent.slq
  511. share/examples/silq/swapVarWithComponent2.slq
  512. share/examples/silq/teleportation.slq
  513. share/examples/silq/test.slq
  514. share/examples/silq/test3.slq
  515. share/examples/silq/test3_2.slq
  516. share/examples/silq/test3_3.slq
  517. share/examples/silq/test3_4.slq
  518. share/examples/silq/test3_5.slq
  519. share/examples/silq/testBadTypeAnnotation.slq
  520. share/examples/silq/testForget.slq
  521. share/examples/silq/testGenericConvert1.slq
  522. share/examples/silq/testGenericConvert2.slq
  523. share/examples/silq/testHadamard.slq
  524. share/examples/silq/testLiftedClassical.slq
  525. share/examples/silq/testParamSameName.slq
  526. share/examples/silq/testPunning.slq
  527. share/examples/silq/testQFT.slq
  528. share/examples/silq/testQFT2.slq
  529. share/examples/silq/testQFT3.slq
  530. share/examples/silq/testQFT4.slq
  531. share/examples/silq/testQFT5.slq
  532. share/examples/silq/testQFT6.slq
  533. share/examples/silq/testQFTNorm.slq
  534. share/examples/silq/testQFTPretty.slq
  535. share/examples/silq/testQFTPretty2.slq
  536. share/examples/silq/testReverse.slq
  537. share/examples/silq/testReverse2.slq
  538. share/examples/silq/testReverse3.slq
  539. share/examples/silq/testReverse4.slq
  540. share/examples/silq/testUnsafeCaptureConst1.slq
  541. share/examples/silq/testUnsafeCaptureConst2.slq
  542. share/examples/silq/testUnsafeCaptureConst3.slq
  543. share/examples/silq/testUnsafeCaptureConst4.slq
  544. share/examples/silq/tf.slq
  545. share/examples/silq/tf_orig.slq
  546. share/examples/silq/thirds.slq
  547. share/examples/silq/transpose.slq
  548. share/examples/silq/tupleArray.slq
  549. share/examples/silq/tupleComp.slq
  550. share/examples/silq/tupleConversion.slq
  551. share/examples/silq/typeAlias.slq
  552. share/examples/silq/typeConstBlockCapture.slq
  553. share/examples/silq/typeConstBlockForget.slq
  554. share/examples/silq/typeError.slq
  555. share/examples/silq/typeError2.slq
  556. share/examples/silq/typeFunCall.slq
  557. share/examples/silq/typeFunCallCoerce.slq
  558. share/examples/silq/uncomputeOnArrayAssignment.slq
  559. share/examples/silq/undefLhs.slq
  560. share/examples/silq/unicodeLoc.slq
  561. share/examples/silq/unitParamClosureArray.slq
  562. share/examples/silq/unitRedefinition.slq
  563. share/examples/silq/unrealizableError.slq
  564. share/examples/silq/vectorConv.slq
  565. share/examples/silq/vectorLength.slq
  566. share/examples/silq/vectorReverse.slq
  567. share/examples/silq/vectorToArray.slq
  568. share/examples/silq/warning.slq
  569. share/examples/silq/while.slq
  570. share/examples/silq/while2.slq
  571. share/examples/silq/whileFunctionCall.slq
  572. share/examples/silq/wrapX.slq
  573. share/examples/silq/xwing.slq
  574. @owner
  575. @group
  576. @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:
TIMESTAMP = 1681284932 SHA256 (silq/eth-sri-silq-20230412-e9750cb_GH0.tar.gz) = f6e201f4fb1e639f7d8df9e018dbf79bda6e8a55f431801385abf6070f37e01e SIZE (silq/eth-sri-silq-20230412-e9750cb_GH0.tar.gz) = 187476

Expand this list (4 items)

Collapse this list.

SHA256 (silq/tgehr-ast-072796e_GH0.tar.gz) = ea5a472d6b2f7defbce624879abc9d5d87f3b3fb3ce5634172567e29b132567a SIZE (silq/tgehr-ast-072796e_GH0.tar.gz) = 87630 SHA256 (silq/tgehr-util-a4532a4_GH0.tar.gz) = 667a992d464e88a1aec85efc5718bf309786b62f2e120d02f3f5f20088e1d1ad SIZE (silq/tgehr-util-a4532a4_GH0.tar.gz) = 9975

Collapse this list.


No package information for this port in our database
Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link: pkg-fallout
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ldmd2 : lang/ldc
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for silq-20230412_1: EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings
Options name:
lang_silq
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/e9750cb?dummy=/
Collapse this list.

Number of commits found: 20

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
20230412_1
12 Oct 2023 23:45:10
commit hash: 009f98a41c15dcc346327628f21d81edb67cb839commit hash: 009f98a41c15dcc346327628f21d81edb67cb839commit hash: 009f98a41c15dcc346327628f21d81edb67cb839commit hash: 009f98a41c15dcc346327628f21d81edb67cb839 files touched by this commit
Brooks Davis (brooks) search for other commits by this committer
lang/silq: remove llvm10 dependency

This was added in 4949e8270ef54e5ae32f1ab66585ca0b55fc6235 to work
around an issue when linking with LLVM 13's lld when LDC was not also
using LLVM 13.  LDC now uses LLVM 15 and and silq builds fine without
this patch.

PR:		273977
Approved by:	maintainer timeout
20230412_1
23 Apr 2023 09:09:58
commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b files touched by this commit
Gerald Pfeifer (gerald) search for other commits by this committer
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
20230412
14 Apr 2023 19:09:52
commit hash: c1c94249f573aef6c4dd3aa3b88ddca51e364827commit hash: c1c94249f573aef6c4dd3aa3b88ddca51e364827commit hash: c1c94249f573aef6c4dd3aa3b88ddca51e364827commit hash: c1c94249f573aef6c4dd3aa3b88ddca51e364827 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
lang/silq: update to latest development version
20220224_2
11 Apr 2023 20:35:21
commit hash: 7554a732e269b4a6dd988f5e42f181c630a59bc1commit hash: 7554a732e269b4a6dd988f5e42f181c630a59bc1commit hash: 7554a732e269b4a6dd988f5e42f181c630a59bc1commit hash: 7554a732e269b4a6dd988f5e42f181c630a59bc1 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
D ports: Bump after lang/ldc update.

PR:		270461
20220224_1
15 Nov 2022 16:17:05
commit hash: d02a771fad9f8f1ae3c6cf9453c8aa0a7bcc7b25commit hash: d02a771fad9f8f1ae3c6cf9453c8aa0a7bcc7b25commit hash: d02a771fad9f8f1ae3c6cf9453c8aa0a7bcc7b25commit hash: d02a771fad9f8f1ae3c6cf9453c8aa0a7bcc7b25 files touched by this commit
Jose Alonso Cardenas Marquez (acm) search for other commits by this committer
lang/ldc: Bump PORTREVISION of d based ports because lang/ldc port has changed
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
20220224
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20220224
19 Apr 2022 18:33:46
commit hash: 88760e0fa5d6a3200c386947dd0df658323c2682commit hash: 88760e0fa5d6a3200c386947dd0df658323c2682commit hash: 88760e0fa5d6a3200c386947dd0df658323c2682commit hash: 88760e0fa5d6a3200c386947dd0df658323c2682 files touched by this commit
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.
20211117
20 Nov 2021 19:39:02
commit hash: 4949e8270ef54e5ae32f1ab66585ca0b55fc6235commit hash: 4949e8270ef54e5ae32f1ab66585ca0b55fc6235commit hash: 4949e8270ef54e5ae32f1ab66585ca0b55fc6235commit hash: 4949e8270ef54e5ae32f1ab66585ca0b55fc6235 files touched by this commit
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.
20210503
03 May 2021 07:18:17
commit hash: 3f972f481c2beece9d0d958e4b4e0d861f4257a8commit hash: 3f972f481c2beece9d0d958e4b4e0d861f4257a8commit hash: 3f972f481c2beece9d0d958e4b4e0d861f4257a8commit hash: 3f972f481c2beece9d0d958e4b4e0d861f4257a8 files touched by this commit
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.
20202003_1
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
20202003_1
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
20202003_1
05 Feb 2021 19:42:19
Revision:564148Original commit files touched by this commit
se search for other commits by this committer
Fix distinfo file
20202003_1
05 Feb 2021 16:43:14
Revision:564132Original commit files touched by this commit
se search for other commits by this committer
Upgrade to latest development version
20200919_1
22 Sep 2020 14:14:30
Revision:549598Original commit files touched by this commit
se search for other commits by this committer
Bump PORTREVSION for distinfo update
20200919
22 Sep 2020 14:13:09
Revision:549597Original commit files touched by this commit
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
20200919
20 Sep 2020 13:20:13
Revision:549110Original commit files touched by this commit
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.
20200919
19 Sep 2020 10:06:19
Revision:548953Original commit files touched by this commit
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.
20200621
21 Jun 2020 16:22:04
Revision:539773Original commit files touched by this commit
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)
20200617
18 Jun 2020 06:55:34
Revision:539528Original commit files touched by this commit
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: 20