esbmc/esbmc-ai

Issues

• ESBMC: Implement different types of verifier output

  #115 opened 10 months ago by Yiannis128
  1

• Add More Dynamic Prompts

  #99 opened a year ago by Yiannis128
  0

• [Feature] Allow ESBMC-AI to fix syntax errors from Clang

  #94 opened 3 months ago by Yiannis128
  1

• [Feature] Fix Code 2.0

  #79 opened a year ago by Yiannis128
  1

• Fix Code: Create a prompt engineering strategy to increase consistency in performance.

  #92 opened 3 months ago by Yiannis128
  0

• Addon support

  #150 opened 3 months ago by Yiannis128
  0

• Add ability to run tests

  #151 opened 3 months ago by Yiannis128
  0

• Simplify the trace?

  #149 opened 3 months ago by ChenfengWei0
  4

• Add ability to save successful fix codes

  #147 opened 4 months ago by Yiannis128
  0

• Decouple Config from underlying systems

  #139 opened 4 months ago by Yiannis128
  0

• Write more tests for the new Config class

  #145 opened 4 months ago by Yiannis128
  0

• Add local LLM support

  #138 opened 4 months ago by Yiannis128
  0

• [CI] Automatic Builds

  #143 opened 4 months ago by Yiannis128
  0

• [Fix Code Mode] Implement directory processing

  #103 opened 4 months ago by Yiannis128
  0

• Remove reliance on ENV file

  #142 opened 4 months ago by Yiannis128
  0

• Allow arbitrary OpenAI LLMs

  #133 opened 6 months ago by Yiannis128
  1

• Fix CI

  #141 opened 6 months ago by Yiannis128
  0

• [FCM] Consistent message notice

  #124 opened 7 months ago by Yiannis128
  0

• [FCM] Make sure that raw conversation prints system message too

  #129 opened 8 months ago by Yiannis128
  0

• [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

  #128 opened 9 months ago by Yiannis128
  0

• [Fix Code Mode] Add Message History Customization

  #122 opened 9 months ago by Yiannis128
  0

• [FCM] Add intermediate messages between attempts

  #127 opened 9 months ago by Yiannis128
  0

• [Fix Code Mode] Source Code Formatting

  #123 opened 9 months ago by Yiannis128
  1

• Add include filtering of source code files

  #121 opened 9 months ago by Yiannis128
  0

• BaseChatInterface: set_template_value should be applied to the current messages state, and not be kept and processed during send_message

  #118 opened 9 months ago by Yiannis128
  0

• Add single line source code type

  #116 opened 9 months ago by Yiannis128
  0

• Improve the error code resolving from ESBMC. Use `:` to separate the levels. To get the closest scenario possible.

  #112 opened 10 months ago by Yiannis128
  0

• ESBMC-AI

  #110 opened 10 months ago by kaixin6321
  1

• Write tests for Dynamic Prompting and also context length exceeded scenarios

  #109 opened a year ago by Yiannis128
  0

• Dynamic Prompt

  #97 opened a year ago by Yiannis128
  0

• Package project

  #101 opened a year ago by Yiannis128
  2

• Break code into chunks

  #90 opened a year ago by Yiannis128
  2

• [OCM] Optimize Code Improvements

  #80 opened a year ago by Yiannis128
  0

• OCM: ESBMC-AI helper methods

  #87 opened a year ago by Yiannis128
  2

• OCM: Data Deep Comparison Equivalence

  #88 opened a year ago by Yiannis128
  1

• [Feature] Multiple verification engine support

  #105 opened a year ago by Yiannis128
  0

• [Fix Code Mode] Directory Processing Stats Files

  #104 opened a year ago by Yiannis128
  0

• Run ESBMC-AI against OSS-Fuzz Benchmarks

  #102 opened a year ago by Yiannis128
  0

• Make environment file optional

  #100 opened a year ago by Yiannis128
  1

• Expand Custom LLM Support For OpenAI Models

  #96 opened a year ago by Yiannis128
  0

• [Feature] Add official support for different file types.

  #95 opened a year ago by Yiannis128
  0

• When ESBMC output is too big, a TPM Rate Limit error occurs.

  #93 opened a year ago by Yiannis128
  4

• Couldn't run ESBMC-AI

  #91 opened a year ago by mihaistate
  5

• OCM: Verification Unknown Case

  #89 opened a year ago by Yiannis128
  0

• OCM: Pointer values need to be compared for results that are returned as pointers, rather than comparing the pointers themselves (memory addresses).

  #86 opened a year ago by Yiannis128
  1

• [LLM] Add SafeCoder

  #81 opened a year ago by Yiannis128
  0

• [LLM] Add Code llama

  #82 opened a year ago by Yiannis128
  0

• Benchmark mechanism for OCM. Test and report performance gains.

  #85 opened a year ago by Yiannis128
  1

• Add extra exit output from ESBMC

  #78 opened a year ago by Yiannis128
  0

• Initial Setup in Windows OS

  #74 opened 2 years ago by Paulovss85
  2