12 commits

Author	SHA1	Message	Date
Erin	3034469e89	Address type, changed behaviour on address overflow	2023-08-18 02:31:49 +02:00
Erin	d282b3d111	Softpage improvements	2023-08-18 01:28:02 +02:00
Erin	af1a7d3bfa	Move stuff, deprecate softpage	2023-08-15 16:32:59 +02:00
Erin	430ccd170d	Von-Neumann?	2023-08-09 02:33:03 +02:00
Erin	1ed153a9a2	Fixed memory (un)mapping	2023-07-26 12:22:28 +02:00
Erin	19df4538d7	Fixed page size, fuzzer now does memory.	2023-07-26 03:27:31 +02:00
Erin	e07bfb2301	Decreased timeout	2023-07-26 02:35:27 +02:00
Erin	cfe3203ef1	Increased timeout	2023-07-26 02:31:06 +02:00
Erin	c4e062e742	Increased timeout	2023-07-26 02:30:22 +02:00
Erin	bdda987da9	BMC is now interruptable	2023-07-26 02:04:26 +02:00
Erin	6588837769	restruct + no-alloc support	2023-07-26 01:11:21 +02:00
Erin	f2ec9a3034	Added fuzzy tests	2023-07-26 01:01:53 +02:00