From 2ce30019ee78fa7dd8392bf9ab3c689b1fe47e9c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Oct 2025 14:06:36 -0700 Subject: [PATCH] remove old files Signed-off-by: Nikolaj Bjorner --- src/ast/finite_sets_decl_plugin.cpp | 0 src/ast/finite_sets_decl_plugin.h | 27 --------------------------- 2 files changed, 27 deletions(-) delete mode 100644 src/ast/finite_sets_decl_plugin.cpp delete mode 100644 src/ast/finite_sets_decl_plugin.h diff --git a/src/ast/finite_sets_decl_plugin.cpp b/src/ast/finite_sets_decl_plugin.cpp deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/ast/finite_sets_decl_plugin.h b/src/ast/finite_sets_decl_plugin.h deleted file mode 100644 index 7203e0ff8..000000000 --- a/src/ast/finite_sets_decl_plugin.h +++ /dev/null @@ -1,27 +0,0 @@ -/*++ -Copyright (c) 2025 Microsoft Corporation - -Module Name: - - finite_sets_decl_plugin.h - -Abstract: - Declaration plugin for finite sets signatures - -Sort: - FiniteSet(S) - -Operators: - set.empty : (FiniteSet S) - set.union : (FiniteSet S) (FiniteSet S) -> (FiniteSet S) - set.intersect : (FiniteSet S) (FiniteSet S) -> (FiniteSet S) - set.difference : (FiniteSet S) (FiniteSet S) -> (FiniteSet S) - set.singleton : S -> (FiniteSet S) - set.in : S (FiniteSet S) -> Bool - set.size : (FiniteSet S) -> Int - set.subset : (FiniteSet S) (FiniteSet S) -> Bool - set.map : (S -> T) (FiniteSet S) -> (FiniteSet T) - set.filter : (S -> Bool) (FiniteSet S) -> (FiniteSet S) - set.range : Int Int -> (FiniteSet Int) - ---*/