sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-08-10	Fix sizeof code generation to look at parameter bounds	Kathy Gray

2016-08-09	More fixes to resolving nat variables across cases	Kathy Gray

2016-08-08	Fix bug in type checker that ignored some pattern's constraints; fix second ↵	Kathy Gray
	bug that didn't cope properly with flow sensitive analysis across more than two case branches.
2016-08-06	Add duplicate_bits to lib	Kathy Gray
	Pull Peter's changes to interp_interface back into the primary repo
2016-08-05	Fix list parsing and empty vector parsing	Kathy Gray
	Add div to library functions
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-27	Add a function 'not' to the library with type bit -> bit	Kathy Gray

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	Fix type abbreviation support oversight	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-25	auto coerce to bit vector from bit	Kathy Gray
	pretty print lret effects into lem
2016-07-24	Make sure that all type constructors with unit type have a type union with ↵	Kathy Gray
	just an id (hopefully fixes Christopher issue).
2016-07-23	Add effect annotation for return, and actually keep a return after type check.	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-20	Make rewriter understand type abbreviations for removing internal_exp instances	Kathy Gray

2016-07-13	fixes	Christopher

2016-07-12	sail-to-lem and lem library fixes	Christopher

2016-07-01	Add missing case to arith_op_no0	Kathy Gray
	Add type refinement to arm spec
2016-06-20	Fix error in type checker that put some constraints wrongly into conditional ↵	Kathy Gray
	constraints, breaking power. Also improve reporting of contract constraints, but then turn them off :( to allow power to compile.
2016-06-07	Fix issue in accessing fields and slices of registers during translate address	Kathy Gray

2016-06-07	add a test for failing TLB translation during instruction fetch.	Robert Norton

2016-06-06	remove mips test elf files no longer expected to work due to having ↵	Robert Norton
	incorrect LMA values (since sail interpreter now translates PC addresses).
2016-06-06	add test for failing tlb translation using current sail.	Robert Norton

2016-06-03	Fix bug exposed/introduced by properly handling vector starts in the type ↵	Kathy Gray
	checker
2016-06-03	Change path inside sail Makefile to look for sail directory instead of l2	Kathy Gray

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-03	Add test demonstrating recently introduced regression where tlb match fail.	Robert Norton

2016-06-02	Fix most_significant case omission	Kathy Gray

2016-06-02	Get widening right now that it matters	Kathy Gray

2016-06-02	improve constraint range checking	Kathy Gray

2016-05-27	Fix parsing of sizeof and some printing issues with let	Kathy Gray

2016-05-27	small change to comment printing	Kathy Gray

2016-05-27	Add sizeof to sail. Documentation to follow	Kathy Gray

2016-05-26	add makery for mips/cheir LOC count.	Robert Norton

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