- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.drawio files (5):

docs/deployment-view.drawio
docs/behavioral-views.drawio
docs/logical-view.drawio
docs/physical-view.drawio
docs/use-cases.drawio
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*. files (3):

LICENSE
NOTICE
spekev2_verification_testsuite/Pipfile
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.lock files (1):

spekev2_verification_testsuite/Pipfile.lock
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -