Skip to content

Issues: esbmc/esbmc-ai

Switch to langchain
#53 opened Jun 16, 2023 by Yiannis128
Open 9
[Fix Code Mode] Implement directory processing
#103 by Yiannis128 was closed Sep 5, 2024
Closed
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

42 Open 65 Closed
42 Open 65 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Addon Verifier Modules addons Regarding Addons enhancement New feature or request
#155 opened Nov 7, 2024 by Yiannis128
1
Add ability to run tests addons Regarding Addons enhancement New feature or request
#151 opened Oct 31, 2024 by Yiannis128
3 tasks
Write more tests for the new Config class documentation Improvements or additions to documentation enhancement New feature or request
#145 opened Sep 15, 2024 by Yiannis128
[CI] Automatic Builds enhancement New feature or request
#143 opened Sep 5, 2024 by Yiannis128
Fix CI bug Something isn't working
#141 opened Jul 23, 2024 by Yiannis128
@Yiannis128
[FCM] Make sure that raw conversation prints system message too bug Something isn't working
#129 opened May 10, 2024 by Yiannis128
[FCM] When message history is latest only, the source code and esbmc output need to be in the initial prompt or else they won't be used bug Something isn't working
#128 opened Apr 29, 2024 by Yiannis128
[FCM] Add intermediate messages between attempts enhancement New feature or request
#127 opened Apr 19, 2024 by Yiannis128
Add include filtering of source code files
#121 opened Apr 4, 2024 by Yiannis128
Improve the error code resolving from ESBMC. Use : to separate the levels. To get the closest scenario possible.
#112 opened Mar 14, 2024 by Yiannis128
Write tests for Dynamic Prompting and also context length exceeded scenarios enhancement New feature or request
#109 opened Feb 18, 2024 by Yiannis128
[Feature] Multiple verification engine support enhancement New feature or request
#105 opened Feb 5, 2024 by Yiannis128 Version 0.6.0
[Fix Code Mode] Directory Processing Stats Files enhancement New feature or request
#104 opened Feb 3, 2024 by Yiannis128 Version 0.6.0
Run ESBMC-AI against OSS-Fuzz Benchmarks research This issue isn't being worked on, it is being considered, and researched.
#102 opened Feb 1, 2024 by Yiannis128
Add More Dynamic Prompts enhancement New feature or request
#99 opened Jan 20, 2024 by Yiannis128
1 of 10 tasks
@Yiannis128
Expand Custom LLM Support For OpenAI Models enhancement New feature or request
#96 opened Jan 11, 2024 by Yiannis128
[Feature] Add official support for different file types. enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#95 opened Nov 28, 2023 by Yiannis128
When ESBMC output is too big, a TPM Rate Limit error occurs. bug Something isn't working
#93 opened Nov 13, 2023 by Yiannis128
4
Break code into chunks enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#90 opened Oct 13, 2023 by Yiannis128 Version 0.6.0
2
OCM: Verification Unknown Case
#89 opened Oct 12, 2023 by Yiannis128
OCM: Data Deep Comparison Equivalence enhancement New feature or request
#88 opened Oct 8, 2023 by Yiannis128
1
OCM: ESBMC-AI helper methods enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#87 opened Oct 3, 2023 by Yiannis128
4 tasks
2
Benchmark mechanism for OCM. Test and report performance gains. enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#85 opened Oct 2, 2023 by Yiannis128
1
[LLM] Add Code llama enhancement New feature or request
#82 opened Sep 1, 2023 by Yiannis128
[LLM] Add SafeCoder enhancement New feature or request
#81 opened Aug 31, 2023 by Yiannis128
ProTip! Exclude everything labeled bug with -label:bug.