Commit Graph

10 Commits

Author SHA1 Message Date
Nils Hölscher 9146caf849 Added Unit tests to the helper scripts.
continuous-integration/drone/push Build is passing Details
2022-06-07 09:08:07 +02:00
Nils Hölscher 0079b4f0e0 removed Tests from llvm build in poolhleper.
continuous-integration/drone/push Build is passing Details
2022-05-30 13:06:51 +02:00
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