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.

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

Tuhh case study #1

Merged
merged 15 commits into from
Jul 1, 2024
Merged

Tuhh case study #1

merged 15 commits into from
Jul 1, 2024

Commits on Jun 26, 2024

  1. Added Case Study models from TUHH

     DD&DFD: DFA representation
    Json: converted plantuml reprsentation of TUHH
    BenjaminArp committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    4510bee View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4bd6d34 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Fresh models from pipeline

    uuqjz committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    95b9e28 View commit details
    Browse the repository at this point in the history
  2. Rerun pipeline

    uuqjz committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    6a65c04 View commit details
    Browse the repository at this point in the history
  3. Rerun again

    uuqjz committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    9b43220 View commit details
    Browse the repository at this point in the history
  4. Fixed labels

    uuqjz committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    67d4bd9 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2024

  1. Added casestudies to bin

    uuqjz committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    a48596b View commit details
    Browse the repository at this point in the history
  2. Build syntax

    uuqjz committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    380ec05 View commit details
    Browse the repository at this point in the history
  3. Reapply .gitignore rules

    uuqjz committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    1e18179 View commit details
    Browse the repository at this point in the history
  4. New filter

    uuqjz committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    6cf1f25 View commit details
    Browse the repository at this point in the history
  5. Filter 3

    uuqjz committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    8be7caf View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Naming and consistency

    uuqjz committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    a8f6841 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    defa933 View commit details
    Browse the repository at this point in the history
  3. rename1

    uuqjz committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    5c0e7d7 View commit details
    Browse the repository at this point in the history
  4. rename2

    uuqjz committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    db92689 View commit details
    Browse the repository at this point in the history