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

Reconcile _some_ conflicting/implicit knowledge about 'program' names during generation of various artifacts #3665

Merged
merged 6 commits into from
Nov 11, 2023
Merged

Reconcile _some_ conflicting/implicit knowledge about 'program' names during generation of various artifacts #3665

merged 6 commits into from
Nov 11, 2023

Commits on Oct 5, 2023

  1. Try to reduce implicit knowledge used in creating names for the various 

    case studies we have.
    @balacij
    balacij committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    92cce06 View commit details
    Browse the repository at this point in the history

  2. Prefer showing the public Drasil image over the local

    @balacij
    balacij committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    11be947 View commit details
    Browse the repository at this point in the history

  3. Fix continuity of the case study table showing the name of the final 

    'executable program's name
    @balacij
    balacij committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    dad2153 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of github.com:JacquesCarette/Drasil into fixPDC… 

    …ontrollerNameWebsite
    @balacij
    balacij committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    90225da View commit details
    Browse the repository at this point in the history

  5. remove redundant filtering of spaces

    @balacij
    balacij committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    7dfcd3e View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Remove now unused import of Data.Char's isSpace

    @balacij
    balacij committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    ad21265 View commit details
    Browse the repository at this point in the history