Update dependency: llvm-backend/src/main/native/llvm-backend (#3868)

Co-authored-by: devops <[email protected]>
runtimeverification · Dec 12, 2023 · 8528219 · 8528219
1 parent 293140f
commit 8528219
Show file tree

Hide file tree

Showing 2 changed files with 53 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+23 −0		.github/workflows/clang-format-check.yml
+0 −50		.github/workflows/update.yml
+68 −0		default.nix
+51 −2		flake.lock
+7 −10		flake.nix
+27 −0		matching/.scalafmt.conf
+15 −0		matching/pom.xml
+99 −52		matching/src/main/scala/org/kframework/backend/llvm/matching/Constructor.scala
+185 −90		matching/src/main/scala/org/kframework/backend/llvm/matching/Generator.scala
+190 −82		matching/src/main/scala/org/kframework/backend/llvm/matching/Heuristics.scala
+53 −27		matching/src/main/scala/org/kframework/backend/llvm/matching/Matching.scala
+568 −272		matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
+15 −16		matching/src/main/scala/org/kframework/backend/llvm/matching/Occurrence.scala
+302 −174		matching/src/main/scala/org/kframework/backend/llvm/matching/Parser.scala
+187 −94		matching/src/main/scala/org/kframework/backend/llvm/matching/dt/DecisionTree.scala
+674 −262		matching/src/main/scala/org/kframework/backend/llvm/matching/pattern/Pattern.scala
+395 −146		matching/src/main/scala/org/kframework/backend/llvm/matching/pattern/SortCategory.scala
+0 −74		nix/build-maven-package.nix
+7 −0		nix/devShell.nix
+5,784 −0		nix/llvm-backend-matching.mavenix.lock
+53 −12		nix/llvm-backend-matching.nix
+0 −44		nix/maven.nix
+3 −2		nix/overlay.nix
+50 −0		nix/sources.json
+205 −0		nix/sources.nix
+14 −0		shell.nix
+17 −0		test.nix