6 commits

Author	SHA1	Message	Date
Erin	82f23ec2e2	Abstraction of memory	2023-08-08 02:48:47 +02:00
Erin	5264576274	Reimplemented BMC	2023-08-08 02:06:15 +02:00
Erin	582c716445	Nightly opts	2023-07-26 20:54:24 +02:00
Erin	37a1923f1e	Added some comments	2023-07-26 20:49:23 +02:00
Erin	83436507df	Fixed few overflows	2023-07-26 02:28:14 +02:00
Erin	bdda987da9	BMC is now interruptable	2023-07-26 02:04:26 +02:00