6 commits

Author	SHA1	Message	Date
Erin	1e92797775	Abstraction of memory	2023-08-08 02:48:47 +02:00
Erin	2aad3a1002	Reimplemented BMC	2023-08-08 02:06:15 +02:00
Erin	7e1257a84d	Nightly opts	2023-07-26 20:54:24 +02:00
Erin	64ae39295d	Added some comments	2023-07-26 20:49:23 +02:00
Erin	f9b36d7a8d	Fixed few overflows	2023-07-26 02:28:14 +02:00
Erin	66ef81d8a0	BMC is now interruptable	2023-07-26 02:04:26 +02:00