sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-12-06	Add top-level pattern match guards internally	Brian Campbell
	Also fix bug in mono analysis with generated variables Breaks lots of typechecking tests because it generates unnecessary equality tests on units (and the tests don't have generic equality), which I'll fix next.
2017-12-05	Update license headers for Sail source	Alasdair Armstrong

2017-11-29	Switched to bytecode compiler for executing interpreter to avoid stack overflow	Alasdair Armstrong

2017-11-17	Fix Makefile for interpreter and update instruction_extractor	Alasdair Armstrong
	Instruction extractor code that I commented out in this commit seems buggy anyway - it will claim that the length of all bitvectors is 64?!
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