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

Dynamic Prompting #98

Merged
merged 59 commits into from
Feb 11, 2024
Merged

Dynamic Prompting #98

merged 59 commits into from
Feb 11, 2024

Commits on Jan 16, 2024

  1. Updated command signatures

    @Yiannis128
    Yiannis128 committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    70fc9ce View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Update

    @Yiannis128
    Yiannis128 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    3f6384e View commit details
    Browse the repository at this point in the history

  2. ai_models: Updated langchain api calls.

    @Yiannis128
    Yiannis128 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    956e36d View commit details
    Browse the repository at this point in the history

  3. Commands: Added proper overloading of methods.

    @Yiannis128
    Yiannis128 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    b7dbf07 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Added into AIModel the ability to substitute f-strings with values.

    @Yiannis128
    Yiannis128 committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    61f7d6a View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Launch JSON: Added option to run with -c fix code

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    72d0c27 View commit details
    Browse the repository at this point in the history

  2. Updated Config JSON: 

    * Added scenario support for generate_solution.
* Moved built in conversations into the config. They are going to be removed from code: ie. set_solution.
* Added Dynamic Prompts
    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    beccc28 View commit details
    Browse the repository at this point in the history

  3. Added Dynamic Prompting and AIAgentConversations, removed embedded sy… 

    …stem messages:

Allows for conversations to be loaded from the config file. Also added support for them in BaseChatInterface. BaseChatInterface also removed protected messages, since they are hard to maintain when adding/removing features to the class.

Built in system messages were also removed since they are now fully read from the config file. Having them built in is not maintainable and never planned to keep it this way.

SolutionGenerator has added partial support for scenarios. Now need to add parser in the FixCodeCommand that will select the correct scenario system message to use.

UserChat has been adapted to use AIAgentConversation along with template values. All built in messages stack pushes were removed in favor of loading them from config.
    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    a6b5e85 View commit details
    Browse the repository at this point in the history

  4. Updated config: Moved AI conversation loading to its own function.

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    c7c76f4 View commit details
    Browse the repository at this point in the history

  5. ChatResponse: Added module comment.

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    7883e3c View commit details
    Browse the repository at this point in the history

  6. AIModels: Changed some type annotations for list parameter to Iterables.

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    5cae3eb View commit details
    Browse the repository at this point in the history

  7. Updated OptimizeCode

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    69ce048 View commit details
    Browse the repository at this point in the history

  8. Updated packages

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    bd3edf0 View commit details
    Browse the repository at this point in the history

  9. Updated codebase

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    7e3b51c View commit details
    Browse the repository at this point in the history

  10. Update packages

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    b1a5aa5 View commit details
    Browse the repository at this point in the history

  11. Updated packages

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    bdfeb67 View commit details
    Browse the repository at this point in the history

  12. Update

    @Yiannis128
    Yiannis128 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    8dc6b25 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Added AIAgentConversation from_seq function for easy initialization.

    @Yiannis128
    Yiannis128 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    678f053 View commit details
    Browse the repository at this point in the history

  2. Updated test_base_chat_interface

    @Yiannis128
    Yiannis128 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    b3c21a4 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2024

  1. AIModel added escape messages class method. 

    Escape messages will add escape sequences to any f-string that is not allowed.
    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    33f3e31 View commit details
    Browse the repository at this point in the history

  2. Updated default config

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    ec815f9 View commit details
    Browse the repository at this point in the history

  3. Fixed token counting in BaseChatInterface

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    809d368 View commit details
    Browse the repository at this point in the history

  4. Update

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    166393d View commit details
    Browse the repository at this point in the history

  5. Bug fixed now UserChat compress message stack resets the message stuc… 

    …k now.
    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    79f21d8 View commit details
    Browse the repository at this point in the history

  6. Update tests

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    5f53bbf View commit details
    Browse the repository at this point in the history

  7. Fix bug in FixCodeCommand

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    73d9056 View commit details
    Browse the repository at this point in the history

  8. Update tests

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    e64c04e View commit details
    Browse the repository at this point in the history

  9. Update

    @Yiannis128
    Yiannis128 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    66e5030 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Set version number

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    96750f2 View commit details
    Browse the repository at this point in the history

  2. Update README

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    9fbc947 View commit details
    Browse the repository at this point in the history

  3. Updated dotenv file loading to be way more flexible

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    be12a29 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'env-upgrade' into dynamic-prompt

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    a6cea98 View commit details
    Browse the repository at this point in the history

  5. Added ESBMC_AI_CFG_PATH expansion in load env

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    a2dcc23 View commit details
    Browse the repository at this point in the history

  6. Added env vars and tilde expansion for esbmc_path config option.

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    bed04a4 View commit details
    Browse the repository at this point in the history

  7. Config JSON: Changed default esbmc path to be in local bin.

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    fd38789 View commit details
    Browse the repository at this point in the history

  8. Removed OptimizeCodeMode as it needs further R&D before being in master.

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    b2cc5cc View commit details
    Browse the repository at this point in the history

  9. Removed more references to OCM.

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    4c9e511 View commit details
    Browse the repository at this point in the history

  10. Updated regression tests

    @Yiannis128
    Yiannis128 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    5ffabb4 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. Changed the module name from esbmc_ai_lib to esbmc

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    fa85420 View commit details
    Browse the repository at this point in the history

  2. Removed init_health_check because it's done in config now.

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    1de0a87 View commit details
    Browse the repository at this point in the history

  3. Add env error checking to see if keys are missing

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    ca174ca View commit details
    Browse the repository at this point in the history

  4. Removed verify code command

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    a885fbb View commit details
    Browse the repository at this point in the history

  5. Removed more verify code command refs

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    7e15258 View commit details
    Browse the repository at this point in the history

  6. Added version info to title print

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    29f88e9 View commit details
    Browse the repository at this point in the history

  7. Increased version

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    6548a75 View commit details
    Browse the repository at this point in the history

  8. Update

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    535b1f9 View commit details
    Browse the repository at this point in the history

  9. Update README.md

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    1b4c51e View commit details
    Browse the repository at this point in the history

  10. Update version

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    6e0accc View commit details
    Browse the repository at this point in the history

  11. Update README

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    318d605 View commit details
    Browse the repository at this point in the history

  12. Added build tools as dev packages

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    941b363 View commit details
    Browse the repository at this point in the history

  13. Added clean script

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    092e9cc View commit details
    Browse the repository at this point in the history

  14. Removed obsolete code that checks for cfg_path in config.

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    1be8e39 View commit details
    Browse the repository at this point in the history

  15. Updated built executable name

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    bb09c45 View commit details
    Browse the repository at this point in the history

  16. Config path now undergoes tilde expansion and env var expansion.

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    e6044fa View commit details
    Browse the repository at this point in the history

  17. Update version

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    27fe350 View commit details
    Browse the repository at this point in the history

  18. Fixed licensing information for pyproject.toml

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    e3b77e2 View commit details
    Browse the repository at this point in the history

  19. Added .pylintrc and increased version

    @Yiannis128
    Yiannis128 committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    4f426a2 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Added dist folder clean up script

    @Yiannis128
    Yiannis128 committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    1071a27 View commit details
    Browse the repository at this point in the history

  2. Update pyproject

    @Yiannis128
    Yiannis128 committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    1710e10 View commit details
    Browse the repository at this point in the history