Commit Graph

10 Commits

Author SHA1 Message Date
Nils Hölscher e7ca0a68ef better exercise description in README.md 2022-05-16 11:55:40 +02:00
Nils Hölscher 3429652f45 Correct MustAnalysis. 2022-05-06 10:04:45 +02:00
Nils Hölscher c451a1eed0 No longer Dumping Dotfile as default. 2022-05-03 14:10:24 +02:00
Nils Hölscher 693ee07008 Joining until state converges. Added Eval Again. 2022-05-03 14:04:21 +02:00
Nils Hölscher 5e6e0e6c90 first Version of Loop Unrolling 2022-05-03 11:13:37 +02:00
Nils Hölscher be3904a256 WIP 2022-04-29 14:31:08 +02:00
Nils Hölscher b9f35dca18 Linting and Formatting. removed .misc-no-recursion from linting. 2022-04-22 10:35:30 +02:00
Nils Hölscher c9f529662d removed some warnings. 2022-04-21 13:25:37 +02:00
Nils Hölscher e93191fb48 removed TODOs 2022-04-19 11:13:19 +02:00
Nils Hölscher 69d9b56047 first commit 2022-04-19 10:56:42 +02:00