Finish setting version to 3.0a1

Author: bpuchala

python/pyproject.toml

@@ -4,7 +4,7 @@ requires = [
     "setuptools",
     "wheel",
     "pybind11~=3.0",
-    "libcasm-global>=2.0.6",
-    "libcasm-xtal>=2.0.0,<3.0.0",
+    "libcasm-global>=2.3.0",
+    "libcasm-xtal>=3.0a1,<4",
 ]
 build-backend = "setuptools.build_meta"

python/setup.py

@@ -1,6 +1,6 @@
 import os
 
-__version__ = "2.4.1"
+__version__ = "3.0a1"
 
 # Available at setup time due to pyproject.toml
 from pybind11.setup_helpers import Pybind11Extension, build_ext

tests/unit/mapping/version_test.cpp

@@ -24,7 +24,7 @@ TEST(VersionTest, TestGlobalVersion) {
   std::vector<int> version_vec{std::stoi(v_match[1].str()),
                                std::stoi(v_match[2].str()),
                                std::stoi(v_match[3].str())};
-  std::vector<int> min_version{2, 2, 0};
+  std::vector<int> min_version{2, 3, 0};
   EXPECT_TRUE(version_vec >= min_version)
       << "version: " << version_vec << " min_version: " << min_version
       << std::endl;