Merge branch 'main' into verify-existing-optimizations-refactor

cli/codeflash/LICENSE

@@ -3,7 +3,7 @@ Business Source License 1.1
 Parameters
 
 Licensor:             CodeFlash Inc.
-Licensed Work:        Codeflash Client version 0.8.x
+Licensed Work:        Codeflash Client version 0.9.x
                       The Licensed Work is (c) 2024 CodeFlash Inc.
 
 Additional Use Grant: None. Production use of the Licensed Work is only permitted
@@ -13,7 +13,7 @@ Additional Use Grant: None. Production use of the Licensed Work is only permitte
                       Platform. Please visit codeflash.ai for further
                       information.
 
-Change Date:          2028-12-03
+Change Date:          2029-01-06
 
 Change License:       MIT
 

cli/codeflash/verification/concolic_testing.py

@@ -73,10 +73,6 @@ def generate_concolic_tests(
             ph("cli-optimize-concolic-tests", {"num_tests": num_discovered_concolic_tests})
 
         else:
-            (
-                logger.warning(
-                    "Error running CrossHair Cover" f"{': ' + cover_result.stderr if cover_result.stderr else '.'}"
-                )
-            )
+            logger.debug(f"Error running CrossHair Cover {': ' + cover_result.stderr if cover_result.stderr else '.'}")
             console.rule()
     return function_to_concolic_tests, concolic_test_suite_code

cli/codeflash/version.py

@@ -1,3 +1,3 @@
 # These version placeholders will be replaced by poetry-dynamic-versioning during `poetry build`.
-__version__ = "0.8.4"
-__version_tuple__ = (0, 8, 4)
+__version__ = "0.9.0"
+__version_tuple__ = (0, 9, 0)

cli/pyproject.toml

@@ -7,7 +7,7 @@ license = "BSL-1.1"
 authors = ["CodeFlash Inc. <contact@codeflash.ai>"]
 homepage = "https://codeflash.ai"
 readme = "README.md"
-packages = [{ include = "codeflash" }]
+packages = [{ include = "codeflash", format = ["sdist"] }]
 keywords = [
     "codeflash",
     "performance",