Skip to content

Version 0.4.0

Compare
Choose a tag to compare
@Yiannis128 Yiannis128 released this 16 Feb 17:51
· 175 commits to master since this release

🎉 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
📖 User Guide: Initial Setup
🔗 GitHub Repository: ESBMC-AI

Join us in deploying ESBMC-AI, backed by ESBMC, for code verification and security. Check out the project on GitHub: ESBMC Repository

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

What's Changed

Full Changelog: v0.3.1...v0.4.0