Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 1ecd0fe9b6 reset level0 to be small again main sp 2024-11-26 10:35:19 +0100
• a38e6b1866 added empty scripts for lecture 2 sp 2024-11-26 10:33:01 +0100
• 3ebf9f6dcf added lecture examples sp 2024-11-26 10:28:16 +0100
• 1836f17971 update upstream link in ass sheet sp 2024-11-14 16:56:28 +0100
• 65ab4f510d added assignment sheet sp 2024-11-14 16:55:26 +0100
• c95f223cbd added z3 intro do README sp 2024-11-14 16:27:53 +0100
• 077a6a3c26 added skeleton files sp 2024-11-14 16:17:03 +0100
• 0c5893a1bd added lecture1 source code sp 2024-11-14 16:16:25 +0100
• fe42bee3a9 added README sp 2024-11-14 16:16:08 +0100