2 files changed
+7
-7
lines changedLines changed: 6 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Submodule llvm-backend updated 8 files
- .github/workflows/test-flake.yml+2-2
- .github/workflows/test.yml+2-2
- matching/README.md+1-1
- matching/src/main/scala/org/kframework/backend/llvm/matching/pattern/Pattern.scala+4-2
- nix/llvm-backend.nix+2-2
- test/defn/issue-539-priorities.kore+7.1k
- test/input/issue-539-priorities.in+1
- test/output/issue-539-priorities.out.diff+1
0 commit comments