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.

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

Fix Code Mode: Add message history customization #126

Merged
merged 13 commits into from
Apr 20, 2024

Conversation

Yiannis128
Copy link
Collaborator

Add the ability to customize how the history of the conversation is shown to the LLM when in Fix Code Mode. The following options are added:

  • Show latest code state only: Will discard the previous patches from the LLM along with the initial code and ESBMC output. Instead, will only show the last ESBMC output.
  • Show patches in reverse order: Will show the earlier patches last and the later ones first. The latest patch will be shown first.

The setting can be customized through the following fields:

message_history: normal/latest_only/reverse

@Yiannis128 Yiannis128 linked an issue Apr 19, 2024 that may be closed by this pull request
2 tasks
@Yiannis128 Yiannis128 added the enhancement New feature or request label Apr 19, 2024
@Yiannis128 Yiannis128 added this to the Version 0.4.0 milestone Apr 19, 2024
@Yiannis128
Copy link
Collaborator Author

Need to write tests for it

@Yiannis128 Yiannis128 merged commit dc92445 into master Apr 20, 2024
1 of 2 checks passed
@Yiannis128 Yiannis128 deleted the fcm_message_history branch April 20, 2024 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Fix Code Mode] Add Message History Customization
1 participant