95 commits

Author	SHA1	Message	Date
Erin	f468a02ad4	bye stuff	2023-08-19 23:46:47 +02:00
Erin	76350b5387	cleaned up deps	2023-08-19 23:24:31 +02:00
Erin	68ac6856df	Address type, changed behaviour on address overflow	2023-08-18 02:31:49 +02:00
Erin	d4b2a1a266	Move	2023-08-18 01:41:05 +02:00
Erin	bd9b4e0364	Softpage improvements	2023-08-18 01:28:02 +02:00
Erin	af1de4b9ec	nope.	2023-08-17 01:37:53 +02:00
Erin	69bbd0ca79	SPID	2023-08-15 17:21:55 +02:00
Erin	9021acf61c	Modified memory interface ... I have no idea what I am doing rn	2023-08-15 17:05:10 +02:00
Erin	a8f2e4fbdf	Notice	2023-08-15 16:33:56 +02:00
Erin	bcb0ec41e2	Move stuff, deprecate softpage	2023-08-15 16:32:59 +02:00
Erin	96c5b07cfb	h	2023-08-10 12:39:18 +02:00
Erin	4c38b1ffb5	move	2023-08-10 12:39:03 +02:00
Erin	34a82b55dc	executable	2023-08-09 20:19:12 +02:00
Erin	12bde3a875	bai	2023-08-09 03:12:09 +02:00
Erin	b955b756e3	Comments	2023-08-09 02:59:11 +02:00
Erin	afdcee9bd6	Forbid store	2023-08-09 02:57:25 +02:00
Erin	06ce899e71	Now finally, leaving Hardvard!	2023-08-09 02:53:55 +02:00
Erin	6268c96776	Von-Neumann?	2023-08-09 02:33:03 +02:00
Erin	d992f40a82	Termination instruction	2023-08-09 01:24:13 +02:00
Erin	2b2d2f2434	fmt	2023-08-08 03:10:23 +02:00
Erin	67a7d8ee25	Added inner memory access	2023-08-08 03:10:11 +02:00
Erin	62d241e78c	Changed stuff aroud	2023-08-08 03:03:15 +02:00
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	2fb695b3a9	const perm check	2023-08-08 01:44:33 +02:00
Erin	33c0499977	Shrunk	2023-08-07 01:50:21 +02:00
Erin	e9e7f0c585	Changed magic	2023-08-01 22:20:11 +02:00
Erin	540555d7a9	Added magic	2023-08-01 22:13:22 +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	e3dd5ed944	Fixed mapping problems	2023-07-26 13:04:58 +02:00
Erin	c55e3e82c9	Whoops, this is 5-level paging, not 6-level paging	2023-07-26 12:41:18 +02:00
Erin	ab26de61f6	Fixed memory (un)mapping	2023-07-26 12:22:28 +02:00
Erin	14aa35d19a	Fixed page size, fuzzer now does memory.	2023-07-26 03:27:31 +02:00
Erin	03195f4eef	Decreased timeout	2023-07-26 02:35:27 +02:00
Erin	f5c45da41f	Increased timeout	2023-07-26 02:31:06 +02:00
Erin	8693d13e68	Increased timeout	2023-07-26 02:30:22 +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
Erin	9d27fb218d	restruct + no-alloc support	2023-07-26 01:11:21 +02:00
Erin	5a26bf8299	Added fuzzy tests	2023-07-26 01:01:53 +02:00
Erin	77d807a17d	Added runtime bound checking	2023-07-26 00:01:25 +02:00
Erin	8b132dffe3	whoops, fixed builds.	2023-07-25 23:48:59 +02:00
Erin	74f98f610c	Valider is now generated from macro (not done yet)	2023-07-25 23:43:06 +02:00
Erin	58310eb858	Quick valider fix	2023-07-25 23:03:06 +02:00
Erin	65efb64cdf	Commented valider	2023-07-25 22:44:08 +02:00
able	86232e35a6	changes I GUESS	2023-07-25 12:20:35 -05:00
Erin	05e868999d	Fixed endian stuffs	2023-07-25 19:10:00 +02:00
Erin	e1a423a355	Kekw	2023-07-24 20:41:10 +02:00
Erin	ab4440ce3c	Removed some macros	2023-07-24 18:48:42 +02:00