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

Add Directory Processing and Patch Output Generation #140

Merged
merged 18 commits into from
Sep 5, 2024
Merged

Add Directory Processing and Patch Output Generation #140

merged 18 commits into from
Sep 5, 2024

Commits on Jul 13, 2024

  1. Moved chat classes into chats directory

    @Yiannis128
    Yiannis128 committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    72d65db View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Solution has been overhauled: SourceFile and Solution classes to repr… 

    …esent solution
    @Yiannis128
    Yiannis128 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    f7926b2 View commit details
    Browse the repository at this point in the history

  2. Convert internal path arguments to use Path class from pathlib

    @Yiannis128
    Yiannis128 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    74f164c View commit details
    Browse the repository at this point in the history

  3. Implemented SourceFile and Solution in the rest of the program

    @Yiannis128
    Yiannis128 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    52d03b0 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Added patching argument to generate program patches

    @Yiannis128
    Yiannis128 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    0107c80 View commit details
    Browse the repository at this point in the history

  2. Finished adding patch argument

    @Yiannis128
    Yiannis128 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    89df913 View commit details
    Browse the repository at this point in the history

  3. Removed frontend module and scripts folder

    @Yiannis128
    Yiannis128 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    37904e6 View commit details
    Browse the repository at this point in the history

  4. Added calculating cyclomatic complexity to source file

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

  5. Updated launch.json to use debugpy

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

  6. pylint: disable unspecified-encoding

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

  7. Added lizard library

    @Yiannis128
    Yiannis128 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    67359a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. config: temp_file_dir can now be None

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

  2. esbmc_load_source_code now uses SourceFile to do the saving

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

  3. Add file extension tracking to SourceFile

    @Yiannis128
    Yiannis128 committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    4b76fc4 View commit details
    Browse the repository at this point in the history

  4. Update FixCodeCommand

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

  5. Update config

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

  6. Updated solution

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

  7. Updated tests

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