├── .github └── workflows │ └── release.yml ├── BBEdit ├── K-Maude.plist └── README ├── LICENSE.md ├── README.md ├── emacs ├── k-mode.el └── k3-mode.el ├── k-idea-plugin-src ├── .gitignore ├── .idea │ ├── .name │ ├── compiler.xml │ ├── copyright │ │ └── profiles_settings.xml │ ├── encodings.xml │ ├── misc.xml │ ├── modules.xml │ ├── scopes │ │ └── scope_settings.xml │ ├── uiDesigner.xml │ └── vcs.xml ├── DEVELOP.md ├── K-idea-plugin-screenshot.png ├── META-INF │ └── plugin.xml ├── NICE-TO-HAVE.md ├── README.md ├── k-idea-plugin.iml └── src │ └── ro │ └── uaic │ └── fmse │ └── kplugin │ ├── DocumentationUtil.java │ ├── K.bnf │ ├── K.flex │ ├── KCommenter.java │ ├── KFileType.java │ ├── KFileTypeFactory.java │ ├── KFoldingBuilder.java │ ├── KIcons.java │ ├── KLanguage.java │ ├── KParserDefinition.java │ ├── KRefactoringSupportProvider.java │ ├── RegularProductionDocumentationProvider.java │ ├── RuleVarDocumentationProvider.java │ ├── SyntaxDocumentationProvider.java │ ├── codeStyle │ ├── KCodeStyleSettings.java │ ├── KCodeStyleSettingsProvider.java │ └── KLanguageCodeStyleSettingsProvider.java │ ├── highlighting │ ├── KBraceMatcher.java │ ├── KColorSettingsDemo.txt │ ├── KColorSettingsPage.java │ ├── KSyntaxAnnotator.java │ ├── KSyntaxHighlighter.java │ └── KSyntaxHighlighterFactory.java │ ├── icons │ └── K-logo.png │ ├── navigation │ ├── KChooseByNameContributor.java │ ├── KStructureViewElement.java │ ├── KStructureViewFactory.java │ └── KStructureViewModel.java │ ├── parsing │ ├── KSyntaxRhsRegularStubElementType.java │ └── KSyntaxStubElementType.java │ ├── psi │ ├── IKIdExprBase.java │ ├── IKLabelBase.java │ ├── IKSortBase.java │ ├── IKSyntaxBase.java │ ├── IKVarDecBase.java │ ├── IModuleItem.java │ ├── KElementFactory.java │ ├── KElementType.java │ ├── KFile.java │ ├── KIdExprReference.java │ ├── KLabelReference.java │ ├── KPsiUtil.java │ ├── KRegularProduction.java │ ├── KRegularProductionIndex.java │ ├── KRegularProductionReference.java │ ├── KRegularProductionStub.java │ ├── KSortReference.java │ ├── KSyntaxSortIndex.java │ ├── KSyntaxStub.java │ ├── KTokenType.java │ ├── KVarDecReference.java │ └── impl │ │ ├── KIdExprBase.java │ │ ├── KLabelBase.java │ │ ├── KRegularProductionStubImpl.java │ │ ├── KSortBase.java │ │ ├── KSyntaxBase.java │ │ ├── KSyntaxStubImpl.java │ │ ├── KVarDecBase.java │ │ ├── PsiKSyntaxRhsAuxFunctionBase.java │ │ ├── PsiKSyntaxRhsRegularBase.java │ │ ├── SyntaxItemPresentation.java │ │ └── SyntaxRhsItemPresentation.java │ └── usages │ ├── KFindUsagesProvider.java │ ├── KSortPredicateReferenceSearcher.java │ └── KUsageTypeProvider.java ├── k-idea-plugin.jar ├── k-kak ├── README.md ├── assets │ ├── screenshot1.png │ └── screenshot2.png └── k.kak ├── k-vscode ├── .eslintrc.json ├── .gitignore ├── .vscode │ ├── launch.json │ ├── settings.json │ └── tasks.json ├── .vscodeignore ├── CHANGELOG.md ├── LICENSE.md ├── README.md ├── k-logo.png ├── language-configuration.json ├── media │ ├── completion.gif │ ├── errors.gif │ ├── gotoDef.gif │ └── selection.gif ├── package-lock.json ├── package.json ├── src │ ├── extension.ts │ └── test │ │ ├── runTest.ts │ │ └── suite │ │ ├── extension.test.ts │ │ └── index.ts ├── syntaxes │ ├── k.codeblock.tmLanguage.json │ ├── k.tmLanguage.json │ └── kore.tmLanguage.json ├── test.k ├── tsconfig.json └── vsc-extension-quickstart.md ├── latex ├── README.md ├── highlighting-example.png └── k-highlighting.tex ├── nano ├── README.md └── k.nanorc ├── notepad++ ├── README └── k_syntax_highlight_nppp.xml ├── pygments ├── README ├── pygments_k │ └── __init__.py ├── setup.cfg └── setup.py ├── spacemacs ├── README.md └── k-framework │ ├── local │ └── k-mode │ │ └── k-mode.el │ └── packages.el ├── tampermonkey-github ├── README.md └── index.js └── vim ├── README.md ├── ftdetect └── k.vim ├── ftplugin └── k.vim └── syntax └── k.vim /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /BBEdit/K-Maude.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/BBEdit/K-Maude.plist -------------------------------------------------------------------------------- /BBEdit/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/BBEdit/README -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/README.md -------------------------------------------------------------------------------- /emacs/k-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/emacs/k-mode.el -------------------------------------------------------------------------------- /emacs/k3-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/emacs/k3-mode.el -------------------------------------------------------------------------------- /k-idea-plugin-src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.gitignore -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/.name: -------------------------------------------------------------------------------- 1 | k-idea-plugin -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/compiler.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/copyright/profiles_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/copyright/profiles_settings.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/encodings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/encodings.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/misc.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/modules.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/scopes/scope_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/scopes/scope_settings.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/.idea/vcs.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/DEVELOP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/DEVELOP.md -------------------------------------------------------------------------------- /k-idea-plugin-src/K-idea-plugin-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/K-idea-plugin-screenshot.png -------------------------------------------------------------------------------- /k-idea-plugin-src/META-INF/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/META-INF/plugin.xml -------------------------------------------------------------------------------- /k-idea-plugin-src/NICE-TO-HAVE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/NICE-TO-HAVE.md -------------------------------------------------------------------------------- /k-idea-plugin-src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/README.md -------------------------------------------------------------------------------- /k-idea-plugin-src/k-idea-plugin.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/k-idea-plugin.iml -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/DocumentationUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/DocumentationUtil.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/K.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/K.bnf -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/K.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/K.flex -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KCommenter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KCommenter.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFileType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFileType.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFileTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFileTypeFactory.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFoldingBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KFoldingBuilder.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KIcons.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KIcons.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KLanguage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KLanguage.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KParserDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KParserDefinition.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KRefactoringSupportProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/KRefactoringSupportProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/RegularProductionDocumentationProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/RegularProductionDocumentationProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/RuleVarDocumentationProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/RuleVarDocumentationProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/SyntaxDocumentationProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/SyntaxDocumentationProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KCodeStyleSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KCodeStyleSettings.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KCodeStyleSettingsProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KCodeStyleSettingsProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KLanguageCodeStyleSettingsProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/codeStyle/KLanguageCodeStyleSettingsProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KBraceMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KBraceMatcher.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KColorSettingsDemo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KColorSettingsDemo.txt -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KColorSettingsPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KColorSettingsPage.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxAnnotator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxAnnotator.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxHighlighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxHighlighter.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxHighlighterFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/highlighting/KSyntaxHighlighterFactory.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/icons/K-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/icons/K-logo.png -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KChooseByNameContributor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KChooseByNameContributor.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewElement.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewFactory.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/navigation/KStructureViewModel.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/parsing/KSyntaxRhsRegularStubElementType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/parsing/KSyntaxRhsRegularStubElementType.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/parsing/KSyntaxStubElementType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/parsing/KSyntaxStubElementType.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKIdExprBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKIdExprBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKLabelBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKLabelBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKSortBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKSortBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKSyntaxBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKSyntaxBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKVarDecBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IKVarDecBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IModuleItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/IModuleItem.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KElementFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KElementFactory.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KElementType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KElementType.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KFile.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KIdExprReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KIdExprReference.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KLabelReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KLabelReference.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KPsiUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KPsiUtil.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProduction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProduction.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionIndex.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionReference.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KRegularProductionStub.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSortReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSortReference.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSyntaxSortIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSyntaxSortIndex.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSyntaxStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KSyntaxStub.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KTokenType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KTokenType.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KVarDecReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/KVarDecReference.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KIdExprBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KIdExprBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KLabelBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KLabelBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KRegularProductionStubImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KRegularProductionStubImpl.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSortBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSortBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSyntaxBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSyntaxBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSyntaxStubImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KSyntaxStubImpl.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KVarDecBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/KVarDecBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/PsiKSyntaxRhsAuxFunctionBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/PsiKSyntaxRhsAuxFunctionBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/PsiKSyntaxRhsRegularBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/PsiKSyntaxRhsRegularBase.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/SyntaxItemPresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/SyntaxItemPresentation.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/SyntaxRhsItemPresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/psi/impl/SyntaxRhsItemPresentation.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KFindUsagesProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KFindUsagesProvider.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KSortPredicateReferenceSearcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KSortPredicateReferenceSearcher.java -------------------------------------------------------------------------------- /k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KUsageTypeProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin-src/src/ro/uaic/fmse/kplugin/usages/KUsageTypeProvider.java -------------------------------------------------------------------------------- /k-idea-plugin.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-idea-plugin.jar -------------------------------------------------------------------------------- /k-kak/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-kak/README.md -------------------------------------------------------------------------------- /k-kak/assets/screenshot1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-kak/assets/screenshot1.png -------------------------------------------------------------------------------- /k-kak/assets/screenshot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-kak/assets/screenshot2.png -------------------------------------------------------------------------------- /k-kak/k.kak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-kak/k.kak -------------------------------------------------------------------------------- /k-vscode/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.eslintrc.json -------------------------------------------------------------------------------- /k-vscode/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.gitignore -------------------------------------------------------------------------------- /k-vscode/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.vscode/launch.json -------------------------------------------------------------------------------- /k-vscode/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.vscode/settings.json -------------------------------------------------------------------------------- /k-vscode/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.vscode/tasks.json -------------------------------------------------------------------------------- /k-vscode/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/.vscodeignore -------------------------------------------------------------------------------- /k-vscode/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/CHANGELOG.md -------------------------------------------------------------------------------- /k-vscode/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/LICENSE.md -------------------------------------------------------------------------------- /k-vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/README.md -------------------------------------------------------------------------------- /k-vscode/k-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/k-logo.png -------------------------------------------------------------------------------- /k-vscode/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/language-configuration.json -------------------------------------------------------------------------------- /k-vscode/media/completion.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/media/completion.gif -------------------------------------------------------------------------------- /k-vscode/media/errors.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/media/errors.gif -------------------------------------------------------------------------------- /k-vscode/media/gotoDef.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/media/gotoDef.gif -------------------------------------------------------------------------------- /k-vscode/media/selection.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/media/selection.gif -------------------------------------------------------------------------------- /k-vscode/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/package-lock.json -------------------------------------------------------------------------------- /k-vscode/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/package.json -------------------------------------------------------------------------------- /k-vscode/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/src/extension.ts -------------------------------------------------------------------------------- /k-vscode/src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/src/test/runTest.ts -------------------------------------------------------------------------------- /k-vscode/src/test/suite/extension.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/src/test/suite/extension.test.ts -------------------------------------------------------------------------------- /k-vscode/src/test/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/src/test/suite/index.ts -------------------------------------------------------------------------------- /k-vscode/syntaxes/k.codeblock.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/syntaxes/k.codeblock.tmLanguage.json -------------------------------------------------------------------------------- /k-vscode/syntaxes/k.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/syntaxes/k.tmLanguage.json -------------------------------------------------------------------------------- /k-vscode/syntaxes/kore.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/syntaxes/kore.tmLanguage.json -------------------------------------------------------------------------------- /k-vscode/test.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/test.k -------------------------------------------------------------------------------- /k-vscode/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/tsconfig.json -------------------------------------------------------------------------------- /k-vscode/vsc-extension-quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/k-vscode/vsc-extension-quickstart.md -------------------------------------------------------------------------------- /latex/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/latex/README.md -------------------------------------------------------------------------------- /latex/highlighting-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/latex/highlighting-example.png -------------------------------------------------------------------------------- /latex/k-highlighting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/latex/k-highlighting.tex -------------------------------------------------------------------------------- /nano/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/nano/README.md -------------------------------------------------------------------------------- /nano/k.nanorc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/nano/k.nanorc -------------------------------------------------------------------------------- /notepad++/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/notepad++/README -------------------------------------------------------------------------------- /notepad++/k_syntax_highlight_nppp.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/notepad++/k_syntax_highlight_nppp.xml -------------------------------------------------------------------------------- /pygments/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/pygments/README -------------------------------------------------------------------------------- /pygments/pygments_k/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/pygments/pygments_k/__init__.py -------------------------------------------------------------------------------- /pygments/setup.cfg: -------------------------------------------------------------------------------- 1 | [easy_install] 2 | 3 | -------------------------------------------------------------------------------- /pygments/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/pygments/setup.py -------------------------------------------------------------------------------- /spacemacs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/spacemacs/README.md -------------------------------------------------------------------------------- /spacemacs/k-framework/local/k-mode/k-mode.el: -------------------------------------------------------------------------------- 1 | ../../../../emacs/k-mode.el -------------------------------------------------------------------------------- /spacemacs/k-framework/packages.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/spacemacs/k-framework/packages.el -------------------------------------------------------------------------------- /tampermonkey-github/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/tampermonkey-github/README.md -------------------------------------------------------------------------------- /tampermonkey-github/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/tampermonkey-github/index.js -------------------------------------------------------------------------------- /vim/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/vim/README.md -------------------------------------------------------------------------------- /vim/ftdetect/k.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/vim/ftdetect/k.vim -------------------------------------------------------------------------------- /vim/ftplugin/k.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/vim/ftplugin/k.vim -------------------------------------------------------------------------------- /vim/syntax/k.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/k-editor-support/HEAD/vim/syntax/k.vim --------------------------------------------------------------------------------