7 commits

Author	SHA1	Message	Date
Pim Kunis	96154a0370	fix null variable	2023-04-08 18:17:34 +02:00
Pim Kunis	76d626f2a4	support fixed address	2023-04-07 18:06:53 +02:00
Pim Kunis	6c3cdeeca5	support only one data disk	2023-04-07 17:44:06 +02:00
Pim Kunis	1fc775f4ee	support data disks	2023-04-07 16:05:51 +02:00
Pim Kunis	09a3a61f5f	parameterize memory	2023-04-07 14:34:25 +02:00
Pim Kunis	7aac5730ad	split invariants into seperate module	2023-04-05 19:15:03 +02:00
Pim Kunis	625dc5f98b	init	2023-04-05 17:39:38 +02:00