From 2d3f92a2e686f4795340e298fefb5d681432395d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Sep 2024 17:52:05 -0700
Subject: [PATCH] Rename SLS engine related files to reflect their specific use
 for bit-vectors

---
 src/ast/sls/{sls_engine.cpp => sls_bv_engine.cpp}   | 0
 src/ast/sls/{sls_engine.h => sls_bv_engine.h}       | 0
 src/ast/sls/{sls_evaluator.h => sls_bv_evaluator.h} | 0
 src/ast/sls/{sls_tracker.h => sls_bv_tracker.h}     | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename src/ast/sls/{sls_engine.cpp => sls_bv_engine.cpp} (100%)
 rename src/ast/sls/{sls_engine.h => sls_bv_engine.h} (100%)
 rename src/ast/sls/{sls_evaluator.h => sls_bv_evaluator.h} (100%)
 rename src/ast/sls/{sls_tracker.h => sls_bv_tracker.h} (100%)

diff --git a/src/ast/sls/sls_engine.cpp b/src/ast/sls/sls_bv_engine.cpp
similarity index 100%
rename from src/ast/sls/sls_engine.cpp
rename to src/ast/sls/sls_bv_engine.cpp
diff --git a/src/ast/sls/sls_engine.h b/src/ast/sls/sls_bv_engine.h
similarity index 100%
rename from src/ast/sls/sls_engine.h
rename to src/ast/sls/sls_bv_engine.h
diff --git a/src/ast/sls/sls_evaluator.h b/src/ast/sls/sls_bv_evaluator.h
similarity index 100%
rename from src/ast/sls/sls_evaluator.h
rename to src/ast/sls/sls_bv_evaluator.h
diff --git a/src/ast/sls/sls_tracker.h b/src/ast/sls/sls_bv_tracker.h
similarity index 100%
rename from src/ast/sls/sls_tracker.h
rename to src/ast/sls/sls_bv_tracker.h