From 0645a51808129b89af6d001eca96035049234b6c Mon Sep 17 00:00:00 2001
From: Dan <46821332+nsadeveloper789@users.noreply.github.com>
Date: Tue, 9 Sep 2025 15:06:13 +0000
Subject: [PATCH] GP-0: Add extension.properties for SymbolicSummaryZ3

---
 Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest | 1 +
 Ghidra/Extensions/SymbolicSummaryZ3/extension.properties   | 5 +++++
 2 files changed, 6 insertions(+)
 create mode 100644 Ghidra/Extensions/SymbolicSummaryZ3/extension.properties

diff --git a/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest b/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
index f064b42140..25445a7ec5 100644
--- a/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
+++ b/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
@@ -3,3 +3,4 @@
 Module.manifest||GHIDRA||||END|
 README.md||GHIDRA||||END|
 data/symbolic.summary.z3.theme.properties||GHIDRA||||END|
+extension.properties||GHIDRA||||END|
diff --git a/Ghidra/Extensions/SymbolicSummaryZ3/extension.properties b/Ghidra/Extensions/SymbolicSummaryZ3/extension.properties
new file mode 100644
index 0000000000..d88c2b756d
--- /dev/null
+++ b/Ghidra/Extensions/SymbolicSummaryZ3/extension.properties
@@ -0,0 +1,5 @@
+name=Symbolic Summarizer (Z3)
+description=Plugin for emulating with Z3 symbols and displaying a summary
+author=Ghidra Team et al
+createdOn=6/26/2025
+version=@extversion@