https://github.com/runtimeverification/llvm-backend
KORE to llvm translation
https://github.com/runtimeverification/llvm-backend
Last synced: 5 months ago
JSON representation
KORE to llvm translation
- Host: GitHub
- URL: https://github.com/runtimeverification/llvm-backend
- Owner: runtimeverification
- License: bsd-3-clause
- Created: 2018-07-24T20:04:47.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2025-10-15T05:22:04.000Z (8 months ago)
- Last Synced: 2025-10-15T17:36:16.654Z (8 months ago)
- Language: C++
- Size: 13.5 MB
- Stars: 40
- Watchers: 25
- Forks: 23
- Open Issues: 42
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
## LLVM Backend for KORE
This project implements a fast concrete rewriting engine for KORE, the internal
representation of the [K Framework][K], along with a set of related tools and
utilities. Direct usage of this repository is intended for advanced K users and
core developers; most use cases are supported by the user-facing K tools.
Internal documentation for core developers and advanced K users can be found in
the [`docs/`](docs) directory.
For developer setup instructions, refer to [INSTALL.md](INSTALL.md).
## Git Workflow
PRs to this repository should target the `develop` branch, rather than `master`.
When a PR is merged to `develop`, a version update and release happens
automatically in CI.
[K]: https://github.com/runtimeverification/k