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

Clear current search query, filters, and sorts
42 Open 66 Closed
42 Open 66 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

In-chat command to generate tests enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#14 opened May 3, 2023 by Yiannis128
Project Solution Generator enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#15 opened May 4, 2023 by Yiannis128
2 tasks
Version 0.6.0
1
[help-system] move the contributor names to the top of the help system enhancement New feature or request
#18 opened May 5, 2023 by lucasccordeiro
@Yiannis128
Code verification command and code fix command
#20 opened May 5, 2023 by Yiannis128
VS Code Extension Proposal research This issue isn't being worked on, it is being considered, and researched.
#38 opened May 19, 2023 by Yiannis128
1
[LLM] Add support for PaLM 2 enhancement New feature or request research This issue isn't being worked on, it is being considered, and researched.
#40 opened May 19, 2023 by Yiannis128
Add regression tests enhancement New feature or request
#45 opened May 22, 2023 by Yiannis128
1
[Feature] C Code AST Trimming enhancement New feature or request
#49 opened Jun 8, 2023 by Yiannis128
Switch to langchain 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.
#53 opened Jun 16, 2023 by Yiannis128
6 of 9 tasks
@Yiannis128
9
Add selectable env keys for Custom AI enhancement New feature or request
#60 opened Jun 27, 2023 by Yiannis128
Convert code extraction used by optimize-code and fix-code to be OutputParsers.
#62 opened Jun 28, 2023 by Yiannis128
RetryWithErrorOutputParser can be used in fix-code.
#63 opened Jun 28, 2023 by Yiannis128
Integrate max_tokens in AIModels with rest of system enhancement New feature or request
#65 opened Jun 29, 2023 by Yiannis128
[Feature] Verbose level 3: print any pushes to the message stack
#72 opened Jul 7, 2023 by Yiannis128
Add extra exit output from ESBMC bug Something isn't working
#78 opened Jul 25, 2023 by Yiannis128
[Feature] Fix Code 2.0 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.
#79 opened Aug 1, 2023 by Yiannis128
1 of 5 tasks
Version 0.6.0
1
[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
[LLM] Add SafeCoder enhancement New feature or request
#81 opened Aug 31, 2023 by Yiannis128
[LLM] Add Code llama enhancement New feature or request
#82 opened Sep 1, 2023 by Yiannis128
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
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
OCM: Data Deep Comparison Equivalence enhancement New feature or request
#88 opened Oct 8, 2023 by Yiannis128
1
OCM: Verification Unknown Case
#89 opened Oct 12, 2023 by Yiannis128
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
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
ProTip! Add no:assignee to see everything that’s not assigned.