| Age | Commit message (Collapse) | Author |
|---|
|
They are already defined in cheri_prelude_common.sail
|
|
|
|
|
|
|
|
for set_vector_subrange_bit.
|
|
|
|
|
|
|
|
|
|
|
|
cannot handle undef structs and the value should not be used (could be option type but wanted a similar interface to incCapOffset and setCapOffset).
|
|
by type checker...
|
|
|
|
|
|
Some tests intentionally produce undefined values (e.g. divide by zero) and this might be required for them to work.
|
|
little-endian and this change allows it to work when writing using store word (as done by FreeBSD driver) or sb (as done by cheri helloworld program).
|
|
|
|
|
|
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.
|
|
|
|
Also makes the check function in type_check tail recursive.
|
|
potential speedup.
|
|
|
|
|
|
enable gprof profiling)
|
|
need to use power.
|
|
|
|
|
|
restructuing switch as if
|
|
|
|
doesn't mistake the - for minus operator
|
|
between them using a command line switch.
|
|
|
|
Necessary to pass test_cp2_tagmem test. TODO make this configurable.
|
|
|
|
|
|
|
|
neq_range.
|
|
|
|
|
|
|
|
|
|
permit_load_cap not set.
|
