sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-12-06	Add top-level pattern match guards internally	Brian Campbell
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
2017-02-03	fix headers	Peter Sewell
2016-10-06	move type definitions that both interpreter and shallow embedding use to sail...	Christopher Pulte
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 b...	Kathy Gray
2015-03-17	Correct directionality in interpreter. Now the interpreter shouldn't use inc ...	Kathy Gray
2014-10-20	Catch more types in constructor parameters	Kathy Gray
2014-10-07	Connect interpreter to representation of instructions.	Kathy Gray
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 By...	Kathy Gray
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 func...	Kathy Gray
2014-09-19	Functions to extract instruction information	Kathy Gray
2014-09-11	Adding support for extracting the information Christopher needs about an inst...	Kathy Gray