2 files changed, 0 insertions, 46 deletions
diff --git a/patches/fuzzolic-timeout-solver.patch b/patches/fuzzolic-timeout-solver.patch
deleted file mode 100644
index 95b971b..0000000
--- a/patches/fuzzolic-timeout-solver.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-From f06525aaf9790b0eecef317e4aaf444189e6042b Mon Sep 17 00:00:00 2001
-From: Andrew Haberlandt <ahaberla@andrew.cmu.edu>
-Date: Sun, 19 May 2024 06:46:05 +0000
-Subject: [PATCH] fix: executor fails to kill solver if it hangs
-
----
- fuzzolic/executor.py | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/fuzzolic/executor.py b/fuzzolic/executor.py
-index 39c6aa6..e660314 100644
---- a/fuzzolic/executor.py
-+++ b/fuzzolic/executor.py
-@@ -449,7 +449,7 @@ def fuzz_one(self, testcase, target, force_smt=False):
-                 print('[FUZZOLIC] Solver is taking too long. Let us stop it.')
-                 p_solver.send_signal(signal.SIGUSR2)
-                 try:
--                    p_solver.wait(SOLVER_TIMEOUT)
-+                    p_solver.wait(SOLVER_TIMEOUT / 1000)
-                 except subprocess.TimeoutExpired:
-                     print('[FUZZOLIC] Solver will be killed.')
-                     p_solver.send_signal(signal.SIGKILL)
diff --git a/patches/qemu-for-fuzzolic-static-global.patch b/patches/qemu-for-fuzzolic-static-global.patch
deleted file mode 100644
index 0cb52af..0000000
--- a/patches/qemu-for-fuzzolic-static-global.patch
+++ /dev/null
@@ -1,24 +0,0 @@
-commit a0646eac1b56e4df51e7c6d2e99cb8807c59a1a3
-Author: Nguyễn Gia Phong <cnx@loang.net>
-Date:   2025-04-30 12:10:05 +0900
-
-    Avoid global variable in header
-    
-    Such global would be defined in each compilation unit including the header,
-    preventing them from being linked together.
-
-diff --git a/tcg/symbolic/symbolic-struct.h b/tcg/symbolic/symbolic-struct.h
-index 350522935bf9..684d32acfebd 100644
---- a/tcg/symbolic/symbolic-struct.h
-+++ b/tcg/symbolic/symbolic-struct.h
-@@ -503,9 +503,9 @@ static inline size_t get_opkind_width(OPKIND opkind)
- }
- 
- #define MAX_PRINT_CHECK (1024 * 1024)
--uint8_t            printed[MAX_PRINT_CHECK];
- static inline void print_expr_internal(Expr* expr, uint8_t reset)
- {
-+    static uint8_t printed[MAX_PRINT_CHECK];
-     if (reset)
-         for (size_t i = 0; i < MAX_PRINT_CHECK; i++)
-             printed[i] = 0;