add: zulip sponsorship acknowledgement (#269)

* fix: printing is flushed so it appears in order

* fix: fix-code uses include dirs from params

* add: zulip sponsorship acknowledgement

Author: Yiannis128

esbmc_ai/__main__.py

@@ -169,7 +169,7 @@ def main() -> None:
 
     print(f"ESBMC-AI v{__version__}")
     print(f"Made by {__author__}")
-    print()
+    print(flush=True)
 
     _init_logging()
 
@@ -200,9 +200,10 @@ def main() -> None:
 
     # Show full config at highest verbosity level (-vvv)
     if config.verbose_level >= 3:
-        logger.debug("Global configuration:")
-        print(json.dumps(config.model_dump(), indent=2, default=str))
-        print()
+        logger.debug(
+            "Global configuration:\n"
+            + json.dumps(config.model_dump(), indent=2, default=str)
+        )
 
     # Run the command
     command_name = config.command_name
@@ -215,9 +216,10 @@ def main() -> None:
         if config.verbose_level >= 3:
             try:
                 cmd_config = command.config
-                logger.debug(f"Command '{command_name}' configuration:")
-                print(json.dumps(cmd_config.model_dump(), indent=2, default=str))
-                print()
+                logger.debug(
+                    f"Command '{command_name}' configuration:\n"
+                    + json.dumps(cmd_config.model_dump(), indent=2, default=str)
+                )
             except NotImplementedError:
                 pass
 
@@ -227,13 +229,13 @@ def main() -> None:
         logger.info(f"Time taken: {time_taken}")
 
         if result:
-            print(result)
+            print(result, flush=True)
             if config.use_json:
                 json_result_str: str = result.to_json()
                 json_result: dict = json.loads(json_result_str)
                 json_result["time_taken_seconds"] = time_taken
                 json_result_str = json.dumps(json_result)
-                print(json_result_str)
+                print(json_result_str, flush=True)
                 if config.json_path:
                     with open(config.json_path, "w", encoding="utf-8") as f:
                         f.write(json_result_str)

esbmc_ai/addon_loader.py

@@ -38,12 +38,12 @@ def __init__(self, config: Config | None = None) -> None:
 
         # Load the config fields.
         if self._config.addon_modules:
-            print("Loading Addons:")
+            self._logger.info("Loading Addons:")
 
         for m in self._config.addon_modules:
             addons: list[BaseComponent] = self.load_addons_module(m)
             for addon in addons:
-                print(f"\t* {addon.name} by {addon.authors}")
+                self._logger.info(f"\t* {addon.name} by {addon.authors}")
 
     @property
     def chat_command_addons(self) -> dict[str, ChatCommand]:

esbmc_ai/commands/fix_code_command.py

@@ -133,7 +133,9 @@ def execute(self) -> FixCodeCommandResult:
         )
         # End of handle kwargs
 
-        solution: Solution = Solution([])
+        solution: Solution = Solution(
+            [], include_dirs=list(self.global_config.solution.include_dirs)
+        )
         solution.add_source_file(source_file)
 
 

esbmc_ai/config.py

@@ -649,7 +649,7 @@ def settings_customise_sources(
         if config_file_path:
             config_file = Path(config_file_path).expanduser()
             if config_file.exists():
-                print(f"Loading config file: {config_file}")
+                print(f"Loading config file: {config_file}", flush=True)
                 sources.append(TomlConfigSettingsSource(settings_cls, config_file))
 
         # Add environment-based sources

website/content/about.md

@@ -7,5 +7,17 @@ ESBMC-AI is developed by Yiannis Charalambous.
 
 ## Acknowledgements
 
-* Website is using the [Hextra](https://imfing.github.io/hextra) Hugo template.
-* Website is using the [Heroicons](https://v1.heroicons.com/) icon set.
+<style>
+img {
+    max-width: 50px;
+    height: auto;
+}
+</style>
+
+The S3 team and by extension ESBMC-AI, is sponsored by Zulip. Zulip is an
+organized team chat app designed for efficient communication.
+
+![Zulip SVG](./images/sponsors/zulip-icon-circle.svg)
+
+- Website is using the [Hextra](https://imfing.github.io/hextra) Hugo template.
+- Website is using the [Heroicons](https://v1.heroicons.com/) icon set.