14 Commits

Author	SHA1	Message	Date
Nils Hölscher	65c74a1883	Better dev container	2022-07-15 07:42:04 +00:00
Nils Hölscher	9146caf849	Added Unit tests to the helper scripts.	2022-06-07 09:08:07 +02:00
Nils Hölscher	801831a2b5	fixed Bug in helper script	2022-05-17 08:20:52 +02:00
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