summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-04-22Add address calculation wrapper to constrain and translate standard mips load...Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-19cheri: zero all tags when loading memory from elf so that we don't get undefi...Robert Norton
2016-04-19Make value treatment on memory write calls uniform for function call vs assig...Kathy Gray
2016-04-19cheri: be sure to use unsigned comparison in CUnsealRobert Norton
2016-04-19use unsigned for register offset and signed for immediate offset when computi...Robert Norton
2016-04-19force link to prevent make from failingShaked Flur
2016-04-18cheri: use signed() rather than casting to int as advised by kathy. This has ...Robert Norton
2016-04-18Fix bug where constraints were not getting simplified enough to checkKathy Gray
2016-04-18cheri: explicitly specify vector for comparison in cincoffset to work around ...Robert Norton
2016-04-18cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which were swa...Robert Norton
2016-04-18cheri: fix encoding of CSCC which was short one bit (kathy investigating why ...Robert Norton
2016-04-18cheri: add support for ll/sc of data via capability instructions.Robert Norton
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-18cheri: fix inverted tag check for cptrcmp.Robert Norton
2016-04-15add cheri test for tagged memory.Robert Norton
2016-04-15signed comparison between nats is not sensible. cast to bit vector instead.Robert Norton
2016-04-15cseal: perform arithmetic using nats to avoid signed comparison. Should maybe...Robert Norton
2016-04-15cheri: explicitly zero extend regno when writing to cap cause because implici...Robert Norton
2016-04-14cheri: implement ll/sc of capabilities using placeholder functions to emulate...Robert Norton
2016-04-14cheri: use correct destination register for loads via capability.Robert Norton
2016-04-14add cheri make target analagous to mipsRobert Norton
2016-04-13Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips ...Robert Norton
2016-04-13add tagr and tagw in mips_extras (will need to change these to make tag write...Robert Norton
2016-04-13Further CHERI implementation. Rename cursor to offset in line with ISA. Imple...Robert Norton
2016-04-13Put in a cast into sltiKathy Gray
2016-04-13cheri supporting run with elfKathy Gray
2016-04-13Remove some warnings, in progress.Kathy Gray
2016-04-13add failing test from cheri test suite.Robert Norton
2016-04-12Change structure of n unification variables into doubly linked list. Remove b...Kathy Gray
2016-04-12Reduce warnings for interpreter. Removed all pattern match warnings for inter...Kathy Gray
2016-03-30Small missing cases in patternsKathy Gray
2016-03-16more small fixesKathy Gray
2016-03-16add def to full lexerKathy Gray
2016-03-16Mistake in pre lexer fixedKathy Gray
2016-03-16Fix case of missing undef options in compareKathy Gray
2016-03-10small bug in is_one tag fixedKathy Gray
2016-03-09Refine previous fix... tags can be subtle :(Kathy Gray
2016-03-09add elf file with capability instructionsRobert Norton
2016-03-09Fix tag error on register as function parameterKathy Gray
2016-03-09cheri sail: introduce functions for casting from cap. register to cap. struct...Robert Norton
2016-03-08missing file from last commitKathy Gray
2016-03-08Return undefined value on reads of uninitialised memoryKathy Gray
2016-03-08Fix error in handling type abbreviations in LEXP type checkerKathy Gray
2016-03-08Start task of setting up tagged memory in sequential interpreterKathy Gray
2016-03-08add beginnings of cheri sail for kathy to do some debugging.Robert Norton
2016-03-07Split mips.sail into three file and make use of the new -o option in preparat...Robert Norton
2016-03-03Fix typo in manual which had true instead of false on assert documentationKathy Gray
2016-03-02Add new language feature to permit definitions of items of kind Nat, etc as w...Kathy Gray
2016-02-26tweak READMEPeter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 20:15:52 +0000