Commit Graph

5 Commits

Author SHA1 Message Date
4df15dc254 finish big refactorings 2024-11-27 22:46:25 +01:00
8b0cdf6963 refactoring II 2024-11-27 17:13:52 +01:00
50937ab7fd refactorings I 2024-11-27 16:50:18 +01:00
e31f2e3544 init refactoring exercise 2024-11-27 13:09:22 +01:00
51f58d19bc testing with JAZZER 2024-10-30 19:29:50 +01:00