Commit Graph

8 Commits

Author SHA1 Message Date
Nils Hölscher 3429652f45 Correct MustAnalysis. 2022-05-06 10:04:45 +02:00
Nils Hölscher 693ee07008 Joining until state converges. Added Eval Again. 2022-05-03 14:04:21 +02:00
Nils Hölscher 1a9c1ccefb removed eval as the analysis is currenlty broken. 2022-04-29 08:47:30 +02:00
Nils Hölscher c032f669c2 Better mac Setup. 2022-04-22 12:54:59 +02:00
Nils Hölscher 4a5b617bd5 Better Readne.md 2022-04-22 08:58:54 +02:00
Nils Hölscher 5d10b7aecd fixed Typo in poolhelper.sh 2022-04-21 20:56:04 +02:00
Nils Hölscher 4aa0080cb2 made poolhelper executable 2022-04-21 20:44:38 +02:00
Nils Hölscher 69421eb257 Added Pool PC Setup. 2022-04-21 20:40:39 +02:00