Code

Config System Overhaul#146

Code

Merged

Yiannis128 merged 17 commits intomasteresbmc/esbmc-ai:masterfrom config-decoupleesbmc/esbmc-ai:config-decoupleCopy head branch name to clipboardSep 16, 2024

+1,113-1,180

Commits

Commits on Sep 12, 2024

• Remove hugging face API Key

  Yiannis128

  committed
  9075048

  Copy full SHA for 9075048

Commits on Sep 13, 2024

• ESBMCUtil is now a static class

  Yiannis128

  committed
  a283c1f

  Copy full SHA for a283c1f

• Moved get_openai_model_max_tokens to AIModelOpenAI

  Yiannis128

  committed
  fe753ec

  Copy full SHA for fe753ec

• Added init for ESBMCUtil

  Yiannis128

  committed
  0e9c87b

  Copy full SHA for 0e9c87b

• Finish adding custom_ai code and make esbmc_path Path type

  Yiannis128

  committed
  9cac3a8

  Copy full SHA for 9cac3a8

• Switch to ESBMCUtil

  Yiannis128

  committed
  7393f7f

  Copy full SHA for 7393f7f

Commits on Sep 14, 2024

• Refactored config to be a single static class and to use TOML format

  Yiannis128

  committed
  5fe9dc3

  Copy full SHA for 5fe9dc3

• Add toml lib

  Yiannis128

  committed
  e5270e1

  Copy full SHA for e5270e1

• Export config in main module

  Yiannis128

  committed
  e83f495

  Copy full SHA for e83f495

• Update

  Yiannis128

  committed
  4202a6f

  Copy full SHA for 4202a6f

• Fix bug in ESBMCUtil where esbmc() still took esbmc_path parameter instead of using class set value

  Yiannis128

  committed
  1884be4

  Copy full SHA for 1884be4

Commits on Sep 15, 2024

• Updated to use new Config

  Yiannis128

  committed
  bcc8022

  Copy full SHA for bcc8022

• Updated tests and fixed bugs

  Yiannis128

  committed
  0a073f0

  Copy full SHA for 0a073f0

• Updated requirements.txt

  Yiannis128

  committed
  79b98f1

  Copy full SHA for 79b98f1

Commits on Sep 16, 2024

• Increment version

  Yiannis128

  committed
  cf05a6a

  Copy full SHA for cf05a6a

• Removed toml dependency, just use tomllib

  Yiannis128

  committed
  8d06788

  Copy full SHA for 8d06788

• Switched over fully from pipenv to hatch

  Yiannis128

  committed
  5d0aa82

  Copy full SHA for 5d0aa82