sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-02-03	fix headers	Peter Sewell

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-10-08	augment annot of interpreter	Kathy Gray

2015-06-28	Tag enumeration variables properly when introducing them	Kathy Gray

2015-06-07	Fix instruction extractor	Kathy Gray

2015-06-02	Fix errors around ARM not being able to decode due to instruction_extractor ↵	Kathy Gray
	being very power-specific. Note: slight interface change to instruction_extractor
2015-03-17	Correct directionality in interpreter. Now the interpreter shouldn't use inc ↵	Kathy Gray
	unless that's the current default or there's no default set in the spec
2014-10-20	Catch more types in constructor parameters	Kathy Gray

2014-10-07	Connect interpreter to representation of instructions.	Kathy Gray
	Warning: this changes a few of the constructor names in the instruction_extractor.lem interface
2014-10-07	kathy,peter: making decode integration with ppcmem2 typecheck	Peter Sewell

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-10-02	correct renaming typo	Kathy Gray

2014-10-01	Fix bug omitting wmem effects	Kathy Gray

2014-09-30	Add type annotations to funcls to track effects and constraints from one ↵	Kathy Gray
	function-clause
2014-09-19	Functions to extract instruction information	Kathy Gray

2014-09-11	Adding support for extracting the information Christopher needs about an ↵	Kathy Gray
	instruction