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

Config TUI Tool #106

Open
wants to merge 19 commits into
base: master
Choose a base branch
from
Open

Config TUI Tool #106

wants to merge 19 commits into from

Commits on Feb 8, 2024

  1. ESBMC-AI Config Tool initial commit

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

Commits on Feb 11, 2024

  1. Update

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

Commits on Feb 12, 2024

  1. Updated config tool

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

Commits on Feb 13, 2024

  1. Config Tool: Added ESBMC path constants

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

  2. Config Tool: Changed ESBMC Manage to ESBMC Install menu

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

  3. Config Tool: ESBMC Manage can now download+install/uninstall ESBMC.

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

Commits on Feb 15, 2024

  1. COnfig Tool: Begin JSON loading work, ENV optionally hides fields.

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

  2. Merge branch 'master' into config-tool

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

Commits on Feb 20, 2024

  1. Config Tool: Added AI Config Menu

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

  2. Config Tool: Added Comment for clarity

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

  3. Config Tool: Changed event on_submit to be after dialog closes.

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

  4. Implemented the JSON Config Loader

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

  5. Config Tool: ESBMC Menu - Implemented ESBMC Path

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

  6. Config Tool: Added refresh_ui method to context.

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

  7. Update

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

  8. Update

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

  9. Config Tool: Add initial choice to BaseMenu

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

  10. Config Tool: Added ListSelectDialog

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

  11. Config Tool: AI Config Menu

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