Search results

Use LangExtract to extract code

featureAdds a new featureAdds a new feature

researchThis issue isn't being worked on, it is being considered, and researched.This issue isn't being worked on, it is being considered, and researched.

Status: Open.

#216 In esbmc/esbmc-ai;

· Yiannis128 opened on Aug 21, 2025

Change get_patch to get_diff in SourceFile

good first issueGood for newcomersGood for newcomers

Status: Open.

#212 In esbmc/esbmc-ai;

· Yiannis128 opened on Aug 19, 2025

Use LanguageModelInput in BaseChatInterface

featureAdds a new featureAdds a new feature

Status: Open.

#210 In esbmc/esbmc-ai;

· Yiannis128 opened on Jun 24, 2025

AIModel Wrap BaseChatModel

featureAdds a new featureAdds a new feature

Status: Open.

Feature

#205 In esbmc/esbmc-ai;

· Yiannis128 opened on May 29, 2025

Expose Addon Config Fields to Argument Parser

Status: Open.

Feature

#202 In esbmc/esbmc-ai;

· Yiannis128 opened on May 27, 2025

[Wiki] Architecture Pages

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#186 In esbmc/esbmc-ai;

· Yiannis128 opened on Apr 17, 2025

Decouple Fix Code Command From Base System

addonsRegarding AddonsRegarding Addons

Status: Open.

Feature

#169 In esbmc/esbmc-ai;

· Yiannis128 opened on Feb 27, 2025

Incorrect trace generated by ESBMC module

good first issueGood for newcomersGood for newcomers

Status: Open.

Bug

#167 In esbmc/esbmc-ai;

· Yiannis128 opened on Feb 25, 2025

ESBMC-AI Unit Tests

Status: Open.

#165 In esbmc/esbmc-ai;

· Yiannis128 opened on Feb 7, 2025

Write tests for addon verifier and chat commands

addonsRegarding AddonsRegarding Addons

Status: Open.

#158 In esbmc/esbmc-ai;

· Yiannis128 opened on Dec 9, 2024

Add ability to run tests

addonsRegarding AddonsRegarding Addons

Status: Open.

Feature

#151 In esbmc/esbmc-ai;

· Yiannis128 opened on Oct 31, 2024

Write more tests for the new Config class

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#145 In esbmc/esbmc-ai;

· Yiannis128 opened on Sep 15, 2024