Skip to content

Commit

Permalink
llvm-backend/src/main/native/llvm-backend: Set Version 14c372e93bf613…
Browse files Browse the repository at this point in the history 
…3b2c780868dcda8bb2abbe6d8b
  • Loading branch information
devops committed Dec 12, 2023
1 parent 1c2da91 commit b42bdd4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion llvm-backend/src/main/native/llvm-backend
Submodule llvm-backend updated 15 files
+23 −0 .github/workflows/clang-format-check.yml
+0 −50 .github/workflows/update.yml
+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
+446 −26 nix/llvm-backend-matching.mavenix.lock

0 comments on commit b42bdd4

Please sign in to comment.