Merge remote-tracking branch 'origin/develop'

runtimeverification · Sep 29, 2023 · ce1c009 · ce1c009
2 parents 879f903 + 4435263
commit ce1c009
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 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
+12 −7		include/kllvm/codegen/CreateTerm.h
+147 −213		lib/codegen/CreateTerm.cpp
+2 −2		matching/pom.xml
+16 −13		matching/src/main/scala/org/kframework/backend/llvm/matching/Generator.scala
+52 −48		matching/src/main/scala/org/kframework/backend/llvm/matching/Parser.scala
+582 −1,562		nix/llvm-backend-matching.mavenix.lock