Skip to content

Issues: Yiannis128/esbmc-ai

Switch to langchain
#53 opened Jun 16, 2023 by Yiannis128
Open 9
[Feature] Fix Code 2.0
#79 opened Aug 1, 2023 by Yiannis128
Open 1
[OCM] Optimize Code Improvements
#80 opened Aug 20, 2023 by Yiannis128
Open
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 52 Closed
42 Open 52 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

[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
[FCM] Consistent message notice bug Something isn't working enhancement New feature or request
#124 opened Apr 19, 2024 by Yiannis128 Version 0.3.6
1
Add include filtering of source code files
#121 opened Apr 4, 2024 by Yiannis128
ESBMC: Implement different types of verifier output
#115 opened Mar 27, 2024 by Yiannis128
2 tasks
Version 0.3.5
1
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.4.0
[Fix Code Mode] Directory Processing Stats Files enhancement New feature or request
#104 opened Feb 3, 2024 by Yiannis128 Version 0.4.0
[Fix Code Mode] Implement directory processing enhancement New feature or request
#103 opened Feb 3, 2024 by Yiannis128 Version 0.4.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
Version 0.3.6
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
[Feature] Allow ESBMC-AI to fix syntax errors from
#94 opened Nov 13, 2023 by Yiannis128 Version 0.3.6
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
Fix Code: Create a prompt engineering strategy to increase consistency in performance.
#92 opened Oct 26, 2023 by Yiannis128 Version 0.3.6
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.4.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
[OCM] Optimize Code Improvements enhancement New feature or request mega This issue tracks other issues research This issue isn't being worked on, it is being considered, and researched.
#80 opened Aug 20, 2023 by Yiannis128
4 tasks
ProTip! no:milestone will show everything without a milestone.