sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-23	doc: Fix building with pandoc 2.0 and above	Jessica Clarke

2020-09-23	doc: Fix RISC-V X overload	Jessica Clarke
	This seems to be the current name for the overload.
2020-02-06	Make sure tdiv_int and tmod_int are recognised by sail -i	Alasdair Armstrong

2020-01-30	Fix two example code includes	Mark Wassell

2020-01-30	Commit missing pandoc fixes for document generation	Alasdair Armstrong

2019-12-07	manual typo	pes20

2019-11-01	More work on GDB interface	Alasdair Armstrong
	The following now works to run sail on every HVC call with hafnium function gdb_init() -> unit = { // Connect to QEMU via GDB sail_gdb_qemu(""); sail_gdb_symbol_file("hafnium.elf.sym"); sail_gdb_send("break-insert sync_lower_exception") } function gdb() -> unit = { gdb_init(); while true do { sail_gdb_send("exec-continue"); sail_gdb_sync() } }
2019-11-01	Update riscv example in manual to make it current	Alasdair Armstrong

2019-07-25	Some documentation of mappings and string matching	Jon French

2019-05-29	Some minor grammar fixes in internals.md	Alasdair Armstrong

2019-05-29	Fix some typos	Alasdair Armstrong

2019-05-29	Add some Sail internals documentation	Alasdair Armstrong

2019-02-27	Make -o option work as usual with C compilation	Alasdair Armstrong

2019-02-21	Fix manual, and include Alexandre's typo fixes	Alasdair Armstrong

2019-01-21	The RISCV environment variable collides with common usage by the RISC-V ↵	Prashanth Mundkur
	toolchain; use SAIL_RISCV instead to refer to sail-riscv.
2019-01-21	Update manual snapshot and add basic sail -latex documentation	Alasdair Armstrong

2019-01-21	Fix some issues with latex generation so manual builds again	Alasdair Armstrong
	since riscv is no longer in this repository, and we use the RISC-V duopod as an example, you need to build as: make RISCV=directory manual.pdf if directory is not equal to ../../sail-riscv (which is where it would be if sail and sail-riscv are checked out in the same respository together)
2019-01-21	Fix a bug with type-checking and latex generation	Alasdair Armstrong
	We should maybe just make the -latex option behavior the default to avoid this kind of thing
2018-09-10	C: Add documentation for C compilation in manual.tex	Alasdair Armstrong

2018-08-09	fix tutorial infix example	Matthew Fernandez
	The syntax for these directives requires the precedence first. E.g. a real world version of this in riscv/prelude.sail.
2018-08-02	fix some typos	Matthew Fernandez

2018-07-12	Temporarily remove some paragraphs from the manual for anonymisation	Alasdair Armstrong

2018-07-12	Further anonymise manual	Alasdair Armstrong

2018-07-09	anonymise another github link.	Robert Norton

2018-07-09	anonymise github link in sail manual.	Robert Norton

2018-07-09	Support building an anonymised version of manual. Fix sail example in ↵	Robert Norton
	manual. Remove incomplete types chapter from manual per AA's recommendation.
2018-05-21	Fix a doc typo.	Prashanth Mundkur

2018-05-16	Some minor edits and typo-fixes to the manual, and update the files in the ↵	Prashanth Mundkur
	riscv model.
2018-05-11	Add missing document list example to repository	Alasdair Armstrong

2018-05-11	Update and alphabetise author list in manual	Alasdair Armstrong

2018-05-11	Add link to Thomas's Sail/Isabelle documentation in manual	Alasdair Armstrong
	Replace the old manual with new version in repository root
2018-05-11	More work on documentation	Alasdair Armstrong
	Should have all the main language features covered in at least some detail now.
2018-05-09	Add type system documentation	Alasdair Armstrong

2018-05-08	More work on Sail documentation	Alasdair Armstrong

2018-04-25	Start working on documentation	Alasdair Armstrong