Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/dead-cpp-removal/./tests/server_interactive
tree: f4103191de81432e6cd45769b388d2bb0372404d [search]
  1. 1018unknowMVarIssue.lean
  2. 1018unknowMVarIssue.lean.out.expected
  3. 1031.lean
  4. 10898.lean
  5. 10898.lean.out.expected
  6. 12369.lean
  7. 12369.lean.out.expected
  8. 1265.lean
  9. 1265.lean.out.expected
  10. 1403.lean
  11. 1403.lean.out.expected
  12. 15053.lean
  13. 15053.lean.out.expected
  14. 1525.lean
  15. 1659.lean
  16. 1659.lean.out.expected
  17. 2058.lean
  18. 2058.lean.out.expected
  19. 2881.lean
  20. 2881.lean.out.expected
  21. 4078.lean
  22. 4078.lean.out.expected
  23. 4880.lean
  24. 4880.lean.out.expected
  25. 533.lean
  26. 533.lean.out.expected
  27. 5659.lean
  28. 5659.lean.out.expected
  29. 6594.lean
  30. 6594.lean.out.expected
  31. 8108.lean
  32. 8108.lean.out.expected
  33. 863.lean
  34. 863.lean.out.expected
  35. amb.lean
  36. amb.lean.out.expected
  37. anonHyp.lean
  38. anonHyp.lean.out.expected
  39. autoBoundIssue.lean
  40. autoBoundIssue.lean.out.expected
  41. builtinCodeactions.lean
  42. builtinCodeactions.lean.out.expected
  43. cancellation.lean
  44. cancellation.lean.out.expected
  45. cancellation_empty_by.lean
  46. cancellation_empty_by.lean.out.expected
  47. cancellation_par.lean
  48. cancellation_par.lean.out.expected
  49. cancellation_try_plain.lean
  50. cancellation_try_plain.lean.out.expected
  51. catHover.lean
  52. catHover.lean.out.expected
  53. codeaction.lean
  54. codeaction.lean.out.expected
  55. codeActions.lean
  56. codeActions.lean.out.expected
  57. compHeader.lean
  58. compHeader.lean.out.expected
  59. completion.lean
  60. completion.lean.out.expected
  61. completion2.lean
  62. completion2.lean.out.expected
  63. completion3.lean
  64. completion3.lean.out.expected
  65. completion4.lean
  66. completion4.lean.out.expected
  67. completion5.lean
  68. completion5.lean.out.expected
  69. completion6.lean
  70. completion6.lean.out.expected
  71. completion7.lean
  72. completion7.lean.out.expected
  73. completionAtPrint.lean
  74. completionAtPrint.lean.out.expected
  75. completionBracketedDot.lean
  76. completionBracketedDot.lean.out.expected
  77. completionCheck.lean
  78. completionCheck.lean.out.expected
  79. completionDanglingDot.lean
  80. completionDanglingDot.lean.out.expected
  81. completionDeprecation.lean
  82. completionDeprecation.lean.out.expected
  83. completionEmptyBy.lean
  84. completionEmptyBy.lean.out.expected
  85. completionEmptyByBracketed.lean
  86. completionEmptyByBracketed.lean.out.expected
  87. completionEndSection.lean
  88. completionEndSection.lean.out.expected
  89. completionEOF.lean
  90. completionEOF.lean.out.expected
  91. completionFallback.lean
  92. completionFallback.lean.out.expected
  93. completionFromExpectedType.lean
  94. completionFromExpectedType.lean.out.expected
  95. completionIStr.lean
  96. completionIStr.lean.out.expected
  97. completionOpenNamespaces.lean
  98. completionOpenNamespaces.lean.out.expected
  99. completionOption.lean
  100. completionOption.lean.out.expected
  101. completionPrefixIssue.lean
  102. completionPrefixIssue.lean.out.expected
  103. completionPrivateTypes.lean
  104. completionPrivateTypes.lean.out.expected
  105. completionPrv.lean
  106. completionPrv.lean.out.expected
  107. completionStructureInstance.lean
  108. completionStructureInstance.lean.out.expected
  109. completionTactics.lean
  110. completionTactics.lean.out.expected
  111. compNamespace.lean
  112. compNamespace.lean.out.expected
  113. definition.lean
  114. definition.lean.out.expected
  115. Diff.lean
  116. Diff.lean.out.expected
  117. discrsIssue.lean
  118. discrsIssue.lean.out.expected
  119. docstringLinksExamples.lean
  120. docstringLinksExamples.lean.out.expected
  121. documentSymbols.lean
  122. documentSymbols.lean.out.expected
  123. dotIdCompletion.lean
  124. dotIdCompletion.lean.out.expected
  125. dottedIdentNotation.lean
  126. dottedIdentNotation.lean.out.expected
  127. editAfterError.lean
  128. editAfterError.lean.out.expected
  129. editCompletion.lean
  130. editCompletion.lean.out.expected
  131. errorExplanationInteractive.lean
  132. errorExplanationInteractive.lean.out.expected
  133. expectedTypeAsGoal.lean
  134. expectedTypeAsGoal.lean.out.expected
  135. explicitAppInstHole.lean
  136. explicitAppInstHole.lean.out.expected
  137. findReferences.lean
  138. findReferences.lean.out.expected
  139. foldingRange.lean
  140. foldingRange.lean.out.expected
  141. fvarIdCollision.lean
  142. fvarIdCollision.lean.out.expected
  143. ghostGoals.lean
  144. ghostGoals.lean.out.expected
  145. goalEOF.lean
  146. goalEOF.lean.out.expected
  147. goalIssue.lean
  148. goalIssue.lean.out.expected
  149. goalsAccomplished.lean
  150. goalsAccomplished.lean.out.expected
  151. goTo.lean
  152. goTo.lean.out.expected
  153. goTo2.lean
  154. goTo2.lean.out.expected
  155. goToMutVarAfterFor.lean
  156. goToMutVarAfterFor.lean.out.expected
  157. guardMsgsCodeAction.lean
  158. guardMsgsCodeAction.lean.out.expected
  159. haveInfo.lean
  160. haveInfo.lean.out.expected
  161. highlight.lean
  162. highlight.lean.out.expected
  163. highlightMatches.lean
  164. highlightMatches.lean.out.expected
  165. hover.lean
  166. hover.lean.out.expected
  167. hoverAt.lean
  168. hoverAt.lean.out.expected
  169. hoverBinderUnderscore.lean
  170. hoverBinderUnderscore.lean.out.expected
  171. hoverDoForIn.lean
  172. hoverDoForIn.lean.out.expected
  173. hoverDot.lean
  174. hoverDot.lean.out.expected
  175. hoverException.lean
  176. hoverException.lean.out.expected
  177. hoverMatch.lean
  178. hoverMatch.lean.out.expected
  179. hoverMutVarInDiagnostic.lean
  180. hoverMutVarInDiagnostic.lean.out.expected
  181. hoverTacticExt.lean
  182. hoverTacticExt.lean.out.expected
  183. hoverTacticHoleSibling.lean
  184. hoverTacticHoleSibling.lean.out.expected
  185. importCompletion.lean
  186. importCompletion.lean.out.expected
  187. impossibleTactic.lean
  188. impossibleTactic.lean.out.expected
  189. incomingCallHierarchy.lean
  190. incomingCallHierarchy.lean.out.expected
  191. incomingCallHierarchyWhere.lean
  192. incomingCallHierarchyWhere.lean.out.expected
  193. incrementalCombinator.lean
  194. incrementalCombinator.lean.out.expected
  195. incrementalCommand.lean
  196. incrementalCommand.lean.out.expected
  197. incrementalInduction.lean
  198. incrementalInduction.lean.out.expected
  199. incrementalMutual.lean
  200. incrementalMutual.lean.out.expected
  201. incrementalTactic.lean
  202. incrementalTactic.lean.out.expected
  203. infoIssues.lean
  204. infoIssues.lean.out.expected
  205. inlayHints.lean
  206. inlayHints.lean.out.expected
  207. interactiveDiagnostics.lean
  208. interactiveDiagnostics.lean.out.expected
  209. interactiveGoalGoToLoc.lean
  210. interactiveGoalGoToLoc.lean.out.expected
  211. interactiveGoalPopups.lean
  212. interactiveGoalPopups.lean.out.expected
  213. interactiveTermGoals.lean
  214. interactiveTermGoals.lean.out.expected
  215. interactiveTraces.lean
  216. interactiveTraces.lean.out.expected
  217. internalNamesIssue.lean
  218. internalNamesIssue.lean.out.expected
  219. inWordCompletion.lean
  220. inWordCompletion.lean.out.expected
  221. isRflParallel.lean
  222. issue13705.lean
  223. issue13705.lean.out.expected
  224. issue13705_exact.lean
  225. issue13705_exact.lean.out.expected
  226. issue14218.lean
  227. issue14218.lean.out.expected
  228. issue4527.lean
  229. issue4527.lean.out.expected
  230. issue5021.lean
  231. issue5021.lean.out.expected
  232. issue5597.lean
  233. issue5597.lean.out.expected
  234. jumpMutual.lean
  235. jumpMutual.lean.out.expected
  236. keywordCompletion.lean
  237. keywordCompletion.lean.out.expected
  238. lean3HoverIssue.lean
  239. lean3HoverIssue.lean.out.expected
  240. linterCodeAction.lean
  241. linterCodeAction.lean.out.expected
  242. macroGoalIssue.lean
  243. macroGoalIssue.lean.out.expected
  244. match.lean
  245. match.lean.out.expected
  246. matchPatternHover.lean
  247. matchPatternHover.lean.out.expected
  248. matchStxCompletion.lean
  249. matchStxCompletion.lean.out.expected
  250. moduleHierarchyImports.lean
  251. moduleHierarchyImports.lean.out.expected
  252. outgoingCallHierarchy.lean
  253. outgoingCallHierarchy.lean.out.expected
  254. partialNamespace.lean
  255. partialNamespace.lean.out.expected
  256. plainGoal.lean
  257. plainGoal.lean.out.expected
  258. plainGoalEmptyBy.lean
  259. plainGoalEmptyBy.lean.out.expected
  260. plainGoalEmptyByNested.lean
  261. plainGoalEmptyByNested.lean.out.expected
  262. plainTermGoal.lean
  263. plainTermGoal.lean.out.expected
  264. postprocess_traces_hover.lean
  265. postprocess_traces_hover.lean.out.expected
  266. ppShowLetValues.lean
  267. ppShowLetValues.lean.out.expected
  268. rename.lean
  269. rename.lean.out.expected
  270. run_test.lean
  271. run_test.sh
  272. rwElabConst.lean
  273. rwElabConst.lean.out.expected
  274. semanticTokens.lean
  275. semanticTokens.lean.out.expected
  276. semanticTokensVersoDocs.lean
  277. semanticTokensVersoDocs.lean.out.expected
  278. signatureHelp.lean
  279. signatureHelp.lean.out.expected
  280. stdOutput.lean
  281. strInterpSynthError.lean
  282. strInterpSynthError.lean.out.expected
  283. structGoTo.lean
  284. structGoTo.lean.out.expected
  285. structInstFieldHints.lean
  286. structInstFieldHints.lean.out.expected
  287. structNameParentProj.lean
  288. structNameParentProj.lean.out.expected
  289. tacticInduction.lean
  290. tacticInduction.lean.out.expected
  291. terminationBySuggestion.lean
  292. terminationBySuggestion.lean.out.expected
  293. travellingCompletions.lean
  294. travellingCompletions.lean.out.expected
  295. tryThisCodeAction.lean
  296. tryThisCodeAction.lean.out.expected
  297. unknownIdentifierCodeActions.lean
  298. unknownIdentifierCodeActions.lean.out.expected
  299. unterminatedDocComment.lean
  300. unterminatedDocComment.lean.out.expected
  301. userWidget.lean
  302. userWidget.lean.out.expected
  303. workspaceSymbols.lean
  304. workspaceSymbols.lean.out.expected