sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-08-21	RISC-V load-reserved and store-conditional	Shaked Flur
2017-08-19	RISC-V store-release	Shaked Flur
2017-08-17	Merge branch 'master' of bitbucket.org:Peter_Sewell/sail	Shaked Flur
2017-08-17	added RISC-V load-acquire	Shaked Flur
2017-08-17	riscv: fix warnings because of unneeded catch-all cases in types.hgen.	Robert Norton
2017-08-17	fixed the RISC-V fences (3 types: "rw,rw"/"r,rw"/"rw,w")	Shaked Flur
2017-08-16	riscv: fix back to front args in store pretty print.	Robert Norton
2017-08-15	riscv: store the decoded branch immediate in the ast type -- this simplifies ...	Robert Norton
2017-08-15	remove unneeded regs_out_in.hgen files.	Robert Norton
2017-08-15	riscv: include pred and succ fields in translation of FENCE (currently hard c...	Robert Norton
2017-08-15	better names for store parameters.	Robert Norton
2017-08-15	riscv: fix incorrect argument order for store parser.	Robert Norton
2017-08-15	fix incorrect mnemonic for lui	Robert Norton
2017-08-15	riscv: fix word/half backwards in load.	Robert Norton
2017-08-15	riscv: limit stores to only relevant bytes.	Robert Norton
2017-08-14	add risc-v fence instruction as re-using MIPS sync for now. Also place holder...	Robert Norton
2017-08-11	further riscv rmem integration.	Robert Norton
2017-08-08	work on integrating risc-v model with rmem (incomplete).	Robert Norton
2017-08-08	work around missing >=_u in sail.	Robert Norton
2017-07-27	implement RV64I based on version 2.0 user spec.	Robert Norton
2014-11-27	Start of risc-v	Kathy Gray