sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-04-27	Make run_with_elf compile again	Kathy Gray

2016-04-27	cheri: add translation and bounds checking of PC via PCC. Slightly clunky ↵	Robert Norton
	implementation for now and exceptions not properly handled.
2016-04-26	Add more cases for translate_address to support enums	Kathy Gray

2016-04-26	print error case on translate address	Kathy Gray

2016-04-25	make pretty printer keep up with parser changes	Kathy Gray

2016-04-25	Make interpreter able to read registers during translate address and decode.	Kathy Gray
	This is not yet connected to any model and not yet tested. Also, reduce the number of parentheses needed by the parser. Namely, register declarations should no longer need parens around the types and let expressions should need fewer instances of parens around the expression (i.e. let a = exp ).
2016-04-22	Add address calculation wrapper to constrain and translate standard mips ↵	Robert Norton
	loads/stores via c0 under cheri. Length checks for unaligned loads/stores are not correct and there seems to be no tests...
2016-04-21	Introduce wrapper function around MEMw* so that we can clear tags on ↵	Robert Norton
	non-capability writes on cheri.
2016-04-19	cheri: zero all tags when loading memory from elf so that we don't get ↵	Robert Norton
	undefined unless we actually access memory which is uninitialised.
2016-04-19	Make value treatment on memory write calls uniform for function call vs ↵	Kathy Gray
	assignment expression
2016-04-19	cheri: be sure to use unsigned comparison in CUnseal	Robert Norton

2016-04-19	use unsigned for register offset and signed for immediate offset when ↵	Robert Norton
	computing capability relative address. This is a little counter-intuitive but seems to be what is written in the spec. and passes more tests. Will consult with mroe to check logic here and possibly extract into a function for clarity.
2016-04-19	force link to prevent make from failing	Shaked Flur

2016-04-18	cheri: use signed() rather than casting to int as advised by kathy. This has ↵	Robert Norton
	the advantage of actually doing what I want.
2016-04-18	Fix bug where constraints were not getting simplified enough to check	Kathy Gray

2016-04-18	cheri: explicitly specify vector for comparison in cincoffset to work around ↵	Robert Norton
	unexpected sail behaviour with implicit cast form literal 0.
2016-04-18	cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which were ↵	Robert Norton
	swapped.
2016-04-18	cheri: fix encoding of CSCC which was short one bit (kathy investigating why ↵	Robert Norton
	this didn't cause an error).
2016-04-18	cheri: add support for ll/sc of data via capability instructions.	Robert Norton

2016-04-18	More fixes to interp with regards to warnings and debugging info	Kathy Gray

2016-04-18	cheri: fix inverted tag check for cptrcmp.	Robert Norton

2016-04-15	add cheri test for tagged memory.	Robert Norton

2016-04-15	signed comparison between nats is not sensible. cast to bit vector instead.	Robert Norton

2016-04-15	cseal: perform arithmetic using nats to avoid signed comparison. Should ↵	Robert Norton
	maybe do this in readCapReg
2016-04-15	cheri: explicitly zero extend regno when writing to cap cause because ↵	Robert Norton
	implicit cast does not work as expected (appends zeros at bottom).
2016-04-14	cheri: implement ll/sc of capabilities using placeholder functions to ↵	Robert Norton
	emulate atomic tag access.
2016-04-14	cheri: use correct destination register for loads via capability.	Robert Norton

2016-04-14	add cheri make target analagous to mips	Robert Norton

2016-04-13	Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips ↵	Robert Norton
	version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
2016-04-13	add tagr and tagw in mips_extras (will need to change these to make tag ↵	Robert Norton
	writes atomic)
2016-04-13	Further CHERI implementation. Rename cursor to offset in line with ISA. ↵	Robert Norton
	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).
2016-04-13	Put in a cast into slti	Kathy Gray
	Note to self: consider removing this cast after fixing overload resolution
2016-04-13	cheri supporting run with elf	Kathy Gray

2016-04-13	Remove some warnings, in progress.	Kathy Gray

2016-04-13	add failing test from cheri test suite.	Robert Norton

2016-04-12	Change structure of n unification variables into doubly linked list. Remove ↵	Kathy Gray
	bug from unification that was previously hitting armv8
2016-04-12	Reduce warnings for interpreter. Removed all pattern match warnings for ↵	Kathy Gray
	interp_lib, interp_inter_imp, and printing_functions.
2016-03-30	Small missing cases in patterns	Kathy Gray

2016-03-16	more small fixes	Kathy Gray

2016-03-16	add def to full lexer	Kathy Gray

2016-03-16	Mistake in pre lexer fixed	Kathy Gray

2016-03-16	Fix case of missing undef options in compare	Kathy Gray

2016-03-10	small bug in is_one tag fixed	Kathy Gray

2016-03-09	Refine previous fix... tags can be subtle :(	Kathy Gray

2016-03-09	add elf file with capability instructions	Robert Norton

2016-03-09	Fix tag error on register as function parameter	Kathy Gray

2016-03-09	cheri sail: introduce functions for casting from cap. register to cap. ↵	Robert Norton
	struct and use cap structs for easier syntax to ensure atomic writes of cap regs.
2016-03-08	missing file from last commit	Kathy Gray

2016-03-08	Return undefined value on reads of uninitialised memory	Kathy Gray

2016-03-08	Fix error in handling type abbreviations in LEXP type checker	Kathy Gray