sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-04-04	Fix another infinite loop in cast bit_to_bool. Following introduction of ↵	Robert Norton
	eq_bool this was preferred over eq_bit when compiling the match on bit in bit_to_bool... Fix is to overload == before including flow.sail but feels a bit inelegant.
2018-03-21	Patch AST datatypes in generated Isabelle theories	Thomas Bauereiss
	Deactivate plugins of the datatype package except for the size plugin in order to keep processing time reasonable. This is currently only needed for the big AST datatypes, so we just patch this using a sed command.
2018-03-14	Fix Lem generation for CHERI-MIPS and Aarch64	Thomas Bauereiss
	- Update Lem bindings and extras files - Rewrite Nexp_var's if they are bound to a constant, similar to Nexp_id's (used for cap_size in the CHERI spec) - Add Lem and Isabelle Makefile targets for CHERI
2018-03-08	rename mips_new_tc to mips	Robert Norton

2018-03-08	Remove files in mips directory prior to copying in files from mips_new_tc. ↵	Robert Norton
	Hopefully thiis will help git to spot the rename and hence preserve history.
2017-11-30	match what rmem (ppcmem2) expects from ISA Makefiles	Shaked Flur

2016-05-31	delete obsolete Makefile (src/Makefile currently hanldes mips build).	Robert Norton

2015-12-22	More make file goo, and fixing a typo in run_with_elf	Kathy Gray

2015-12-22	More gluing mips to interpreter	Kathy Gray

2015-12-17	Remove external functions that the library provides, having added them to ↵	Kathy Gray
	the type environment finally. (Also small cleaning of the new makefile)
2015-12-17	First bit of gluing mips onto interpreter and eventually ppcmem infrastructure	Kathy Gray