Nils Hölscher
|
8ea0c571e4
|
Added some simple UnitTests
|
2022-05-16 13:38:48 +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
|
5e6e0e6c90
|
first Version of Loop Unrolling
|
2022-05-03 11:13:37 +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
|
69421eb257
|
Added Pool PC Setup.
|
2022-04-21 20:40:39 +02:00 |
|
Nils Hölscher
|
61a4f158ac
|
minor changes to helper script.
|
2022-04-20 13:38:54 +02:00 |
|
Nils Hölscher
|
384be83c13
|
better build task for vsCode
|
2022-04-20 13:32:39 +02:00 |
|
Nils Hölscher
|
f25eba1687
|
Setup now based on llvm toolchain.
|
2022-04-20 09:55:54 +02:00 |
|
Nils Hölscher
|
b7bf7342d2
|
better help message for the script.
|
2022-04-19 12:04:12 +02:00 |
|
Nils Hölscher
|
69d9b56047
|
first commit
|
2022-04-19 10:56:42 +02:00 |