cleaned up jgproject files

cornell-c2s2 · Feb 20, 2025 · 439a7e3 · 439a7e3
1 parent f84ea52
commit 439a7e3
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 146 deletions.
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/.rtldsdb.back b/src/spi/tests/jgproject/sessionLogs.bak/session_0/.rtldsdb.back
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/jg_session_0.cmd b/src/spi/tests/jgproject/sessionLogs.bak/session_0/jg_session_0.cmd
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/proofMaster b/src/spi/tests/jgproject/sessionLogs.bak/session_0/proofMaster
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/proveCache b/src/spi/tests/jgproject/sessionLogs.bak/session_0/proveCache
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/sec b/src/spi/tests/jgproject/sessionLogs.bak/session_0/sec
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/settings/preferences.conf b/src/spi/tests/jgproject/sessionLogs.bak/session_0/settings/preferences.conf
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/APEF.0.engine_cache b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/APEF.0.engine_cache
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/baseline_database.apdb b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/baseline_database.apdb
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/baseline_database.ddk b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/baseline_database.ddk
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.afldb.apdb b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.afldb.apdb
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.apdb b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.apdb
diff --git a/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.ddk b/src/spi/tests/jgproject/sessionLogs.bak/session_0/work/database.ddk