summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-02-10Don't update EPCC if EXL is already set.Robert Norton
2017-02-10wibPeter Sewell
2017-02-10tidy l2.ottPeter Sewell
2017-02-09wibPeter Sewell
2017-02-09group initial type environment into meaningful sections; pretty-print in ↵Peter Sewell
user-readable way
2017-02-09tweak pp of initial type environment and l2.ott commentsPeter Sewell
2017-02-08put back the header into Sail_impl_baseChristopher Pulte
2017-02-08pull in Shaked's type class instance changes, fix Ord and Eq instancesChristopher Pulte
2017-02-08Implement fast representable bounds check as used on FPGA (cincoffset only ↵Robert Norton
so far).
2017-02-08Simplify unsigned vector comparison using <_u operator.Robert Norton
2017-02-05command-line option to dump initial type environmentPeter Sewell
2017-02-05Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
Conflicts: language/manual.pdf
2017-02-05wibPeter Sewell
2017-02-03fix header dates in new file.Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ↵Robert Norton
range types. This removes quite a few uses of unsigned() in cheri intsruction pseudocode. Could potentially take things furter.
2017-02-03Now that 128-bit capabilities are supported we must be stricter about MIPS ↵Robert Norton
alignment
2017-02-03fix headersPeter Sewell
2017-02-03licensingPeter Sewell
2017-02-02K,P debriefPeter Sewell
2017-02-01document coercionsPeter Sewell
2017-02-01fix up uint type boundsKathy Gray
2017-01-31Kathy, Peter: pp of initial type environmentPeter Sewell
2017-01-31Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-31Round up to multiple of 4 when computing E (CHERI does this to improve ↵Robert Norton
frequency).
2017-01-30switch to github ottPeter Sewell
2017-01-30remove "rm *.tex" from language/Makefile "make clean"Peter Sewell
2017-01-30updated readmeKathy Gray
2017-01-30Restore manual.tex, accidentally deletedKathy Gray
Minor updates to README, still in progress
2017-01-27fix right shiftKathy Gray
2017-01-27failing test with c128Robert Norton
2017-01-27further attempt to work around matching bug -- seems to work.Robert Norton
2017-01-26fix incorrect constant in calculation of representable boundary (should be B ↵Robert Norton
- 2**12)
2017-01-26remove dead code in getBase/getTopRobert Norton
2017-01-26attempted work around for apparent sail bug with matching result of comparisonRobert Norton
2017-01-26don't forget to use absolute PC as offset in epcc in case where epcc is not ↵Robert Norton
representable.
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ↵Robert Norton
has non-zero E (latest spec.)
2017-01-26Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-26christopher, kathy, peter: hacky experiment on nias_of_instructionPeter Sewell
2017-01-26when using cursor instead of offset for bounds check we must remember to ↵Robert Norton
check base as well as top.
2017-01-26Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-26wibPeter Sewell
2017-01-25wibPeter Sewell
2017-01-25Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailKathy Gray
2017-01-25Make interpreter a little more flexible on the format of a register type to ↵Kathy Gray
match ASL; add missing functions/cases to library
2017-01-25fix error introduced in revised version of TranslateAddress -- absPC should ↵Robert Norton
be relative to base
2017-01-25fix typo in c256 capRegToCapStructRobert Norton
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ↵Robert Norton
cheri_prelude files.
2017-01-25set offset of pcc on exception.Robert Norton
2017-01-25Merge branch 'master' of bitbucket.org:Peter_Sewell/sailPeter Sewell
2017-01-25kathy, peter: fixing sail-mode startupPeter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 04:32:18 +0000