| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Some tests intentionally produce undefined values (e.g. divide by zero) and this might be required for them to work.
|
|
|
|
bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.
|
|
|
|
load simboot + kernel.
|
|
neater access to registers of single bit.
|
|
dependency on ocaml uint library by using it.
|
|
bit_int_of_int. Likely very little performance benefit but slightly more readable.
|
|
|
|
between them using a command line switch.
|
|
|
|
|
|
test_raw_cache_write_to_use test
|
|
embedding test setup.
|
|
|
|
|
|
embedding.
|
