Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 18, 2024 · a1e4104 · a1e4104
2 parents 38db4cd + 30fbef2
commit a1e4104
Show file tree

Hide file tree

Showing 2 changed files with 4 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
+13 −0		include/kllvm/ast/AST.h
+18 −0		lib/ast/definition.cpp