Code

Better BaseChatInterface + Logging#119

Code

Merged

Yiannis128 merged 7 commits intomasteresbmc/esbmc-ai:masterfrom better_bciesbmc/esbmc-ai:better_bciCopy head branch name to clipboardApr 3, 2024

+167-68

Commits

Commits on Apr 3, 2024

• Increment version

  Yiannis128

  committed
  d7050cd

  Copy full SHA for d7050cd

• Updated logging

  Show description for 0cf2a70
  Yiannis128

  committed
  0cf2a70

  Copy full SHA for 0cf2a70

• Update config

  Yiannis128

  committed
  53734f8

  Copy full SHA for 53734f8

• Fixed output of stdout and stderr in esbmc_util

  Show description for 3f076d5
  Yiannis128

  committed
  3f076d5

  Copy full SHA for 3f076d5

• Added --raw-conversation argument to ESBMC-AI

  Yiannis128

  committed
  6d9226e

  Copy full SHA for 6d9226e

• Updated base_chat_interface to apply in-place the template values

  Show description for 8c21ec9
  Yiannis128

  committed
  8c21ec9

  Copy full SHA for 8c21ec9

• Updated chat mode and fix code mode to use new chat template behaviour

  Yiannis128

  committed
  4ffe1e4

  Copy full SHA for 4ffe1e4