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-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
2015-11-10	Make first half of sequential interpreter driver compile again	Kathy Gray

2015-03-15	Many changes:	Kathy Gray
	Split out specification specific memory and external functions Reduce the presence of big_int Reduce the use of inc direction, instead using a default from the spec. Still a few places need to be parameterised over direction Also some bug fixes exposed by above and running ARM second instruction
2014-11-22	make interpreter now compiles	Kathy Gray
	Printing functions are not complete and may cause exceptions still on unknown or undef bits. run_interp_model doesn't work and thus make power doesn't work.
2014-10-20	Separate out printing facility from model driver into printing_functions ↵	Kathy Gray
	interface
2014-10-07	Put in type for instruction form for models; remove extra information from ↵	Kathy Gray
	Bytevectors; add place holder for memory size dependency tracking
2014-09-29	Add in elf model from Dominic/Stephen. Make run_power build again. Does not ↵	Kathy Gray
	effectively use elf model yet