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

Modularized ESBMC-AI #157

Merged
merged 19 commits into from
Jan 1, 2025
Merged

Modularized ESBMC-AI #157

merged 19 commits into from
Jan 1, 2025

Conversation

Yiannis128
Copy link
Collaborator

@Yiannis128 Yiannis128 commented Dec 9, 2024 •
edited
Loading

Base Improvements

  • Fixed missing langchain deps
  • Updated config fields for ESBMC
  • ESBMCUtil is now ESBMC
  • Moved all addon loading behaviour to AddonConfig class
  • Made the printing verbosity levels better for fix code.

Modularized ESBMC-AI

  • User chat mode is now internally a implemented as a command, for modularity purposes.
  • Verifier is not called by default, it is up to the command to handle that.
  • Finalized strategy for resolving addon config fields. We now use inspection to copy all values automatically. Name is the field that is resolved.
  • BaseConfig now provides additional details when field validation fails.
  • ConfigField: Added get_config_message lambda function.
  • Config: Added field for loading multiple files from the config and args.
  • Config: Added field for specifying a default entry function.
  • Solution: Added option for loading and creating source files.
  • FixCodeCommand: Now calls the verifier at the beginning.
  • ESBMC: Added option to specify default entry function.

@Yiannis128
Add BaseSourceVerifier
2d3cff7
@Yiannis128
Transitioned ESBMCUtil to be modular and use BaseSourceVerifier
2214c3b
@Yiannis128
Pylint fixes
99ff802
@Yiannis128
Switch to typing_extensions
c1c45c9
@Yiannis128
Updated workflow
27d3d15 
* to include builds
* fixed pylint
@Yiannis128
Updated pylint workflow to fail only with scores under 9.0
1cd0aa3
@Yiannis128
Workflow fixed test with decimal
2a1c639
@Yiannis128
Update
0dcac28
@Yiannis128
Merge remote-tracking branch 'origin/master' into addon-verifier
b576679
@Yiannis128
Add dummy verifier class for tests
df2774c
@Yiannis128
Added langchain deps
42ed90d
@Yiannis128
Updated launch.json params
dd4e638
@Yiannis128
Updated default config
bd9e957
@Yiannis128
Added better config and addon support
04c78b8
@Yiannis128
Updated broken tests
832d72d
@Yiannis128
Updated printing
5778aed
@Yiannis128
Update comment
181cc58
@Yiannis128
Fixed config loading bug in addon loader and added get_config_value t…
2919e6e 
…o ChatCommand
@Yiannis128
Modularized ESBMC-AI further:
1ba264c 
- UserChatCommand now handles the user chat mode,
it is the default command that is invoked when the
command runner is not activated.
- Verifier is not called by default, it is up to
the command to handle that.
- Finalized strategy for resolving addon config
fields. We now use inspection to copy all values
automatically. Name is the field that is resolved.
- BaseConfig now provides additional details when
field validation fails.
- ConfigField: Added get_config_message lambda
function.
- Config: Added field for loading multiple files
from the config and args.
- Config: Added field for specifying a default
entry function.
- Solution: Added option for loading and creating
source files.
- FixCodeCommand: Now calls the verifier at the
beginning.
- ESBMC: Added option to specify default entry
function.
@Yiannis128 Yiannis128 changed the title General Improvements Modularized ESBMC-AI Jan 1, 2025
@Yiannis128 Yiannis128 merged commit 9fb9757 into master Jan 1, 2025
4 checks passed
@Yiannis128 Yiannis128 deleted the config-improvement branch January 1, 2025 17:06
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