Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Better BaseChatInterface + Logging #119

Merged
merged 7 commits into from
Apr 3, 2024
Merged

Better BaseChatInterface + Logging #119

merged 7 commits into from
Apr 3, 2024

Conversation

Yiannis128
Copy link
Collaborator

  • Fixed output of stdout and stderr in esbmc_util. It is now being decoded correctly using utf-8.
  • Updated logging and added method to draw horizontal line safely, now ESBMC-AI will not crash when not running in a terminal (such as redirecting output to file).
  • Added showing the raw conversation at the end of the fix-code command. This is a nice quality of life feature to have for debugging purposes.
  • Updated all chat interfaces to use the new in-place template value logic.

@Yiannis128
Increment version
d7050cd
@Yiannis128
Updated logging
0cf2a70 
Logging now has protected _verbosity value with accessors. Also added method for drawing horizontal lines
@Yiannis128
Update config
53734f8
@Yiannis128
Fixed output of stdout and stderr in esbmc_util
3f076d5 
esbmc_util would not parse the bytes correctly, now they are processed using the decode method.

esbmc_util also doesn't output stderr anymore as it is combined into stdout
@Yiannis128
Added --raw-conversation argument to ESBMC-AI
6d9226e
@Yiannis128
Updated base_chat_interface to apply in-place the template values
8c21ec9 
Updated base_chat_interface to apply in-place the template values instead of during send_message
@Yiannis128
Updated chat mode and fix code mode to use new chat template behaviour
4ffe1e4
@Yiannis128 Yiannis128 merged commit 111085a into master Apr 3, 2024
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Yiannis128