| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
maybe do this in readCapReg
|
|
implicit cast does not work as expected (appends zeros at bottom).
|
|
emulate atomic tag access.
|
|
|
|
|
|
version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
|
|
writes atomic)
|
|
Implement reserved cap. perms (bits 8 and 9) because a test uses them even though they have no defined meaning (historically they did I think).
|
|
Note to self: consider removing this cast after fixing overload resolution
|
|
|
|
|
|
|
|
bug from unification that was previously hitting armv8
|
|
interp_lib, interp_inter_imp, and printing_functions.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
struct and use cap structs for easier syntax to ensure atomic writes of cap regs.
|
|
|
|
|
|
|
|
|
|
|
|
preparation for adding cheri support in separate files.
|
|
Fix bug in local register access
|
|
well as items of kind Type.
Syntax for the feature is:
def Nat id = nexp
Note: some useful nexps may not parse properly.
All typedef forms can also be used as def Type ... if desired, but this is not required.
|
|
|
|
A few more tips
Trying to fix up and bring up to date the built-in types and library
|
|
|
|
needing ott
|
|
|
|
directory to be a bit more sensible
|
|
Conflicts:
src/Makefile
|
|
|
|
processing
|
|
|
|
Improve printing for asl to sail readability;
Add -o option for selecting the name of file generation;
Add additional initial check module for turning generated ast nodes into ready-to-type-check ast nodes
|
|
overloading of '^^'
|
|
on opam provided ones.
|
|
some annoying indenting on one line functions
|
