sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-06-11	Use riscv platform insns_per_tick to tick the clock.	Prashanth Mundkur

2018-06-11	Put the riscv model's output on stderr, leaving stdout for the platform ↵	Prashanth Mundkur
	terminal.
2018-06-08	Make the simulation loop use the platform interface to detect exits via htif.	Prashanth Mundkur

2018-06-07	More definitions for the physical memory map.	Prashanth Mundkur

2018-06-07	Add terminal output to riscv platform, with incomplete handling of input.	Prashanth Mundkur

2018-05-21	Add in the platform files and update the ocaml build. Disable the isabelle ↵	Prashanth Mundkur
	build until we add suitable platform definitions/stubs. The platform bits are not yet hooked into the model, but only into the build, so are untested.