sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-08-10	Missing case in lib	Kathy Gray

2016-08-06	Add duplicate_bits to lib	Kathy Gray
	Pull Peter's changes to interp_interface back into the primary repo
2016-07-28	Banish exit from the mips/cheri sail except at end of SignalException ↵	Robert Norton
	function. There is a plan to replace this syntax with something more understandable. Should make no functional difference using sequential interpretor but will need to do some work on exception functions when integrating with ppcmem so that it know register writes are exceptional etc.
2016-07-26	Fix incomplete match warning in run_with*	Robert Norton

2016-07-26	Increase size of TLB to 64 entries. In theory this should improve FreeBSD ↵	Robert Norton
	boot time by reducing TLB misses but an apparent reduction in IPS counteracts this. Makes use of foreach and return to implement tlbSearch.
2016-07-26	And fix abbrev oversite in interpreter	Kathy Gray

2016-07-26	Add minimal support for emulated Altera JTAG UART.	Robert Norton

2016-07-26	Add support for loading a raw binary file at given location in memory prior ↵	Robert Norton
	to sequential simulation. This is needed for booting FreeBSD where a minimal bootloader (simboot.elf) runs before jumping into the kernel loaded in memory.
2016-07-25	win	Kathy Gray

2016-07-25	one more go	Kathy Gray

2016-07-25	Actually fix stack for return	Kathy Gray

2016-07-25	Fix stack for return	Kathy Gray

2016-07-25	Support return in interpreter pretty printer (also fix typo for default case)	Kathy Gray

2016-07-23	Add a return exp form to Sail, supported in type checker and in interpreter.	Kathy Gray
	TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
2016-07-01	Add missing case to arith_op_no0	Kathy Gray
	Add type refinement to arm spec
2016-06-07	Fix issue in accessing fields and slices of registers during translate address	Kathy Gray

2016-06-03	Fix bug exposed/introduced by properly handling vector starts in the type ↵	Kathy Gray
	checker
2016-06-03	turn off debug print statements	Kathy Gray

2016-06-03	Mips file: removed some unnecessary parenthesis	Kathy Gray
	Interp: trying to add some debugging to isolate bug
2016-06-02	Fix most_significant case omission	Kathy Gray

2016-05-25	add support for capability load/store bits in TLB	Robert Norton

2016-05-20	Add missing CP0BadVaddr in run_with_elfs.	Robert Norton

2016-05-18	Implement 8-entry software-managed TLB.	Robert Norton

2016-05-12	Implement count/compare registers for timer interrupts and rdhwr instruction.	Robert Norton

2016-05-10	Initialise CP0Status BEV bit.	Robert Norton

2016-05-09	fix mips build by copying across run_with_elf_cheri.ml and removing cheri parts.	Robert Norton

2016-05-09	Reverse the list of events to respect their order	Kathy Gray

2016-05-09	Add more debugging information for vector concatenation	Kathy Gray

2016-05-06	rewrite fde_loop to make it easier to understand and fix some tests. still ↵	Robert Norton
	requires some clean up (currently one huge function).
2016-05-05	Factor out get_opcode	Robert Norton

2016-05-04	Correct register field/slice reading for decreasing reads for ↵	Kathy Gray
	decode/translate_address/exhaustive. (Was previously correct for full register reads)
2016-05-03	List registers required to handle exception during instruction fetch. ↵	Robert Norton
	Attempt to get correct behaviour wrt nextpC on instruction fetch exception (prob. still wrong).
2016-05-03	actually read next_pc twice when handling a translate_address exception	Kathy Gray

2016-05-03	write all or part of fields out of translate_address (instead of just all)	Kathy Gray
	fix bug in interp_to_value_helper
2016-05-03	Change decode and translate_address to support writing register events ↵	Kathy Gray
	(although decode isn't pushed through yet). Note: this will break all builds
2016-04-27	slightly simplify set_next_instruction_address -- no need to read convert ↵	Robert Norton
	then reconvert delayedPC
2016-04-27	expand supported patterns for most_significant	Kathy Gray

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 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-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-18	More fixes to interp with regards to warnings and debugging info	Kathy Gray

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	cheri supporting run with elf	Kathy Gray

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

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