Code

Modularized ESBMC-AI#157

Code

Merged

Yiannis128 merged 19 commits intomasteresbmc/esbmc-ai:masterfrom config-improvementesbmc/esbmc-ai:config-improvementCopy head branch name to clipboardJan 1, 2025

+2,008-1,523

Commits

Commits on Nov 7, 2024

• Add BaseSourceVerifier

  Yiannis128

  committed
  2d3cff7

• Transitioned ESBMCUtil to be modular and use BaseSourceVerifier

  Yiannis128

  committed
  2214c3b

• Pylint fixes

  Yiannis128

  committed
  99ff802

• Switch to typing_extensions

  Yiannis128

  committed
  c1c45c9

Commits on Nov 8, 2024

• Updated workflow

  Show description for 27d3d15
  Yiannis128

  committed
  27d3d15

• Updated pylint workflow to fail only with scores under 9.0

  Yiannis128

  committed
  1cd0aa3

• Workflow fixed test with decimal

  Yiannis128

  committed
  2a1c639

Commits on Nov 13, 2024

• Update

  Yiannis128

  committed
  0dcac28

• Merge remote-tracking branch 'origin/master' into addon-verifier

  Yiannis128

  committed
  b576679

Commits on Nov 18, 2024

• Add dummy verifier class for tests

  Yiannis128

  committed
  df2774c

Commits on Dec 7, 2024

• Added langchain deps

  Yiannis128

  committed
  42ed90d

• Updated launch.json params

  Yiannis128

  committed
  dd4e638

• Updated default config

  Yiannis128

  committed
  bd9e957

• Added better config and addon support

  Yiannis128

  committed
  04c78b8

• Updated broken tests

  Yiannis128

  committed
  832d72d

Commits on Dec 9, 2024

• Updated printing

  Yiannis128

  committed
  5778aed

• Update comment

  Yiannis128

  committed
  181cc58

• Fixed config loading bug in addon loader and added get_config_value to ChatCommand

  Yiannis128

  committed
  2919e6e

Commits on Dec 31, 2024

• Modularized ESBMC-AI further:

  Show description for 1ba264c
  Yiannis128

  committed
  1ba264c