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

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

Port details
silq Silq from ETH Zuerich
20250624_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 20250624Version 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: 2025-07-03 07:34:28
Commit Hash: 3e4ce72
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-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 (1195 items)
Collapse this list.
  1. /usr/local/share/licenses/silq-20250624_1/catalog.mk
  2. /usr/local/share/licenses/silq-20250624_1/LICENSE
  3. /usr/local/share/licenses/silq-20250624_1/BSL
  4. bin/silq
  5. share/examples/silq/abort1.slq
  6. share/examples/silq/abort2.slq
  7. share/examples/silq/adjustConstLookups1.slq
  8. share/examples/silq/adjustConstLookups2.slq
  9. share/examples/silq/adjustConstLookups3.slq
  10. share/examples/silq/adjustConstLookups4.slq
  11. share/examples/silq/adjustConstLookups5.slq
  12. share/examples/silq/argMatchSubtyping1.slq
  13. share/examples/silq/argMatchSubtyping2.slq
  14. share/examples/silq/arrayAddAssign.slq
  15. share/examples/silq/arrayConcatReassign.slq
  16. share/examples/silq/arrayConsumeIndexReplace.slq
  17. share/examples/silq/arrayElements.slq
  18. share/examples/silq/arrayEntryDup.slq
  19. share/examples/silq/arrayIndexConcatAssign.slq
  20. share/examples/silq/arraySlice1.slq
  21. share/examples/silq/asciiUnit.slq
  22. share/examples/silq/asciiZ.slq
  23. share/examples/silq/asinQ.slq
  24. share/examples/silq/asinQ2.slq
  25. share/examples/silq/assertExp.slq
  26. share/examples/silq/assertTypeError.slq
  27. share/examples/silq/assign1.slq
  28. share/examples/silq/assign2.slq
  29. share/examples/silq/assignAfterReturn1.slq
  30. share/examples/silq/assignAfterReturn2.slq
  31. share/examples/silq/assignExp1.slq
  32. share/examples/silq/assignExp2.slq
  33. share/examples/silq/assignExp3.slq
  34. share/examples/silq/assignExp4.slq
  35. share/examples/silq/assignExp5.slq
  36. share/examples/silq/assignExp6.slq
  37. share/examples/silq/assignExp7.slq
  38. share/examples/silq/assignFromArray.slq
  39. share/examples/silq/assignFromQuantum.slq
  40. share/examples/silq/assignQcontrol.slq
  41. share/examples/silq/assignQuantumArray.slq
  42. share/examples/silq/attributeTrace.slq
  43. share/examples/silq/badBoolUpdateAssign.slq
  44. share/examples/silq/badCallLhs.slq
  45. share/examples/silq/badCoerce.slq
  46. share/examples/silq/badControlUncomp.slq
  47. share/examples/silq/badForget.slq
  48. share/examples/silq/badForget2.slq
  49. share/examples/silq/badIndexReplacement.slq
  50. share/examples/silq/badIndexReplacement2.slq
  51. share/examples/silq/badLhs1.slq
  52. share/examples/silq/badLhs2.slq
  53. share/examples/silq/badLhs3.slq
  54. share/examples/silq/badLhs4.slq
  55. share/examples/silq/badLhs5.slq
  56. share/examples/silq/badLhs6.slq
  57. share/examples/silq/badMeasurement1.slq
  58. share/examples/silq/badMeasurement2.slq
  59. share/examples/silq/badOpAssign.slq
  60. share/examples/silq/badProdType.slq
  61. share/examples/silq/badQuantumIndex1.slq
  62. share/examples/silq/badReverse.slq
  63. share/examples/silq/badSliceReplacement.slq
  64. share/examples/silq/badSliceReplacement2.slq
  65. share/examples/silq/badTypes.slq
  66. share/examples/silq/badVectorSyntax.slq
  67. share/examples/silq/bell.slq
  68. share/examples/silq/bernsteinVazirani.slq
  69. share/examples/silq/bernsteinVazirani2.slq
  70. share/examples/silq/bernsteinVaziraniLoopLowered.slq
  71. share/examples/silq/binaryOperators1.slq
  72. share/examples/silq/binaryOperators2.slq
  73. share/examples/silq/binaryOperators3.slq
  74. share/examples/silq/binaryOperators4.slq
  75. share/examples/silq/bitwise1.slq
  76. share/examples/silq/bitwise2.slq
  77. share/examples/silq/boolIDiv.slq
  78. share/examples/silq/boolLiteral1.slq
  79. share/examples/silq/boolLiteral2.slq
  80. share/examples/silq/boolNSub.slq
  81. share/examples/silq/boolNSubError.slq
  82. share/examples/silq/boolVectorLength.slq
  83. share/examples/silq/bottomArithmetic.slq
  84. share/examples/silq/bottomIndexSlice.slq
  85. share/examples/silq/bottomPower.slq
  86. share/examples/silq/bottomType.slq
  87. share/examples/silq/bottomType2.slq
  88. share/examples/silq/bottomType3.slq
  89. share/examples/silq/bottomType3_2.slq
  90. share/examples/silq/bug.slq
  91. share/examples/silq/builtInToPrelude.slq
  92. share/examples/silq/callDoubleSquare1.slq
  93. share/examples/silq/captureAssign1.slq
  94. share/examples/silq/captureAssign2.slq
  95. share/examples/silq/captureClassicalAssign1.slq
  96. share/examples/silq/captureClassicalAssign2.slq
  97. share/examples/silq/captureClassicalOpAssign1.slq
  98. share/examples/silq/captureClassicalOpAssign1_2.slq
  99. share/examples/silq/captureClassicalOpAssign2.slq
  100. share/examples/silq/captureClassicalOpAssign2_2.slq
  101. share/examples/silq/captureClassicalOpAssign3.slq
  102. share/examples/silq/captureClassicalOpAssignLoop1.slq
  103. share/examples/silq/captureClassicalOpAssignLoop2.slq
  104. share/examples/silq/captureClassicalOpAssignLoop3.slq
  105. share/examples/silq/captureConst.slq
  106. share/examples/silq/captureConsumes.slq
  107. share/examples/silq/captureFromType1.slq
  108. share/examples/silq/captureFromType2.slq
  109. share/examples/silq/captureInLoop.slq
  110. share/examples/silq/captureInNestedLoop.slq
  111. share/examples/silq/captureIndexReplacement1.slq
  112. share/examples/silq/captureIndexReplacement2.slq
  113. share/examples/silq/captureIndexReplacement3.slq
  114. share/examples/silq/captureIndexReplacement4.slq
  115. share/examples/silq/captureIndexReplacement5.slq
  116. share/examples/silq/captureIndexReplacement6.slq
  117. share/examples/silq/captureIndexReplacement6_2.slq
  118. share/examples/silq/captureIndexReplacement6_3.slq
  119. share/examples/silq/captureIndexReplacement7.slq
  120. share/examples/silq/captureIndexReplacement7_2.slq
  121. share/examples/silq/captureIndexReplacement8.slq
  122. share/examples/silq/captureIndexReplacementClassical1.slq
  123. share/examples/silq/captureIndexReplacementClassical2.slq
  124. share/examples/silq/captureIndexReplacementClassical3.slq
  125. share/examples/silq/captureIndexReplacementClassical4.slq
  126. share/examples/silq/captureIndexReplacementClassical5.slq
  127. share/examples/silq/captureIndexReplacementClassical6.slq
  128. share/examples/silq/captureIndexReplacementClassical6_2.slq
  129. share/examples/silq/captureIndexReplacementClassical6_3.slq
  130. share/examples/silq/captureIndexReplacementClassical7.slq
  131. share/examples/silq/captureIndexReplacementClassical7_2.slq
  132. share/examples/silq/captureIndexReplacementClassical8.slq
  133. share/examples/silq/captureOpAssign1.slq
  134. share/examples/silq/captureOpAssign1_2.slq
  135. share/examples/silq/captureOpAssign2.slq
  136. share/examples/silq/captureOpAssignLoop1.slq
  137. share/examples/silq/captureOpAssignLoop2.slq
  138. share/examples/silq/captureReplacementClassical1.slq
  139. share/examples/silq/captureReplacementClassical1_2.slq
  140. share/examples/silq/captureShadow.slq
  141. share/examples/silq/captureTwice.slq
  142. share/examples/silq/captureWithAnnotation.slq
  143. share/examples/silq/cat.slq
  144. share/examples/silq/classicalArrayAliasing.slq
  145. share/examples/silq/classicalAssign.slq
  146. share/examples/silq/classicalForget1.slq
  147. share/examples/silq/classicalForget2.slq
  148. share/examples/silq/classicalForget3.slq
  149. share/examples/silq/classicalForget3_1.slq
  150. share/examples/silq/classicalForget4.slq
  151. share/examples/silq/classicalForget5.slq
  152. share/examples/silq/classicalForgetBad.slq
  153. share/examples/silq/classicalHadamard.slq
  154. share/examples/silq/classicalQfree1.slq
  155. share/examples/silq/classicalQfree2.slq
  156. share/examples/silq/classicalQnumeric.slq
  157. share/examples/silq/classicalQuantumIf.slq
  158. share/examples/silq/classicalQuantumSuperposition.slq
  159. share/examples/silq/closeOverDepType.slq
  160. share/examples/silq/closure.slq
  161. share/examples/silq/closureArrayTest.slq
  162. share/examples/silq/closureTest.slq
  163. share/examples/silq/closureTest2.slq
  164. share/examples/silq/closureTest3.slq
  165. share/examples/silq/closureTest4.slq
  166. share/examples/silq/closureTest5.slq
  167. share/examples/silq/closureTest6.slq
  168. share/examples/silq/closureTest7.slq
  169. share/examples/silq/closureTest8.slq
  170. share/examples/silq/closureTest9.slq
  171. share/examples/silq/cnot.slq
  172. share/examples/silq/cnot2.slq
  173. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/1.slq
  174. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/2.slq
  175. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/3.slq
  176. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/4.slq
  177. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/5.slq
  178. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/6.slq
  179. share/examples/silq/codeforces/stats/top10submissions/winter19/A1/7.slq
  180. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2.slq
  181. share/examples/silq/codeforces/stats/top10submissions/winter19/A2/2_incorrect.slq
  182. share/examples/silq/codeforces/stats/top10submissions/winter19/B1/4.slq
  183. share/examples/silq/codeforces/stats/top10submissions/winter19/C2/8.slq
  184. share/examples/silq/codeforces/summer18/contest/a1.slq
  185. share/examples/silq/codeforces/summer18/contest/a2.slq
  186. share/examples/silq/codeforces/summer18/contest/a3.slq
  187. share/examples/silq/codeforces/summer18/contest/a4.slq
  188. share/examples/silq/codeforces/summer18/contest/a4_2.slq
  189. share/examples/silq/codeforces/summer18/contest/b1.slq
  190. share/examples/silq/codeforces/summer18/contest/b2.slq
  191. share/examples/silq/codeforces/summer18/contest/b3.slq
  192. share/examples/silq/codeforces/summer18/contest/b4.slq
  193. share/examples/silq/codeforces/summer18/contest/c1.slq
  194. share/examples/silq/codeforces/summer18/contest/c2.slq
  195. share/examples/silq/codeforces/summer18/contest/d1.slq
  196. share/examples/silq/codeforces/summer18/contest/d2.slq
  197. share/examples/silq/codeforces/summer18/contest/d3.slq
  198. share/examples/silq/codeforces/summer18/contest/e1.slq
  199. share/examples/silq/codeforces/summer18/contest/e2.slq
  200. share/examples/silq/codeforces/summer18/warmup/a.slq
  201. share/examples/silq/codeforces/summer18/warmup/b.slq
  202. share/examples/silq/codeforces/summer18/warmup/c.slq
  203. share/examples/silq/codeforces/summer18/warmup/d.slq
  204. share/examples/silq/codeforces/summer18/warmup/e.slq
  205. share/examples/silq/codeforces/summer18/warmup/f.slq
  206. share/examples/silq/codeforces/summer18/warmup/f2.slq
  207. share/examples/silq/codeforces/summer18/warmup/g.slq
  208. share/examples/silq/codeforces/summer18/warmup/h.slq
  209. share/examples/silq/codeforces/summer18/warmup/i.slq
  210. share/examples/silq/codeforces/summer20/contest/a1.slq
  211. share/examples/silq/codeforces/summer20/contest/a2.slq
  212. share/examples/silq/codeforces/summer20/contest/a3.slq
  213. share/examples/silq/codeforces/summer20/contest/a4.slq
  214. share/examples/silq/codeforces/summer20/contest/a5.slq
  215. share/examples/silq/codeforces/summer20/contest/a6.slq
  216. share/examples/silq/codeforces/summer20/contest/a7.slq
  217. share/examples/silq/codeforces/summer20/contest/b1.slq
  218. share/examples/silq/codeforces/summer20/contest/b2.slq
  219. share/examples/silq/codeforces/summer20/contest/c1.slq
  220. share/examples/silq/codeforces/summer20/contest/c2.slq
  221. share/examples/silq/codeforces/summer20/contest/e1.slq
  222. share/examples/silq/codeforces/summer20/contest/e2.slq
  223. share/examples/silq/codeforces/summer20/warmup/a1.slq
  224. share/examples/silq/codeforces/summer20/warmup/a2.slq
  225. share/examples/silq/codeforces/summer20/warmup/a3.slq
  226. share/examples/silq/codeforces/summer20/warmup/a4.slq
  227. share/examples/silq/codeforces/summer20/warmup/a5.slq
  228. share/examples/silq/codeforces/summer20/warmup/b1.slq
  229. share/examples/silq/codeforces/summer20/warmup/b2.slq
  230. share/examples/silq/codeforces/summer20/warmup/c.slq
  231. share/examples/silq/codeforces/winter19/contest/a1.slq
  232. share/examples/silq/codeforces/winter19/contest/a2.slq
  233. share/examples/silq/codeforces/winter19/contest/b1.slq
  234. share/examples/silq/codeforces/winter19/contest/b2.slq
  235. share/examples/silq/codeforces/winter19/contest/c1.slq
  236. share/examples/silq/codeforces/winter19/contest/c2.slq
  237. share/examples/silq/codeforces/winter19/contest/c3.slq
  238. share/examples/silq/codeforces/winter19/contest/c3_2.slq
  239. share/examples/silq/codeforces/winter19/contest/c3_3.slq
  240. share/examples/silq/codeforces/winter19/contest/d1.slq
  241. share/examples/silq/codeforces/winter19/contest/d2.slq
  242. share/examples/silq/codeforces/winter19/contest/d2_bad.slq
  243. share/examples/silq/codeforces/winter19/contest/d2_todo.slq
  244. share/examples/silq/codeforces/winter19/contest/d3.slq
  245. share/examples/silq/codeforces/winter19/contest/d4.slq
  246. share/examples/silq/codeforces/winter19/contest/d5.slq
  247. share/examples/silq/codeforces/winter19/contest/d6.slq
  248. share/examples/silq/codeforces/winter19/warmup/g1.slq
  249. share/examples/silq/codeforces/winter19/warmup/g2.slq
  250. share/examples/silq/codeforces/winter19/warmup/g3.slq
  251. share/examples/silq/codeforces/winter19/warmup/u1.slq
  252. share/examples/silq/codeforces/winter19/warmup/u2.slq
  253. share/examples/silq/codeforces/winter19/warmup/u3.slq
  254. share/examples/silq/coerceAssign.slq
  255. share/examples/silq/coerceBoolToInt.slq
  256. share/examples/silq/coerceFunction.slq
  257. share/examples/silq/coerceInt.slq
  258. share/examples/silq/coerceIntLengthMismatch.slq
  259. share/examples/silq/coerceIntToNat.slq
  260. share/examples/silq/coerceIntToVecLengthMismatch.slq
  261. share/examples/silq/coerceNegativeNatural.slq
  262. share/examples/silq/coerceReal.slq
  263. share/examples/silq/coerceTupleArray.slq
  264. share/examples/silq/coerceTupleArrayLengthMismatch.slq
  265. share/examples/silq/coerceTupleLengthMismatch.slq
  266. share/examples/silq/coerceVecToIntLengthMismatch.slq
  267. share/examples/silq/coerceVector.slq
  268. share/examples/silq/coerceVectorLengthMismatch.slq
  269. share/examples/silq/communicationGame.slq
  270. share/examples/silq/comparisonOperators1.slq
  271. share/examples/silq/comparisonOperators2.slq
  272. share/examples/silq/componentSplitting1.slq
  273. share/examples/silq/concatJoin.slq
  274. share/examples/silq/concatTuple1.slq
  275. share/examples/silq/condTwoAssertFalse.slq
  276. share/examples/silq/conditionalMeasurement.slq
  277. share/examples/silq/conditionalMeasurement2.slq
  278. share/examples/silq/conditionalModulo.slq
  279. share/examples/silq/constBlockAssign.slq
  280. share/examples/silq/constBlockCapture.slq
  281. share/examples/silq/constBlockClassical.slq
  282. share/examples/silq/constBlockConsuming1.slq
  283. share/examples/silq/constBlockConsuming10.slq
  284. share/examples/silq/constBlockConsuming11.slq
  285. share/examples/silq/constBlockConsuming11_2.slq
  286. share/examples/silq/constBlockConsuming12.slq
  287. share/examples/silq/constBlockConsuming13.slq
  288. share/examples/silq/constBlockConsuming14.slq
  289. share/examples/silq/constBlockConsuming2.slq
  290. share/examples/silq/constBlockConsuming3.slq
  291. share/examples/silq/constBlockConsuming4.slq
  292. share/examples/silq/constBlockConsuming5.slq
  293. share/examples/silq/constBlockConsuming6.slq
  294. share/examples/silq/constBlockConsuming7.slq
  295. share/examples/silq/constBlockConsuming8.slq
  296. share/examples/silq/constBlockConsuming9.slq
  297. share/examples/silq/constCaptureBad1.slq
  298. share/examples/silq/constantLengthSlice1.slq
  299. share/examples/silq/constantLengthSlice2.slq
  300. share/examples/silq/consumeAssign.slq
  301. share/examples/silq/consumeDepTypeVar.slq
  302. share/examples/silq/consumingSquare.slq
  303. share/examples/silq/consumingVector.slq
  304. share/examples/silq/conv.slq
  305. share/examples/silq/convertForget.slq
  306. share/examples/silq/convertIntToZ.slq
  307. share/examples/silq/convertMatch.slq
  308. share/examples/silq/convertMatch2.slq
  309. share/examples/silq/convertNatToInt.slq
  310. share/examples/silq/convertNatVectorToRealArray.slq
  311. share/examples/silq/convertTuple.slq
  312. share/examples/silq/convertUintToArray.slq
  313. share/examples/silq/convertVectors.slq
  314. share/examples/silq/convertVectors2.slq
  315. share/examples/silq/deadCode1.slq
  316. share/examples/silq/deadCode2.slq
  317. share/examples/silq/deadCode3.slq
  318. share/examples/silq/deadCode4.slq
  319. share/examples/silq/deadCode5.slq
  320. share/examples/silq/deadCode6.slq
  321. share/examples/silq/depCapture1.slq
  322. share/examples/silq/depCond1.slq
  323. share/examples/silq/depCond10.slq
  324. share/examples/silq/depCond2.slq
  325. share/examples/silq/depCond3.slq
  326. share/examples/silq/depCond4.slq
  327. share/examples/silq/depCond5.slq
  328. share/examples/silq/depCond6.slq
  329. share/examples/silq/depCond7.slq
  330. share/examples/silq/depCond8.slq
  331. share/examples/silq/depCond9.slq
  332. share/examples/silq/depConsume1.slq
  333. share/examples/silq/depConsume2.slq
  334. share/examples/silq/depConsume3.slq
  335. share/examples/silq/depIndexReplace.slq
  336. share/examples/silq/depIndexReplace2.slq
  337. share/examples/silq/depIndexReplace3.slq
  338. share/examples/silq/depSplit1.slq
  339. share/examples/silq/depSwap1.slq
  340. share/examples/silq/depTest.slq
  341. share/examples/silq/depTest2.slq
  342. share/examples/silq/depTest3.slq
  343. share/examples/silq/depTest4.slq
  344. share/examples/silq/depTest5_1.slq
  345. share/examples/silq/depTest5_2.slq
  346. share/examples/silq/depTest5_3.slq
  347. share/examples/silq/depTest5_4.slq
  348. share/examples/silq/depTest6.slq
  349. share/examples/silq/depType.slq
  350. share/examples/silq/depType2.slq
  351. share/examples/silq/depType2_1.slq
  352. share/examples/silq/depType3.slq
  353. share/examples/silq/depType4.slq
  354. share/examples/silq/depTypeSplit1.slq
  355. share/examples/silq/depTypeSplit2.slq
  356. share/examples/silq/depVecType.slq
  357. share/examples/silq/dependencyLoop1.slq
  358. share/examples/silq/dependencyLoop2.slq
  359. share/examples/silq/dependencyLoop3.slq
  360. share/examples/silq/detectZero.slq
  361. share/examples/silq/distinguish0H0.slq
  362. share/examples/silq/distinguish0H0_2.slq
  363. share/examples/silq/distinguishGHZandW.slq
  364. share/examples/silq/distinguishStates.slq
  365. share/examples/silq/divQ.slq
  366. share/examples/silq/divbyzero.slq
  367. share/examples/silq/divbyzero2.slq
  368. share/examples/silq/divbyzero3.slq
  369. share/examples/silq/dlog.slq
  370. share/examples/silq/draper.slq
  371. share/examples/silq/draperFunny.slq
  372. share/examples/silq/draperPretty.slq
  373. share/examples/silq/dump.slq
  374. share/examples/silq/dump2.slq
  375. share/examples/silq/dumpExit.slq
  376. share/examples/silq/dumpExit2.slq
  377. share/examples/silq/dupClosure.slq
  378. share/examples/silq/dupClosure2.slq
  379. share/examples/silq/dupConvertForget.slq
  380. share/examples/silq/dynamicTupleIndex1.slq
  381. share/examples/silq/dynamicTupleIndex2.slq
  382. share/examples/silq/dynamicTupleIndex3.slq
  383. share/examples/silq/dynamicTupleIndex4.slq
  384. share/examples/silq/dynamicTupleSlice1.slq
  385. share/examples/silq/dynamicTupleSlice2.slq
  386. share/examples/silq/dynamicTupleSlice3.slq
  387. share/examples/silq/earlyReturn.slq
  388. share/examples/silq/earlyReturn10.slq
  389. share/examples/silq/earlyReturn10A.slq
  390. share/examples/silq/earlyReturn11.slq
  391. share/examples/silq/earlyReturn12.slq
  392. share/examples/silq/earlyReturn13.slq
  393. share/examples/silq/earlyReturn14.slq
  394. share/examples/silq/earlyReturn2.slq
  395. share/examples/silq/earlyReturn3.slq
  396. share/examples/silq/earlyReturn4.slq
  397. share/examples/silq/earlyReturn5.slq
  398. share/examples/silq/earlyReturn6.slq
  399. share/examples/silq/earlyReturn7.slq
  400. share/examples/silq/earlyReturn8.slq
  401. share/examples/silq/earlyReturn9.slq
  402. share/examples/silq/earlyReturnLoop1.slq
  403. share/examples/silq/earlyReturnLoop2.slq
  404. share/examples/silq/earlyReturnLoop3.slq
  405. share/examples/silq/earlyReturnLoopLowering1.slq
  406. share/examples/silq/earlyReturnLoopLowering2.slq
  407. share/examples/silq/earlyReturnLoopLowering3.slq
  408. share/examples/silq/earlyReturnQuantumIf.slq
  409. share/examples/silq/earlyReturnQuantumIf2.slq
  410. share/examples/silq/earlyReturnQuantumIf3.slq
  411. share/examples/silq/elementwiseMove.slq
  412. share/examples/silq/errorLoopSplit.slq
  413. share/examples/silq/errorNonasciiWide.slq
  414. share/examples/silq/evalCoerceSub.slq
  415. share/examples/silq/evalConversion.slq
  416. share/examples/silq/evalDecimal.slq
  417. share/examples/silq/evalFixedInt.slq
  418. share/examples/silq/evalSubZero.slq
  419. share/examples/silq/expand1.slq
  420. share/examples/silq/expand2.slq
  421. share/examples/silq/expand3.slq
  422. share/examples/silq/expand4.slq
  423. share/examples/silq/extendTruncate.slq
  424. share/examples/silq/extendTruncateError.slq
  425. share/examples/silq/fib.slq
  426. share/examples/silq/fib2.slq
  427. share/examples/silq/firstClassFunction1.slq
  428. share/examples/silq/firstClassTypeConstructor1.slq
  429. share/examples/silq/firstClassTypeConstructor10.slq
  430. share/examples/silq/firstClassTypeConstructor2.slq
  431. share/examples/silq/firstClassTypeConstructor3.slq
  432. share/examples/silq/firstClassTypeConstructor4.slq
  433. share/examples/silq/firstClassTypeConstructor5.slq
  434. share/examples/silq/firstClassTypeConstructor6.slq
  435. share/examples/silq/firstClassTypeConstructor7.slq
  436. share/examples/silq/firstClassTypeConstructor8.slq
  437. share/examples/silq/firstClassTypeConstructor9.slq
  438. share/examples/silq/fixedPointWithMoved.slq
  439. share/examples/silq/flipAll.slq
  440. share/examples/silq/floatOps.slq
  441. share/examples/silq/for.slq
  442. share/examples/silq/forStep1.slq
  443. share/examples/silq/forStep2.slq
  444. share/examples/silq/forStep3.slq
  445. share/examples/silq/forStep4.slq
  446. share/examples/silq/forgetCapture1.slq
  447. share/examples/silq/forgetCapture2.slq
  448. share/examples/silq/forgetCapture3.slq
  449. share/examples/silq/forgetChain.slq
  450. share/examples/silq/forgetClassical.slq
  451. share/examples/silq/forgetCoerce.slq
  452. share/examples/silq/forgetCoerce2.slq
  453. share/examples/silq/forgetCoerce3.slq
  454. share/examples/silq/forgetCoerce4.slq
  455. share/examples/silq/forgetCoerce5.slq
  456. share/examples/silq/forgetCoerce6.slq
  457. share/examples/silq/forgetConst.slq
  458. share/examples/silq/forgetConstInvalid.slq
  459. share/examples/silq/forgetDup.slq
  460. share/examples/silq/forgetDup2.slq
  461. share/examples/silq/forgetIfThenElse.slq
  462. share/examples/silq/forgetIfThenElseInvalid.slq
  463. share/examples/silq/forgetIndex.slq
  464. share/examples/silq/forgetIndexSlice.slq
  465. share/examples/silq/forgetLoop1.slq
  466. share/examples/silq/forgetNonReconstructableInvalid.slq
  467. share/examples/silq/forgetRedefine.slq
  468. share/examples/silq/forgetSpecialPatterns.slq
  469. share/examples/silq/forgetSynthesis.slq
  470. share/examples/silq/forgetSynthesis2.slq
  471. share/examples/silq/forgetSynthesis3.slq
  472. share/examples/silq/forgetSynthesis4.slq
  473. share/examples/silq/forgetSynthesisRec.slq
  474. share/examples/silq/forgetWhile.slq
  475. share/examples/silq/fromW.slq
  476. share/examples/silq/functionAlias2.slq
  477. share/examples/silq/functionBodyParseError.slq
  478. share/examples/silq/functionCallEval1.slq
  479. share/examples/silq/functionCallEval2.slq
  480. share/examples/silq/functionSubtype1.slq
  481. share/examples/silq/genericAddition.slq
  482. share/examples/silq/genericReverse.slq
  483. share/examples/silq/genericReverse2.slq
  484. share/examples/silq/genericReverse3.slq
  485. share/examples/silq/genericReverse4.slq
  486. share/examples/silq/genericSubtyping1.slq
  487. share/examples/silq/genericSubtyping2.slq
  488. share/examples/silq/grover.slq
  489. share/examples/silq/grover2.slq
  490. share/examples/silq/groverDiffusion.slq
  491. share/examples/silq/hIndex.slq
  492. share/examples/silq/hideAssign.slq
  493. share/examples/silq/hidingIndexReplacement.slq
  494. share/examples/silq/higherOrderReverse.slq
  495. share/examples/silq/higherOrderReverse2.slq
  496. share/examples/silq/idivbyzero.slq
  497. share/examples/silq/ifError.slq
  498. share/examples/silq/ifFalseReassign.slq
  499. share/examples/silq/ifSuperposition.slq
  500. share/examples/silq/ifSuperposition2.slq
  501. share/examples/silq/ifSuperposition3.slq
  502. share/examples/silq/implicitDup1.slq
  503. share/examples/silq/implicitDup2.slq
  504. share/examples/silq/implicitDupLifted.slq
  505. share/examples/silq/inOwnType.slq
  506. share/examples/silq/incompatibleFunDef.slq
  507. share/examples/silq/indexAssignDep.slq
  508. share/examples/silq/indexEmptyTuple.slq
  509. share/examples/silq/indexOpAssign1.slq
  510. share/examples/silq/indexOpAssign2.slq
  511. share/examples/silq/indexOpAssign3.slq
  512. share/examples/silq/indexOpAssign3_2.slq
  513. share/examples/silq/indexOpAssign4.slq
  514. share/examples/silq/indexOpAssign5.slq
  515. share/examples/silq/indexOpAssign6.slq
  516. share/examples/silq/indexOutOfBounds1.slq
  517. share/examples/silq/indexOutOfBounds10.slq
  518. share/examples/silq/indexOutOfBounds11.slq
  519. share/examples/silq/indexOutOfBounds12.slq
  520. share/examples/silq/indexOutOfBounds13.slq
  521. share/examples/silq/indexOutOfBounds14.slq
  522. share/examples/silq/indexOutOfBounds15.slq
  523. share/examples/silq/indexOutOfBounds16.slq
  524. share/examples/silq/indexOutOfBounds17.slq
  525. share/examples/silq/indexOutOfBounds18.slq
  526. share/examples/silq/indexOutOfBounds2.slq
  527. share/examples/silq/indexOutOfBounds3.slq
  528. share/examples/silq/indexOutOfBounds4.slq
  529. share/examples/silq/indexOutOfBounds5.slq
  530. share/examples/silq/indexOutOfBounds6.slq
  531. share/examples/silq/indexOutOfBounds7.slq
  532. share/examples/silq/indexOutOfBounds8.slq
  533. share/examples/silq/indexOutOfBounds9.slq
  534. share/examples/silq/indexReplace1.slq
  535. share/examples/silq/indexReplace2.slq
  536. share/examples/silq/indexReplace3.slq
  537. share/examples/silq/indexReplace4.slq
  538. share/examples/silq/indexReplace5.slq
  539. share/examples/silq/indexReplace6.slq
  540. share/examples/silq/indexReplace7.slq
  541. share/examples/silq/indexReplaceAlias1.slq
  542. share/examples/silq/indexReplaceAlias2.slq
  543. share/examples/silq/indexReplaceConstAccess.slq
  544. share/examples/silq/indexReplaceConsume.slq
  545. share/examples/silq/indexReplaceDiagnostic1.slq
  546. share/examples/silq/indexReplaceDiagnostic2.slq
  547. share/examples/silq/indexReplaceError2.slq
  548. share/examples/silq/indexReplaceError3.slq
  549. share/examples/silq/indexReplaceErrorRhs.slq
  550. share/examples/silq/indexReplaceId.slq
  551. share/examples/silq/indexReplaceIfFunctionCall.slq
  552. share/examples/silq/indexRewriteContext.slq
  553. share/examples/silq/infiniteType1.slq
  554. share/examples/silq/infiniteType2.slq
  555. share/examples/silq/infiniteType3.slq
  556. share/examples/silq/innerProduct.slq
  557. share/examples/silq/innerProduct2.slq
  558. share/examples/silq/intLt.slq
  559. share/examples/silq/intLt2.slq
  560. share/examples/silq/intUintBoolConversion.slq
  561. share/examples/silq/integerPhase.slq
  562. share/examples/silq/invQ.slq
  563. share/examples/silq/invalidConstAnnotationError.slq
  564. share/examples/silq/invalidReturnTypeInference.slq
  565. share/examples/silq/ite.slq
  566. share/examples/silq/ite2.slq
  567. share/examples/silq/ite3.slq
  568. share/examples/silq/ite4.slq
  569. share/examples/silq/ite5.slq
  570. share/examples/silq/ite6.slq
  571. share/examples/silq/iteCondError.slq
  572. share/examples/silq/iteLhs.slq
  573. share/examples/silq/iteLhs2.slq
  574. share/examples/silq/iteQuantumPromote1.slq
  575. share/examples/silq/iteQuantumPromote2.slq
  576. share/examples/silq/iteQuantumPromote3.slq
  577. share/examples/silq/iteType1.slq
  578. share/examples/silq/iteType2.slq
  579. share/examples/silq/iverson.slq
  580. share/examples/silq/lambdaCallLhs1.slq
  581. share/examples/silq/lambdaCallLhs2.slq
  582. share/examples/silq/lambdaEq.slq
  583. share/examples/silq/lambdaLhs.slq
  584. share/examples/silq/lengthConstFold1.slq
  585. share/examples/silq/lengthConstFold2.slq
  586. share/examples/silq/lengthMismatch.slq
  587. share/examples/silq/lhsForget1.slq
  588. share/examples/silq/lhsForget2.slq
  589. share/examples/silq/lhsForget3.slq
  590. share/examples/silq/lhsForget4.slq
  591. share/examples/silq/lhsTypeAnnotation1.slq
  592. share/examples/silq/lhsTypeAnnotation2.slq
  593. share/examples/silq/lhsTypeAnnotation2_1.slq
  594. share/examples/silq/lhsTypeAnnotation3.slq
  595. share/examples/silq/lhsTypeAnnotation4.slq
  596. share/examples/silq/liftedAssign.slq
  597. share/examples/silq/liftedConstArg.slq
  598. share/examples/silq/liftedConsuming1.slq
  599. share/examples/silq/liftedConsuming2.slq
  600. share/examples/silq/liftedConsuming3.slq
  601. share/examples/silq/liftedConsuming4.slq
  602. share/examples/silq/liftedConsuming4_2.slq
  603. share/examples/silq/liftedConsuming5.slq
  604. share/examples/silq/liftedConsuming5_2.slq
  605. share/examples/silq/liftedConsuming6.slq
  606. share/examples/silq/liftedConsuming7.slq
  607. share/examples/silq/liftedMeasure1.slq
  608. share/examples/silq/liftedMeasure2.slq
  609. share/examples/silq/liftedMeasure3.slq
  610. share/examples/silq/liftedMeasure4.slq
  611. share/examples/silq/liftedMeasure5.slq
  612. share/examples/silq/localVariableInFunctionReturnTypeError.slq
  613. share/examples/silq/logicShortCircuit1.slq
  614. share/examples/silq/logicShortCircuit1_2.slq
  615. share/examples/silq/logicShortCircuit2.slq
  616. share/examples/silq/logicShortCircuit3.slq
  617. share/examples/silq/logicShortCircuit4.slq
  618. share/examples/silq/logicShortCircuit5.slq
  619. share/examples/silq/logicShortCircuit6.slq
  620. share/examples/silq/logicShortCircuit7.slq
  621. share/examples/silq/logicShortCircuit8.slq
  622. share/examples/silq/logicShortCircuit9.slq
  623. share/examples/silq/longTuple1.slq
  624. share/examples/silq/loopFixedPoint1.slq
  625. share/examples/silq/loopFixedPoint2.slq
  626. share/examples/silq/loopFixedPoint3.slq
  627. share/examples/silq/loopFixedPoint4.slq
  628. share/examples/silq/loopFixedPoint5.slq
  629. share/examples/silq/loopFixedPoint6.slq
  630. share/examples/silq/loopForgetRedefine1.slq
  631. share/examples/silq/loopForgetRedefine2.slq
  632. share/examples/silq/loopFunctionDef.slq
  633. share/examples/silq/loopFunctionDef2.slq
  634. share/examples/silq/loopFunctionDef3.slq
  635. share/examples/silq/loopyFunctionAnnotation1.slq
  636. share/examples/silq/lowerForLoopAssign.slq
  637. share/examples/silq/lowerLoop1.slq
  638. share/examples/silq/lowerLoop2.slq
  639. share/examples/silq/lowerLoop3.slq
  640. share/examples/silq/lowerLoop4.slq
  641. share/examples/silq/lowerLoop5.slq
  642. share/examples/silq/lowerLoop5_2.slq
  643. share/examples/silq/lowerLoopBool.slq
  644. share/examples/silq/lowerLoopCaptureClassicalOpAssign1.slq
  645. share/examples/silq/lowerLoopCaptureClassicalOpAssign2.slq
  646. share/examples/silq/lowerLoopCaptureOpAssign1.slq
  647. share/examples/silq/lowerLoopCaptureOpAssign2.slq
  648. share/examples/silq/lowerLoopCommunicationGame.slq
  649. share/examples/silq/lowerLoopConst.slq
  650. share/examples/silq/lowerLoopDlog.slq
  651. share/examples/silq/lowerLoopEarlyReturn1.slq
  652. share/examples/silq/lowerLoopEarlyReturn2.slq
  653. share/examples/silq/lowerLoopEarlyReturn3.slq
  654. share/examples/silq/lowerLoopEarlyReturn4.slq
  655. share/examples/silq/lowerLoopEarlyReturn5.slq
  656. share/examples/silq/lowerLoopEarlyReturn5_2.slq
  657. share/examples/silq/lowerLoopEarlyReturn6.slq
  658. share/examples/silq/lowerLoopForStep1.slq
  659. share/examples/silq/lowerLoopForStep2.slq
  660. share/examples/silq/lowerLoopForStep3.slq
  661. share/examples/silq/lowerLoopForget.slq
  662. share/examples/silq/lowerLoopForget2.slq
  663. share/examples/silq/lowerLoopMultiDimAssign.slq
  664. share/examples/silq/lowerLoopShadowConst.slq
  665. share/examples/silq/lowerLoopShor.slq
  666. share/examples/silq/lowerRepeat1.slq
  667. share/examples/silq/lowerRepeat2.slq
  668. share/examples/silq/lowerTupleConcat.slq
  669. share/examples/silq/majorityOracle.slq
  670. share/examples/silq/makeWPower2.slq
  671. share/examples/silq/makeWPower2_2.slq
  672. share/examples/silq/makeWPower2_3.slq
  673. share/examples/silq/makeWPower2_4.slq
  674. share/examples/silq/manualPhaseEstimation.slq
  675. share/examples/silq/manualPhaseEstimation2.slq
  676. share/examples/silq/map1.slq
  677. share/examples/silq/map2.slq
  678. share/examples/silq/map3.slq
  679. share/examples/silq/mapH.slq
  680. share/examples/silq/mapH2.slq
  681. share/examples/silq/mapH3.slq
  682. share/examples/silq/matchCoerce.slq
  683. share/examples/silq/measureArray.slq
  684. share/examples/silq/measureFun.slq
  685. share/examples/silq/measureFun2.slq
  686. share/examples/silq/measureHadamard.slq
  687. share/examples/silq/measureReversePhase.slq
  688. share/examples/silq/measureReversePhase2.slq
  689. share/examples/silq/measureReversePhase3.slq
  690. share/examples/silq/measureUint1.slq
  691. share/examples/silq/measureUint2.slq
  692. share/examples/silq/measureVector.slq
  693. share/examples/silq/mergeDependent1.slq
  694. share/examples/silq/mergeImplicitForget.slq
  695. share/examples/silq/mergeImplicitForget2.slq
  696. share/examples/silq/mergeImplicitForget3.slq
  697. share/examples/silq/mergeTupleArray1.slq
  698. share/examples/silq/mfreeImplicitForget.slq
  699. share/examples/silq/mixed.slq
  700. share/examples/silq/mixed2.slq
  701. share/examples/silq/mixed3.slq
  702. share/examples/silq/mixed4.slq
  703. share/examples/silq/mixed5.slq
  704. share/examples/silq/modZero.slq
  705. share/examples/silq/multiConvert.slq
  706. share/examples/silq/multiDimAssign.slq
  707. share/examples/silq/multiDimReplace.slq
  708. share/examples/silq/multiForget.slq
  709. share/examples/silq/multiIndex1.slq
  710. share/examples/silq/multiIndex2.slq
  711. share/examples/silq/multiIndex3.slq
  712. share/examples/silq/multiReplace.slq
  713. share/examples/silq/multiResultIndexReplace.slq
  714. share/examples/silq/mustConsumeNonLifted.slq
  715. share/examples/silq/nVecToQArray.slq
  716. share/examples/silq/nandTree.slq
  717. share/examples/silq/natTypes.slq
  718. share/examples/silq/nestInf.slq
  719. share/examples/silq/nestedCapture.slq
  720. share/examples/silq/nestedClosure.slq
  721. share/examples/silq/nestedForLoop.slq
  722. share/examples/silq/nestedGlobal.slq
  723. share/examples/silq/nestedIndexReplace.slq
  724. share/examples/silq/nestedMeasure.slq
  725. share/examples/silq/nestedMutualRecursion1.slq
  726. share/examples/silq/nestedReplace.slq
  727. share/examples/silq/nestedTupleMatch.slq
  728. share/examples/silq/neverArray.slq
  729. share/examples/silq/newForLoopRangeSyntax.slq
  730. share/examples/silq/noImplicitForget.slq
  731. share/examples/silq/noLengthAssign.slq
  732. share/examples/silq/noQnumericJoin.slq
  733. share/examples/silq/nonLiftedH1.slq
  734. share/examples/silq/nonLiftedIndexReplacement1.slq
  735. share/examples/silq/nonLiftedIndexReplacement2.slq
  736. share/examples/silq/opAssignReverse.slq
  737. share/examples/silq/paramNotConsumedError.slq
  738. share/examples/silq/parameterSubtyping1.slq
  739. share/examples/silq/parameterSubtyping2.slq
  740. share/examples/silq/parameterSubtyping3.slq
  741. share/examples/silq/parameterSubtyping4.slq
  742. share/examples/silq/parameterSubtyping5.slq
  743. share/examples/silq/parameterizedSimulation.slq
  744. share/examples/silq/parseArrayOfVectorReturn.slq
  745. share/examples/silq/parseError.slq
  746. share/examples/silq/parseError2.slq
  747. share/examples/silq/partialEval.slq
  748. share/examples/silq/partialEval2.slq
  749. share/examples/silq/partialEval4.slq
  750. share/examples/silq/patternMatch.slq
  751. share/examples/silq/patternMatch10.slq
  752. share/examples/silq/patternMatch11.slq
  753. share/examples/silq/patternMatch12.slq
  754. share/examples/silq/patternMatch2.slq
  755. share/examples/silq/patternMatch2_2.slq
  756. share/examples/silq/patternMatch2_3.slq
  757. share/examples/silq/patternMatch2_4.slq
  758. share/examples/silq/patternMatch3.slq
  759. share/examples/silq/patternMatch4.slq
  760. share/examples/silq/patternMatch4_2.slq
  761. share/examples/silq/patternMatch4_3.slq
  762. share/examples/silq/patternMatch5.slq
  763. share/examples/silq/patternMatch6.slq
  764. share/examples/silq/patternMatch7.slq
  765. share/examples/silq/patternMatch8.slq
  766. share/examples/silq/patternMatch9.slq
  767. share/examples/silq/phaseEstimation.slq
  768. share/examples/silq/phaseQ.slq
  769. share/examples/silq/photon.slq
  770. share/examples/silq/piToRat.slq
  771. share/examples/silq/pow1.slq
  772. share/examples/silq/pow2.slq
  773. share/examples/silq/pow3.slq
  774. share/examples/silq/pow4.slq
  775. share/examples/silq/print.slq
  776. share/examples/silq/projectForget.slq
  777. share/examples/silq/promoteQbitArithmetic.slq
  778. share/examples/silq/qft.slq
  779. share/examples/silq/qftPretty.slq
  780. share/examples/silq/qnumeric1.slq
  781. share/examples/silq/qnumeric2.slq
  782. share/examples/silq/qnumeric3.slq
  783. share/examples/silq/qnumericError1.slq
  784. share/examples/silq/qnumericError2.slq
  785. share/examples/silq/qnumericError3.slq
  786. share/examples/silq/qnumericError4.slq
  787. share/examples/silq/qnumericError5.slq
  788. share/examples/silq/qnumericError6.slq
  789. share/examples/silq/quantumBitNotMinus.slq
  790. share/examples/silq/quantumClassicalSubtyping.slq
  791. share/examples/silq/quantumControlClassicalAssignment.slq
  792. share/examples/silq/quantumIfClassicalUpdate1.slq
  793. share/examples/silq/quantumIfClassicalUpdate2.slq
  794. share/examples/silq/quantumIfClassicalUpdate3.slq
  795. share/examples/silq/quantumIfSuperpositionSizeOneCondition1.slq
  796. share/examples/silq/quantumIfSuperpositionSizeOneCondition2.slq
  797. share/examples/silq/quantumIndex1.slq
  798. share/examples/silq/quantumIndex2.slq
  799. share/examples/silq/quantumIndex3.slq
  800. share/examples/silq/quantumIndexAssign1.slq
  801. share/examples/silq/quantumIndexAssign2.slq
  802. share/examples/silq/quantumIndexAssign3.slq
  803. share/examples/silq/quantumIndexAssign4.slq
  804. share/examples/silq/quantumIndexAssign5.slq
  805. share/examples/silq/quantumIndexAssign6.slq
  806. share/examples/silq/quantumIndexAssign7.slq
  807. share/examples/silq/quantumIndexPromote1.slq
  808. share/examples/silq/quantumIndexUpdate1.slq
  809. share/examples/silq/quantumIndexUpdate2.slq
  810. share/examples/silq/quantumOuterParams.slq
  811. share/examples/silq/quantumReplace.slq
  812. share/examples/silq/quantumReplaceOutOfBounds.slq
  813. share/examples/silq/quantumSub1.slq
  814. share/examples/silq/quantumSub2.slq
  815. share/examples/silq/quid-updates.slq
  816. share/examples/silq/rationalBitwiseOr.slq
  817. share/examples/silq/rationalPhase.slq
  818. share/examples/silq/reassignArrayLength.slq
  819. share/examples/silq/reassignConst.slq
  820. share/examples/silq/reassignDepVar.slq
  821. share/examples/silq/reassignDependentTypeParameter.slq
  822. share/examples/silq/recursion.slq
  823. share/examples/silq/recursiveFunctionCapture1.slq
  824. share/examples/silq/recursiveFunctionCapture2.slq
  825. share/examples/silq/recursiveFunctionCapture3.slq
  826. share/examples/silq/recursiveFunctionCapture4.slq
  827. share/examples/silq/recursiveFunctionCapture5.slq
  828. share/examples/silq/recursiveFunctionCapture6.slq
  829. share/examples/silq/recursiveFunctionRecapture1.slq
  830. share/examples/silq/recursiveFunctionReturn1.slq
  831. share/examples/silq/recursiveFunctionReturn10.slq
  832. share/examples/silq/recursiveFunctionReturn11.slq
  833. share/examples/silq/recursiveFunctionReturn12.slq
  834. share/examples/silq/recursiveFunctionReturn13.slq
  835. share/examples/silq/recursiveFunctionReturn14.slq
  836. share/examples/silq/recursiveFunctionReturn15.slq
  837. share/examples/silq/recursiveFunctionReturn16.slq
  838. share/examples/silq/recursiveFunctionReturn17.slq
  839. share/examples/silq/recursiveFunctionReturn2.slq
  840. share/examples/silq/recursiveFunctionReturn3.slq
  841. share/examples/silq/recursiveFunctionReturn4.slq
  842. share/examples/silq/recursiveFunctionReturn5.slq
  843. share/examples/silq/recursiveFunctionReturn6.slq
  844. share/examples/silq/recursiveFunctionReturn7.slq
  845. share/examples/silq/recursiveFunctionReturn8.slq
  846. share/examples/silq/recursiveFunctionReturn9.slq
  847. share/examples/silq/recursiveNested.slq
  848. share/examples/silq/recursiveNested2.slq
  849. share/examples/silq/recursiveNested2_2.slq
  850. share/examples/silq/recursiveNested3.slq
  851. share/examples/silq/recursiveNested4.slq
  852. share/examples/silq/recursiveNested5.slq
  853. share/examples/silq/recursiveNested6.slq
  854. share/examples/silq/renatoCommunicationGameV1.slq
  855. share/examples/silq/repeat.slq
  856. share/examples/silq/repeat100.slq
  857. share/examples/silq/repeatUntil.slq
  858. share/examples/silq/replaceClassical.slq
  859. share/examples/silq/replaceIndex1.slq
  860. share/examples/silq/replaceIndex2.slq
  861. share/examples/silq/replaceIndexBad1.slq
  862. share/examples/silq/replaceIndexBad2.slq
  863. share/examples/silq/replaceIndexClassical1.slq
  864. share/examples/silq/replaceIndexClassical2.slq
  865. share/examples/silq/replaceIndexConsumeLifted1.slq
  866. share/examples/silq/replaceIndexMulti0.slq
  867. share/examples/silq/replaceIndexMulti1.slq
  868. share/examples/silq/replaceIndexMulti10.slq
  869. share/examples/silq/replaceIndexMulti11.slq
  870. share/examples/silq/replaceIndexMulti12.slq
  871. share/examples/silq/replaceIndexMulti2.slq
  872. share/examples/silq/replaceIndexMulti3.slq
  873. share/examples/silq/replaceIndexMulti4.slq
  874. share/examples/silq/replaceIndexMulti5.slq
  875. share/examples/silq/replaceIndexMulti6.slq
  876. share/examples/silq/replaceIndexMulti7.slq
  877. share/examples/silq/replaceIndexMulti8.slq
  878. share/examples/silq/replaceIndexMulti9.slq
  879. share/examples/silq/replaceIndexOutOfBounds1.slq
  880. share/examples/silq/replaceIndexOutOfBounds2.slq
  881. share/examples/silq/replaceIndexOutOfBounds3.slq
  882. share/examples/silq/replaceIndexOutOfBounds4.slq
  883. share/examples/silq/replaceIndexOutOfBounds5.slq
  884. share/examples/silq/replaceSlice1.slq
  885. share/examples/silq/replaceSlice2.slq
  886. share/examples/silq/replaceSlice3.slq
  887. share/examples/silq/ret2.slq
  888. share/examples/silq/retClosure.slq
  889. share/examples/silq/retPi.slq
  890. share/examples/silq/retTypeCrash1.slq
  891. share/examples/silq/retTypeCrash2.slq
  892. share/examples/silq/reuseCapturedName.slq
  893. share/examples/silq/revDefLhs1.slq
  894. share/examples/silq/revDefLhs2.slq
  895. share/examples/silq/reverseApplyNested.slq
  896. share/examples/silq/reverseArithmetic.slq
  897. share/examples/silq/reverseBadLength.slq
  898. share/examples/silq/reverseCNOT.slq
  899. share/examples/silq/reverseConstUnit1.slq
  900. share/examples/silq/reverseConstUnit2.slq
  901. share/examples/silq/reverseConstUnit3.slq
  902. share/examples/silq/reverseConstUnit4.slq
  903. share/examples/silq/reverseCtype.slq
  904. share/examples/silq/reverseDependent.slq
  905. share/examples/silq/reverseEarlyReturn.slq
  906. share/examples/silq/reverseFlatten.slq
  907. share/examples/silq/reverseGeneric.slq
  908. share/examples/silq/reverseH.slq
  909. share/examples/silq/reverseH0.slq
  910. share/examples/silq/reverseH2.slq
  911. share/examples/silq/reverseH3.slq
  912. share/examples/silq/reverseH4.slq
  913. share/examples/silq/reverseH5.slq
  914. share/examples/silq/reverseId.slq
  915. share/examples/silq/reverseId2.slq
  916. share/examples/silq/reverseId3.slq
  917. share/examples/silq/reverseId4.slq
  918. share/examples/silq/reverseId5.slq
  919. share/examples/silq/reverseId6.slq
  920. share/examples/silq/reverseId7.slq
  921. share/examples/silq/reverseId8.slq
  922. share/examples/silq/reverseImplicitForget.slq
  923. share/examples/silq/reverseLambda.slq
  924. share/examples/silq/reverseLifted.slq
  925. share/examples/silq/reverseMeasureNonClassical.slq
  926. share/examples/silq/reversePair.slq
  927. share/examples/silq/reversePhase.slq
  928. share/examples/silq/reversePhase2.slq
  929. share/examples/silq/reversePhase3.slq
  930. share/examples/silq/reverseRecursiveNested1.slq
  931. share/examples/silq/reverseRecursiveNested2.slq
  932. share/examples/silq/reverseRewrites.slq
  933. share/examples/silq/reverseRotX.slq
  934. share/examples/silq/reverseRotY.slq
  935. share/examples/silq/reverseRotY2.slq
  936. share/examples/silq/reverseRotZ.slq
  937. share/examples/silq/reverseSingletonArg.slq
  938. share/examples/silq/reverseSquare.slq
  939. share/examples/silq/reverseSquare1.slq
  940. share/examples/silq/reverseSquare10.slq
  941. share/examples/silq/reverseSquare11.slq
  942. share/examples/silq/reverseSquare12.slq
  943. share/examples/silq/reverseSquare13.slq
  944. share/examples/silq/reverseSquare14.slq
  945. share/examples/silq/reverseSquare2.slq
  946. share/examples/silq/reverseSquare3.slq
  947. share/examples/silq/reverseSquare4.slq
  948. share/examples/silq/reverseSquare5.slq
  949. share/examples/silq/reverseSquare6.slq
  950. share/examples/silq/reverseSquare7.slq
  951. share/examples/silq/reverseSquare8.slq
  952. share/examples/silq/reverseSquare9.slq
  953. share/examples/silq/reverseSubtype.slq
  954. share/examples/silq/reverseToW.slq
  955. share/examples/silq/reverseUintId.slq
  956. share/examples/silq/reverseUnpack.slq
  957. share/examples/silq/reverseWrongNargs.slq
  958. share/examples/silq/reverseX.slq
  959. share/examples/silq/reverseX2.slq
  960. share/examples/silq/scientificNotation1.slq
  961. share/examples/silq/semiclassicalQFT1.slq
  962. share/examples/silq/semiclassicalQFT2.slq
  963. share/examples/silq/shadowCapture1.slq
  964. share/examples/silq/shadowCapture2.slq
  965. share/examples/silq/shadowCapture3.slq
  966. share/examples/silq/shadowCapture4.slq
  967. share/examples/silq/shadowCaptured.slq
  968. share/examples/silq/shadowIndexReplacement1.slq
  969. share/examples/silq/shadowIndexReplacement1_2.slq
  970. share/examples/silq/shadowing.slq
  971. share/examples/silq/shor.slq
  972. share/examples/silq/shortCircuitAnd1.slq
  973. share/examples/silq/shortCircuitOrAssign1.slq
  974. share/examples/silq/simpleSwap.slq
  975. share/examples/silq/sinQ.slq
  976. share/examples/silq/singletonVectorHadamard.slq
  977. share/examples/silq/sliceOutOfBounds1.slq
  978. share/examples/silq/sliceReplacement.slq
  979. share/examples/silq/sliceUnit.slq
  980. share/examples/silq/sliceUnitOutOfBounds.slq
  981. share/examples/silq/sliceUnitResultOutOfBounds.slq
  982. share/examples/silq/specialReverseTypeChecking.slq
  983. share/examples/silq/specialReverseTypeChecking2.slq
  984. share/examples/silq/splitArray1.slq
  985. share/examples/silq/splitArray2.slq
  986. share/examples/silq/splitArrayConst1.slq
  987. share/examples/silq/splitArrayConst1_2.slq
  988. share/examples/silq/splitArrayConst2.slq
  989. share/examples/silq/splitArrayConst2_2.slq
  990. share/examples/silq/splitComponents1.slq
  991. share/examples/silq/splitMixed1.slq
  992. share/examples/silq/splitMixed2.slq
  993. share/examples/silq/splitMixed3.slq
  994. share/examples/silq/splitTuple1.slq
  995. share/examples/silq/splitTuple2.slq
  996. share/examples/silq/splitTuple3.slq
  997. share/examples/silq/splitTuple4.slq
  998. share/examples/silq/splitTuple5.slq
  999. share/examples/silq/splitVector1.slq
  1000. share/examples/silq/splitVector2.slq
  1001. share/examples/silq/squareFunctionLhs.slq
  1002. share/examples/silq/squareFunctionLhsConst.slq
  1003. share/examples/silq/squareFunctionLhsConst2.slq
  1004. share/examples/silq/squareFunctionLhsConst3.slq
  1005. share/examples/silq/squareFunctionReplace1.slq
  1006. share/examples/silq/squareFunctionReplace2.slq
  1007. share/examples/silq/strongIndexUpdate1.slq
  1008. share/examples/silq/strongIndexUpdate2.slq
  1009. share/examples/silq/strongIndexUpdate3.slq
  1010. share/examples/silq/strongIndexUpdate4.slq
  1011. share/examples/silq/strongIndexUpdate5.slq
  1012. share/examples/silq/strongIndexUpdate6.slq
  1013. share/examples/silq/strongUpdates1.slq
  1014. share/examples/silq/strongUpdates10.slq
  1015. share/examples/silq/strongUpdates11.slq
  1016. share/examples/silq/strongUpdates12.slq
  1017. share/examples/silq/strongUpdates2.slq
  1018. share/examples/silq/strongUpdates3.slq
  1019. share/examples/silq/strongUpdates4.slq
  1020. share/examples/silq/strongUpdates5.slq
  1021. share/examples/silq/strongUpdates6.slq
  1022. share/examples/silq/strongUpdates7.slq
  1023. share/examples/silq/strongUpdates8.slq
  1024. share/examples/silq/strongUpdates9.slq
  1025. share/examples/silq/subAssign1.slq
  1026. share/examples/silq/subAssign2.slq
  1027. share/examples/silq/subtyping1.slq
  1028. share/examples/silq/subtyping2.slq
  1029. share/examples/silq/sumArray.slq
  1030. share/examples/silq/sumIota.slq
  1031. share/examples/silq/swapArray.slq
  1032. share/examples/silq/swapArray2.slq
  1033. share/examples/silq/swapArray3.slq
  1034. share/examples/silq/swapArray4.slq
  1035. share/examples/silq/swapArray5.slq
  1036. share/examples/silq/swapClassicalInt.slq
  1037. share/examples/silq/swapClosures.slq
  1038. share/examples/silq/swapDiffArrays.slq
  1039. share/examples/silq/swapEmptyIf.slq
  1040. share/examples/silq/swapInt.slq
  1041. share/examples/silq/swapNoSwap.slq
  1042. share/examples/silq/swapTuple1.slq
  1043. share/examples/silq/swapTuple2.slq
  1044. share/examples/silq/swapTuple3.slq
  1045. share/examples/silq/swapTuple4.slq
  1046. share/examples/silq/swapTuple5.slq
  1047. share/examples/silq/swapTuple6.slq
  1048. share/examples/silq/swapTuple7.slq
  1049. share/examples/silq/swapVarWithComponent.slq
  1050. share/examples/silq/swapVarWithComponent2.slq
  1051. share/examples/silq/teleportation.slq
  1052. share/examples/silq/test.slq
  1053. share/examples/silq/test3.slq
  1054. share/examples/silq/test3_2.slq
  1055. share/examples/silq/test3_3.slq
  1056. share/examples/silq/test3_4.slq
  1057. share/examples/silq/test3_5.slq
  1058. share/examples/silq/testBadTypeAnnotation.slq
  1059. share/examples/silq/testForget.slq
  1060. share/examples/silq/testGenericConvert1.slq
  1061. share/examples/silq/testGenericConvert2.slq
  1062. share/examples/silq/testGenericConvert2_1.slq
  1063. share/examples/silq/testHadamard.slq
  1064. share/examples/silq/testLiftedClassical.slq
  1065. share/examples/silq/testMod1.slq
  1066. share/examples/silq/testMod2.slq
  1067. share/examples/silq/testMod2_2.slq
  1068. share/examples/silq/testMod3.slq
  1069. share/examples/silq/testMod3_2.slq
  1070. share/examples/silq/testMod3_3.slq
  1071. share/examples/silq/testMod4.slq
  1072. share/examples/silq/testMod5.slq
  1073. share/examples/silq/testMod6.slq
  1074. share/examples/silq/testParamSameName.slq
  1075. share/examples/silq/testPunning.slq
  1076. share/examples/silq/testQFT.slq
  1077. share/examples/silq/testQFT2.slq
  1078. share/examples/silq/testQFT3.slq
  1079. share/examples/silq/testQFT4.slq
  1080. share/examples/silq/testQFT5.slq
  1081. share/examples/silq/testQFT6.slq
  1082. share/examples/silq/testQFTNorm.slq
  1083. share/examples/silq/testQFTPretty.slq
  1084. share/examples/silq/testQFTPretty2.slq
  1085. share/examples/silq/testReverse.slq
  1086. share/examples/silq/testReverse2.slq
  1087. share/examples/silq/testReverse3.slq
  1088. share/examples/silq/testReverse4.slq
  1089. share/examples/silq/testUnsafeCaptureConst1.slq
  1090. share/examples/silq/testUnsafeCaptureConst2.slq
  1091. share/examples/silq/testUnsafeCaptureConst3.slq
  1092. share/examples/silq/testUnsafeCaptureConst4.slq
  1093. share/examples/silq/tf.slq
  1094. share/examples/silq/tf_orig.slq
  1095. share/examples/silq/tf_snippet.slq
  1096. share/examples/silq/thirds.slq
  1097. share/examples/silq/transpose.slq
  1098. share/examples/silq/tupleArray.slq
  1099. share/examples/silq/tupleComp.slq
  1100. share/examples/silq/tupleCompLongVec1.slq
  1101. share/examples/silq/tupleCompLongVec2.slq
  1102. share/examples/silq/tupleCompLongVec3.slq
  1103. share/examples/silq/tupleCompLongVec4.slq
  1104. share/examples/silq/tupleCompLongVec5.slq
  1105. share/examples/silq/tupleCompVec1.slq
  1106. share/examples/silq/tupleConversion.slq
  1107. share/examples/silq/typeAlias.slq
  1108. share/examples/silq/typeAlias2.slq
  1109. share/examples/silq/typeAlias3.slq
  1110. share/examples/silq/typeAliasIf1.slq
  1111. share/examples/silq/typeAliasIf2.slq
  1112. share/examples/silq/typeAsStatement.slq
  1113. share/examples/silq/typeCheckBadLength.slq
  1114. share/examples/silq/typeCheckBadPolyPauliRotY.slq
  1115. share/examples/silq/typeCheckBadReverseLength.slq
  1116. share/examples/silq/typeCheckLinearRotY.slq
  1117. share/examples/silq/typeCheckMakeIntegerComparator.slq
  1118. share/examples/silq/typeCheckMkVec.slq
  1119. share/examples/silq/typeCheckNextCoeffs.slq
  1120. share/examples/silq/typeCheckPolyPauliRot.slq
  1121. share/examples/silq/typeCheckWeightedAdder.slq
  1122. share/examples/silq/typeConstBlockCapture.slq
  1123. share/examples/silq/typeConstBlockForget1.slq
  1124. share/examples/silq/typeConstBlockForget2.slq
  1125. share/examples/silq/typeConstBlockForget3.slq
  1126. share/examples/silq/typeError.slq
  1127. share/examples/silq/typeError2.slq
  1128. share/examples/silq/typeEval1.slq
  1129. share/examples/silq/typeEval2.slq
  1130. share/examples/silq/typeFunCall.slq
  1131. share/examples/silq/typeFunCallCoerce.slq
  1132. share/examples/silq/typePairError1.slq
  1133. share/examples/silq/typePairError2.slq
  1134. share/examples/silq/typeof1.slq
  1135. share/examples/silq/unaryOperators1.slq
  1136. share/examples/silq/uncomputeOnArrayAssignment.slq
  1137. share/examples/silq/undefLhs.slq
  1138. share/examples/silq/unicodeLoc.slq
  1139. share/examples/silq/unidiomaticBell.slq
  1140. share/examples/silq/unitParamClosureArray.slq
  1141. share/examples/silq/unitParamClosureArray2.slq
  1142. share/examples/silq/unitParamClosureArray3.slq
  1143. share/examples/silq/unitRedefinition.slq
  1144. share/examples/silq/unpackError.slq
  1145. share/examples/silq/unreachableConsume.slq
  1146. share/examples/silq/unrealizableError.slq
  1147. share/examples/silq/variadic1.slq
  1148. share/examples/silq/variadic2.slq
  1149. share/examples/silq/variadic3.slq
  1150. share/examples/silq/vectorConv.slq
  1151. share/examples/silq/vectorLength.slq
  1152. share/examples/silq/vectorLiteral1.slq
  1153. share/examples/silq/vectorLiteral2.slq
  1154. share/examples/silq/vectorReverse.slq
  1155. share/examples/silq/vectorToArray.slq
  1156. share/examples/silq/warning.slq
  1157. share/examples/silq/while1.slq
  1158. share/examples/silq/while1_2.slq
  1159. share/examples/silq/while2.slq
  1160. share/examples/silq/whileFunctionCall.slq
  1161. share/examples/silq/wildcardArray.slq
  1162. share/examples/silq/wildcardArraySplit1.slq
  1163. share/examples/silq/wildcardArraySplit2.slq
  1164. share/examples/silq/wildcardArraySplit3.slq
  1165. share/examples/silq/wildcardArraySplit4.slq
  1166. share/examples/silq/wildcardForget.slq
  1167. share/examples/silq/wildcardForget2.slq
  1168. share/examples/silq/wildcardVec1.slq
  1169. share/examples/silq/wildcardVec2.slq
  1170. share/examples/silq/wildcardVecSplit1.slq
  1171. share/examples/silq/wildcardVecSplit2.slq
  1172. share/examples/silq/wildcardVecSplit3.slq
  1173. share/examples/silq/wildcardVecSplit4.slq
  1174. share/examples/silq/wildcards1.slq
  1175. share/examples/silq/with10.slq
  1176. share/examples/silq/with11.slq
  1177. share/examples/silq/with12.slq
  1178. share/examples/silq/with12_2.slq
  1179. share/examples/silq/with12_3.slq
  1180. share/examples/silq/with2.slq
  1181. share/examples/silq/with3.slq
  1182. share/examples/silq/with4.slq
  1183. share/examples/silq/with5.slq
  1184. share/examples/silq/with6.slq
  1185. share/examples/silq/with7.slq
  1186. share/examples/silq/with8.slq
  1187. share/examples/silq/with9.slq
  1188. share/examples/silq/withAbort.slq
  1189. share/examples/silq/with_.slq
  1190. share/examples/silq/wrapX.slq
  1191. share/examples/silq/xwing.slq
  1192. share/examples/silq/zeno.slq
  1193. @owner
  1194. @group
  1195. @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 = 1751009852 SHA256 (silq/eth-sri-silq-20250624-92a6f80_GH0.tar.gz) = 4b3f2e5a64e7532c3ea40ab80a49a2a50445fb88c6dee6f0d43d644f65b59589 SIZE (silq/eth-sri-silq-20250624-92a6f80_GH0.tar.gz) = 269058

Expand this list (4 items)

Collapse this list.

SHA256 (silq/tgehr-ast-3b355c8_GH0.tar.gz) = deb523b088bbae1c2eca89eb4639a9d7495a4a41adf17bba0f95fb387af21617 SIZE (silq/tgehr-ast-3b355c8_GH0.tar.gz) = 139544 SHA256 (silq/tgehr-util-68629c1_GH0.tar.gz) = 225ed34a98c3fc9ca747c5d99bc97fc6a63f4149d7edd69737acebb597132326 SIZE (silq/tgehr-util-68629c1_GH0.tar.gz) = 13323

Collapse this list.


Packages (timestamps in pop-ups are UTC):
silq
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest-20250624_1------
FreeBSD:13:quarterly-20250624------
FreeBSD:14:latest-20250624_1------
FreeBSD:14:quarterly-20250624------
FreeBSD:15:latest-20250624n/a-n/a---
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-20250624_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/92a6f80?dummy=/
Collapse this list.

Number of commits found: 23

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
20250624_1
03 Jul 2025 07:34:28
commit hash: 3e4ce725883314302ad3f2f228daf42ae0d550aacommit hash: 3e4ce725883314302ad3f2f228daf42ae0d550aacommit hash: 3e4ce725883314302ad3f2f228daf42ae0d550aacommit hash: 3e4ce725883314302ad3f2f228daf42ae0d550aa files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
D ports: Bump PORTREVISION after the compiler and build system updates

Pull Request:	https://github.com/freebsd/freebsd-ports/pull/414
20250624
27 Jun 2025 07:38:14
commit hash: 06b010677d2123022aa52bbfc794221943ea2a2bcommit hash: 06b010677d2123022aa52bbfc794221943ea2a2bcommit hash: 06b010677d2123022aa52bbfc794221943ea2a2bcommit hash: 06b010677d2123022aa52bbfc794221943ea2a2b files touched by this commit
Stefan Eßer (se) search for other commits by this committer
lang/silq: Fix distinfo

I forgot that the synthetic PORTVERSION affects the name of the
fetched dist file.
20250624
24 Jun 2025 20:56:29
commit hash: 92d03744b09ab6efa2bced6be2595c9602ce7708commit hash: 92d03744b09ab6efa2bced6be2595c9602ce7708commit hash: 92d03744b09ab6efa2bced6be2595c9602ce7708commit hash: 92d03744b09ab6efa2bced6be2595c9602ce7708 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
lang/silq: update to current development version
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: 23