sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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-05-24	Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from ↵	Robert Norton
	data and invent rmemt and wmvt effects for them. Extend the interpreter context to include lists of tagged memory read and write functions. The memory model must round down the address to the nearest capability aligned address when reading/writing tags. Remove TAGw which is no longer needed as a result.
2017-04-27	also trace memory writes.	Robert Norton

2017-04-25	replace memory representation with map of 1MB pages rather than map of ↵	Robert Norton
	bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.
2017-04-21	it turns out zarith has a function for printing big_ints in hex. Remove the ↵	Robert Norton
	dependency on ocaml uint library by using it.
2017-04-20	return zero for uninitialised memory in ocaml shallow embedding model. ↵	Robert Norton
	Necessary to pass test_cp2_tagmem test. TODO make this configurable.
2017-04-20	add support for tagged memory functions in mips_extras_ml	Robert Norton

2017-04-07	read from uninitialsed memory returns undef (required to pass ↵	Robert Norton
	test_raw_cache_write_to_use test
2017-04-06	Model now assumes memory is little endian so adjust extras file accordingly.	Robert Norton

2017-03-24	Checkpoint work-in-progress mips sequential interpreter using ocaml shallow ↵	Robert Norton
	embedding.