index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
Makefile
Age
Commit message (
Expand
)
Author
2018-04-12
add a cheri_trace target for conveniently building a debug build.
Robert Norton
2018-04-12
Add implementations of CReadHwr and CWriteHwr
Robert Norton
2018-04-04
Fix another infinite loop in cast bit_to_bool. Following introduction of eq_b...
Robert Norton
2018-03-22
Fix cheri Makefile
Alasdair Armstrong
2018-03-22
Fix C compilation for CHERI and MIPS
Alasdair Armstrong
2018-03-21
Patch AST datatypes in generated Isabelle theories
Thomas Bauereiss
2018-03-15
Some CHERI compilation fixes
Thomas Bauereiss
2018-03-14
Fix Lem generation for CHERI-MIPS and Aarch64
Thomas Bauereiss
2018-03-14
add extract of ccseal instruction.
Robert Norton
2018-03-14
Add extract of some new instructions for including into CHERI documentation.
Robert Norton
2018-03-08
rename mips_new_tc to mips
Robert Norton
2018-03-06
finish port of cheri128 spec. to sail2.
Robert Norton
2018-03-01
Add support for read_tag and write_tag in sail_lib.ml. and support for intial...
Robert Norton
2018-03-01
cheri wip.
Robert Norton
2017-03-24
Extract CGetLen from cheri sail.
Robert Norton
2017-01-24
first pass at cheri128 sail.
Robert Norton
2016-07-27
Normalise whitespace in cheri_insts.sail for cleaner extraction of instructio...
Robert Norton
2016-07-26
Add Makefile and marker comments in cheri sail file for extracting individual...
Robert Norton
