{"id":25728863,"url":"https://github.com/stephanlukasczyk/vim-syntax-specautomata","last_synced_at":"2026-06-15T19:31:07.128Z","repository":{"id":87411943,"uuid":"79911204","full_name":"stephanlukasczyk/vim-syntax-specautomata","owner":"stephanlukasczyk","description":"A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata","archived":false,"fork":false,"pushed_at":"2017-11-06T06:38:29.000Z","size":7,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-11-18T19:23:50.732Z","etag":null,"topics":["cpachecker","vim","vim-settings"],"latest_commit_sha":null,"homepage":null,"language":"Vim script","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/stephanlukasczyk.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-01-24T12:51:55.000Z","updated_at":"2017-01-24T17:31:44.000Z","dependencies_parsed_at":null,"dependency_job_id":"1244db96-7541-4296-80b7-aa71a3ec60b0","html_url":"https://github.com/stephanlukasczyk/vim-syntax-specautomata","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/stephanlukasczyk/vim-syntax-specautomata","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stephanlukasczyk%2Fvim-syntax-specautomata","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stephanlukasczyk%2Fvim-syntax-specautomata/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stephanlukasczyk%2Fvim-syntax-specautomata/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stephanlukasczyk%2Fvim-syntax-specautomata/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/stephanlukasczyk","download_url":"https://codeload.github.com/stephanlukasczyk/vim-syntax-specautomata/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stephanlukasczyk%2Fvim-syntax-specautomata/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34377872,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-15T02:00:07.085Z","response_time":63,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cpachecker","vim","vim-settings"],"created_at":"2025-02-26T00:27:44.001Z","updated_at":"2026-06-15T19:31:07.109Z","avatar_url":"https://github.com/stephanlukasczyk.png","language":"Vim script","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Vim Syntax Highlighting for CPAchecker Specification Automata\n\nThis plugin provides custom syntax highlighting for the specification automata\nused in [CPAchecker](https://cpachecker.sosy-lab.org).\n\nThe easiest way to install is using a plugin manager.  For\n[vundle](https://github.com/VundleVim/Vundle.vim) just add\n\n```vim\nPlugin 'stephanlukasczyk/vim-syntax-specautomata'\n```\n\nand for [vim-plug](https://github.com/junegunn/vim-plug) just add\n\n```vim\nPlug 'stephanlukasczyk/vim-syntax-specautomata'\n```\n\nto your `.vimrc`.  To get the completion working it might be necessary to add those further lines\n\n```vim\nau BufNewFile,BufRead *.spc set filetype=vim-syntax-specautomata\nau BufNewFile,BufRead *.spc setfiletype=vim-syntax-specautomata\n```\n\n## License\n\nThe MIT License\n\nCopyright (c) 2017, Stephan Lukasczyk\n\nPermission is hereby granted, free of charge, to any person obtaining a copy\nof this software and associated documentation files (the \"Software\"), to deal\nin the Software without restriction, including without limitation the rights\nto use, copy, modify, merge, publish, distribute, sublicense, and/or sell\ncopies of the Software, and to permit persons to whom the Software is\nfurnished to do so, subject to the following conditions:\n\nThe above copyright notice and this permission notice shall be included in\nall copies or substantial portions of the Software.\n\nTHE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\nIMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,\nFITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE\nAUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER\nLIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,\nOUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN\nTHE SOFTWARE.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstephanlukasczyk%2Fvim-syntax-specautomata","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstephanlukasczyk%2Fvim-syntax-specautomata","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstephanlukasczyk%2Fvim-syntax-specautomata/lists"}