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
|
a2be0adefa
|
Spec update
|
2023-08-07 01:43:29 +02:00 |
|
Erin
|
034b482817
|
Spec update
|
2023-08-07 01:41:26 +02:00 |
|
Erin
|
e9e7f0c585
|
Changed magic
|
2023-08-01 22:20:11 +02:00 |
|
Erin
|
cc71d00e35
|
a
|
2023-08-01 22:17:20 +02:00 |
|
Erin
|
540555d7a9
|
Added magic
|
2023-08-01 22:13:22 +02:00 |
|
Erin
|
a1efc2dfe4
|
Link fix
|
2023-07-26 21:23:03 +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
|
7d8b1c6ed7
|
a
|
2023-07-26 00:17:10 +02:00 |
|
Erin
|
3740c88daa
|
Added warning
|
2023-07-26 00:16:50 +02:00 |
|
Erin
|
972df2f6d7
|
Reworked macros
|
2023-07-26 00:12:50 +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
|
c274611746
|
Valider
|
2023-07-25 23:47:51 +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
|
c830688599
|
Added notice
|
2023-07-25 14:41:54 +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 |
|
Erin
|
df41adffde
|
fixed imm shl/r
|
2023-07-24 16:48:13 +02:00 |
|
Erin
|
15d18ee169
|
Fixed panic on shift outta bounds
- Pointed out by 5225225
|
2023-07-24 16:37:37 +02:00 |
|
Erin
|
d9eb6f1409
|
Fixed missing /
|
2023-07-22 02:42:43 +02:00 |
|
Erin
|
7a847d6585
|
added contribution guide to instructions
|
2023-07-22 02:42:21 +02:00 |
|
Erin
|
5fdf5d163a
|
Name correction
|
2023-07-22 02:34:41 +02:00 |
|
Erin
|
1f54fc1e77
|
Edits.
|
2023-07-22 02:29:05 +02:00 |
|
Erin
|
db2e5de20b
|
Moved lore
|
2023-07-22 02:28:05 +02:00 |
|
Erin
|
ee5a972921
|
A
|
2023-07-22 02:27:03 +02:00 |
|
Erin
|
ce323fc2f7
|
added notice.
|
2023-07-22 02:26:29 +02:00 |
|
Erin
|
89c08a8602
|
More comments
|
2023-07-22 02:26:03 +02:00 |
|
Erin
|
29084d7e55
|
Removed pagetable hack
|
2023-07-22 01:06:41 +02:00 |
|
Erin
|
0a396cb601
|
Zero alloc BMC!
|
2023-07-22 01:03:09 +02:00 |
|