 Erin
|
26105bab70
|
bye stuff
|
2023-08-19 23:46:47 +02:00 |
|
|
Erin
|
006dcca309
|
cleaned up deps
|
2023-08-19 23:24:31 +02:00 |
|
|
Erin
|
3034469e89
|
Address type, changed behaviour on address overflow
|
2023-08-18 02:31:49 +02:00 |
|
|
Erin
|
30070818ae
|
Move
|
2023-08-18 01:41:05 +02:00 |
|
|
Erin
|
d282b3d111
|
Softpage improvements
|
2023-08-18 01:28:02 +02:00 |
|
|
Erin
|
600528434b
|
nope.
|
2023-08-17 01:37:53 +02:00 |
|
|
Erin
|
0deeaf3a7e
|
SPID
|
2023-08-15 17:21:55 +02:00 |
|
|
Erin
|
3decd01619
|
Modified memory interface
I have no idea what I am doing rn
|
2023-08-15 17:05:10 +02:00 |
|
|
Erin
|
a071a4a7ae
|
Notice
|
2023-08-15 16:33:56 +02:00 |
|
|
Erin
|
af1a7d3bfa
|
Move stuff, deprecate softpage
|
2023-08-15 16:32:59 +02:00 |
|
|
Erin
|
96b749060d
|
h
|
2023-08-10 12:39:18 +02:00 |
|
|
Erin
|
770c2ebcf0
|
move
|
2023-08-10 12:39:03 +02:00 |
|
|
Erin
|
6609bd10c5
|
executable
|
2023-08-09 20:19:12 +02:00 |
|
|
Erin
|
97eaae1c76
|
bai
|
2023-08-09 03:12:09 +02:00 |
|
|
Erin
|
529fbdaed4
|
Comments
|
2023-08-09 02:59:11 +02:00 |
|
|
Erin
|
3ac80a2e3d
|
Forbid store
|
2023-08-09 02:57:25 +02:00 |
|
|
Erin
|
06d66289bc
|
Now finally, leaving Hardvard!
|
2023-08-09 02:53:55 +02:00 |
|
|
Erin
|
430ccd170d
|
Von-Neumann?
|
2023-08-09 02:33:03 +02:00 |
|
|
Erin
|
eadf9e0a1f
|
Termination instruction
|
2023-08-09 01:24:13 +02:00 |
|
|
Erin
|
4530ff049e
|
fmt
|
2023-08-08 03:10:23 +02:00 |
|
|
Erin
|
2d2978eec7
|
Added inner memory access
|
2023-08-08 03:10:11 +02:00 |
|
|
Erin
|
bf50bcb203
|
Changed stuff aroud
|
2023-08-08 03:03:15 +02:00 |
|
|
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
|
cdee99598e
|
const perm check
|
2023-08-08 01:44:33 +02:00 |
|
|
Erin
|
f130a27685
|
Shrunk
|
2023-08-07 01:50:21 +02:00 |
|
|
Erin
|
8287b1bdc1
|
Changed magic
|
2023-08-01 22:20:11 +02:00 |
|
|
Erin
|
1a5f101719
|
Added magic
|
2023-08-01 22:13:22 +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
|
10f9907c09
|
Fixed mapping problems
|
2023-07-26 13:04:58 +02:00 |
|
|
Erin
|
2480a65947
|
Whoops, this is 5-level paging, not 6-level paging
|
2023-07-26 12:41:18 +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
|
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 |
|
|
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 |
|
|
Erin
|
5055626968
|
Added runtime bound checking
|
2023-07-26 00:01:25 +02:00 |
|
|
Erin
|
0f5d78bb27
|
whoops, fixed builds.
|
2023-07-25 23:48:59 +02:00 |
|
|
Erin
|
759514686a
|
Valider is now generated from macro (not done yet)
|
2023-07-25 23:43:06 +02:00 |
|
|
Erin
|
92793dc93b
|
Quick valider fix
|
2023-07-25 23:03:06 +02:00 |
|
|
Erin
|
ac149a5319
|
Commented valider
|
2023-07-25 22:44:08 +02:00 |
|
 able
|
f4c55ae3cc
|
changes I GUESS
|
2023-07-25 12:20:35 -05:00 |
|
|
Erin
|
a82686ec07
|
Fixed endian stuffs
|
2023-07-25 19:10:00 +02:00 |
|
|
Erin
|
d20447dd15
|
Kekw
|
2023-07-24 20:41:10 +02:00 |
|
|
Erin
|
193be0bd5a
|
Removed some macros
|
2023-07-24 18:48:42 +02:00 |
|