From 27702ba09c5f01a8841c0c3683304d136a911eb2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 30 Aug 2024 17:35:39 -0700
Subject: [PATCH] Rename source files for consistency in `src/ast/sls`
 directory

---
 src/ast/sls/{bv_sls_eval.cpp => sls_bv_eval.cpp}        | 0
 src/ast/sls/{bv_sls_eval.h => sls_bv_eval.h}            | 0
 src/ast/sls/{bv_sls_fixed.cpp => sls_bv_fixed.cpp}      | 0
 src/ast/sls/{bv_sls_fixed.h => sls_bv_fixed.h}          | 0
 src/ast/sls/{bv_sls_terms.cpp => sls_bv_terms.cpp}      | 0
 src/ast/sls/{bv_sls_terms.h => sls_bv_terms.h}          | 0
 src/ast/sls/{sls_valuation.cpp => sls_bv_valuation.cpp} | 0
 src/ast/sls/{sls_valuation.h => sls_bv_valuation.h}     | 0
 8 files changed, 0 insertions(+), 0 deletions(-)
 rename src/ast/sls/{bv_sls_eval.cpp => sls_bv_eval.cpp} (100%)
 rename src/ast/sls/{bv_sls_eval.h => sls_bv_eval.h} (100%)
 rename src/ast/sls/{bv_sls_fixed.cpp => sls_bv_fixed.cpp} (100%)
 rename src/ast/sls/{bv_sls_fixed.h => sls_bv_fixed.h} (100%)
 rename src/ast/sls/{bv_sls_terms.cpp => sls_bv_terms.cpp} (100%)
 rename src/ast/sls/{bv_sls_terms.h => sls_bv_terms.h} (100%)
 rename src/ast/sls/{sls_valuation.cpp => sls_bv_valuation.cpp} (100%)
 rename src/ast/sls/{sls_valuation.h => sls_bv_valuation.h} (100%)

diff --git a/src/ast/sls/bv_sls_eval.cpp b/src/ast/sls/sls_bv_eval.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_eval.cpp
rename to src/ast/sls/sls_bv_eval.cpp
diff --git a/src/ast/sls/bv_sls_eval.h b/src/ast/sls/sls_bv_eval.h
similarity index 100%
rename from src/ast/sls/bv_sls_eval.h
rename to src/ast/sls/sls_bv_eval.h
diff --git a/src/ast/sls/bv_sls_fixed.cpp b/src/ast/sls/sls_bv_fixed.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_fixed.cpp
rename to src/ast/sls/sls_bv_fixed.cpp
diff --git a/src/ast/sls/bv_sls_fixed.h b/src/ast/sls/sls_bv_fixed.h
similarity index 100%
rename from src/ast/sls/bv_sls_fixed.h
rename to src/ast/sls/sls_bv_fixed.h
diff --git a/src/ast/sls/bv_sls_terms.cpp b/src/ast/sls/sls_bv_terms.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_terms.cpp
rename to src/ast/sls/sls_bv_terms.cpp
diff --git a/src/ast/sls/bv_sls_terms.h b/src/ast/sls/sls_bv_terms.h
similarity index 100%
rename from src/ast/sls/bv_sls_terms.h
rename to src/ast/sls/sls_bv_terms.h
diff --git a/src/ast/sls/sls_valuation.cpp b/src/ast/sls/sls_bv_valuation.cpp
similarity index 100%
rename from src/ast/sls/sls_valuation.cpp
rename to src/ast/sls/sls_bv_valuation.cpp
diff --git a/src/ast/sls/sls_valuation.h b/src/ast/sls/sls_bv_valuation.h
similarity index 100%
rename from src/ast/sls/sls_valuation.h
rename to src/ast/sls/sls_bv_valuation.h