sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-11-23	Add new type checking file. Small changes to type inference, temporary ↵	Kathy Gray
	change to printing
2016-11-09	move decode_error type back to Sail_impl_base for now	Christopher Pulte

2016-11-08	fixes	Christopher Pulte

2016-11-07	factor out regfp analysis types into etc/regfp.sail	Christopher Pulte

2016-11-05	fixes	Christopher Pulte

2016-11-02	shallow embedding library fixes, logfile pp fixes	Christopher Pulte

2016-10-25	load all segments into prog_mem regardless of x flag (for running cheri ↵	Robert Norton
	tests all memory is equal
2016-10-25	Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sail	Christopher Pulte

2016-10-25	fix my decode_to_istate bug	Christopher Pulte

2016-10-25	Improve pattern match failure error messages	Kathy Gray

2016-10-25	shallow embedding fixes	Christopher Pulte

2016-10-24	fixes, check in Shaked's sail_impl_base changes	Christopher Pulte

2016-10-22	Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sail	Christopher Pulte

2016-10-22	fixes, Interp.value printing for debugging	Christopher Pulte

2016-10-22	fixes following interface changes (type of instruction, name of barrier)	Robert Norton

2016-10-21	shallow embedding progress	Christopher Pulte

2016-10-20	factor out instr_external_to_interp_value	Christopher Pulte

2016-10-20	fix previous FromToInterpValue typeclass issue, factor out intpreter's ↵	Christopher Pulte
	interp_value_to_instr_external
2016-10-19	fix	Christopher Pulte

2016-10-19	remove effect list from instruction type	Christopher Pulte

2016-10-17	updates for ppcmem printing	Kathy Gray

2016-10-14	Add printing of whole call stack	Kathy Gray

2016-10-11	Update run_with_elf* for new linksem sail_interface	Robert Norton

2016-10-11	Update to use sail_impl_base.	Robert Norton

2016-10-08	type class instance fixes	Christopher Pulte

2016-10-06	move type definitions that both interpreter and shallow embedding use to ↵	Christopher Pulte
	sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary functions, make prompt use sail_impl_base.outcome
2016-09-30	add Robert's DIA typeclass instances	Christopher Pulte

2016-09-30	fixes, update isntruction_analysis for NIAs and DIA	Christopher Pulte

2016-09-28	Possible fix for equality and inequality	Kathy Gray

2016-09-21	fixes	Christopher Pulte

2016-09-19	remove conflict message	Christopher Pulte

2016-09-16	make vector concatenation pattern removal deal with vector patterns of ↵	Christopher Pulte
	unknown length (in the last item)
2016-09-14	Switch mips/cheri over to using memory ea/val for writes. Tag is now first ↵	Robert Norton
	byte of value for capability writes. Still need TAGw for now but should kill eventually.
2016-09-14	Add memory kind for concurrent tag reads and writes	Kathy Gray

2016-09-14	Change reading and writing of tag memory to report the tag/look for the tag ↵	Kathy Gray
	as the first byte of the byte list on tagged memory operations
2016-09-13	Support memea and memv in sequential interpreter	Kathy Gray

2016-09-13	Add optional address to memv events	Kathy Gray

2016-09-13	add show functions, fix	Christopher Pulte

2016-09-13	extern slice for instruction analysis	Kathy Gray

2016-09-12	add list append function	Kathy Gray

2016-09-09	minor fixes	Kathy Gray

2016-09-09	update instruction_analysis to support nias and instruction kind	Christopher Pulte

2016-09-02	Extend type checking so that patterns with vector concatenation don't permit ↵	Kathy Gray
	under specified vector lengths (at least for function patterns) Extend interpreter interface to have a function for Christopher's instruction analysis
2016-08-18	move register_base_name and slice_of_reg_name from ppcmem thread semantics ↵	Christopher
	to interp_interface, fix reg_name comparison and equality
2016-08-17	tuple assignment now implemented so (a,b) := foo() will now work	Kathy Gray

2016-08-17	Fix pattern match bug in interp where vector accesses were using the wrong ↵	Kathy Gray
	start index
2016-08-14	Add missing case to replicate	Kathy Gray

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.