/

• .gitignore
• Readme.md
• assignment1
• assignment2
• assignment3
• assignment4
• assignment5
• assignment6
• assignment7
• assignment8
• uppaalassignment