Esbmc-ai

Small addition that adds support for OpenAI models.

What's Changed
* Added support for arbitrary OpenAI models. by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/134


**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.5.0...v0.5.1

ESBMC-AI Version 0.5.0 has released with a lot of new features 🗣️🚀🎉

The new features have been implemented for the following experimental report: https://arxiv.org/abs/2405.08848

What's Changed
* Better rate limiting and timeouts by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/114
* **Add ESBMC output formatting and source code formatting** by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/117
* Better BaseChatInterface + Logging by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/119
* **Fix Code Mode: Add message history customization** by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/126
* Add tests for Solution Generator and children by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/130
* Set fix code prompt to optimized version by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/131
* Added more consistent message notices to FCM by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/132


**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.4.0...v0.5.0

🎉 Exciting News for Software Developers: ESBMC-AI Version 0.4.0 is Released!

We're happy to announce the latest release of ESBMC-AI, packed with various new features and enhancements that will improve your development workflow. Here's an overview of this release:
* Dynamic Prompting: Introducing a feature that improves bug resolution! With Dynamic Prompting, you can tailor system messages to fix code errors detected by ESBMC. Initial tests reveal a success rate boost from 35% to 90%, ensuring smoother development cycles.
* Token Tracking and Compression: Say goodbye to truncated conversations! ESBMC-AI now intelligently tracks AI model usage and automatically compresses lengthy chats, ensuring seamless interactions even in extended sessions.
* User Configurations: Take control of your setup with user-configurable options. Specify configurations in a known system location, enabling access to ESBMC-AI from anywhere in your environment.
* Wheel Packaging: We're excited to announce that ESBMC-AI is now available as a PyPi package, streamlining installation and making it accessible across different directories.

Setting up ESBMC-AI is now improved, clocking in at just under 3 minutes! Check the links below to get started:

🚀 Download & Install: [PyPi - ESBMC-AI](https://pypi.org/project/esbmc-ai/)
📖 User Guide: [Initial Setup](https://github.com/Yiannis128/esbmc-ai/wiki/Initial-Setup)
🔗 GitHub Repository: [ESBMC-AI](https://github.com/Yiannis128/esbmc-ai)

Join us in deploying ESBMC-AI, backed by ESBMC, for code verification and security. Check out the project on GitHub: [ESBMC Repository](https://github.com/esbmc/esbmc)

Upgrade to ESBMC-AI 0.4.0 and improve your software development journey. Happy coding! 🚀👨‍💻🔥


What's Changed
* Dynamic Prompting by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/98
* BaseChatInterface ChatResponse always max bug by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/107
* Added Pipfile packages that were missing and updated regression tests by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/108


**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.3.1...v0.4.0

This is a short release containing quality of life updates.

What's Changed

* Add `loading_hints` in config, when false, loading animations will be disabled.
* Add `allow_successful` in config, when true, will run even if `VERIFICATION SUCCESSFUL` by backend.
* Add signal to optimize code mode so that the rest of the modes get the optimized solution.


**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.3.0...v0.3.1

Version 0.3.0 brings in `optimize-code`, a new mode of operation similar to `fix-code. This mode tries to optimize inefficiencies in the code using the specified LLM. _This is a very early prototype and will improve as future versions are released._ There are some limitations in the functioning of optimize code, that is, it will not work with features mentioned in [here](https://github.com/Yiannis128/esbmc-ai/wiki/Optimize-Code-Mode#unsupported-cc-language-features).

What's Changed
* Starchat-beta improvements, Verbosity level 2, and optimize code work by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/73

**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.2.0...v0.3.0

The second release of ESBMC-AI adds some major changes into the project. The first is the addition of LLMs that use the [Text Generation Inference](https://github.com/huggingface/text-generation-inference) by Hugging Face, specifically [`starchat-beta`](https://huggingface.co/HuggingFaceH4/starchat-beta). What's more is that now custom LLM endpoints can be specified in the config, for more information see the [Wiki page](https://github.com/Yiannis128/esbmc-ai/wiki/AI-Models#custom-llm).

Another useful addition is the ability to automate the program, as it can now directly launch into command mode. By specifying `-c COMMAND` in the arguments, ESBMC-AI will automatically run that command instead of going into user chat mode.

Lastly, the backend now uses [langchain](https://github.com/hwchase17/langchain) instead of the APIs of OpenAI and Hugging Face directly, as it is easier to maintain. This took a while to implement as the entire backend had to be overhauled, but the change now will hopefully make adding new LLMs much easier and faster!

What's Changed
* Feature: Command automation by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/47
* fix_code_command.py consecutive prompt delay bug. by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/52
* Update README.md by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/55
* Added Falcon LLM, custom AI model loading, and LangChain backend by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/58
* Update README.md by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/64
* Add per-message templates for AIModelTextGen by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/67
* Add stop sequences to custom AI by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/69
* Regression tests and conversation summarizer by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/71


**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/compare/v0.1.0...v0.2.0