sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-01-03	Updates to interpreter	Alasdair Armstrong
	Experimenting with porting riscv model to new typechecker
2017-12-04	renamed hgen to gen	Shaked Flur

2017-11-30	match what rmem (ppcmem2) expects from ISA Makefiles	Shaked Flur

2017-11-23	renaming	Shaked Flur

2017-11-23	added RISCV_ prefix to some values to stop Lem from renaming them	Shaked Flur

2017-11-07	RISC-V parser checks	Shaked Flur

2017-11-01	added RISC-V "fence r,r"	Shaked Flur

2017-10-26	fixed release acquire semantics of AMOs	Shaked Flur

2017-10-01	fixed JALR: do the register write first to allow po-later reads	Shaked Flur

2017-09-27	fixed the RISC-V Makefile	Shaked Flur

2017-09-27	split RISC-V to two Sail files to make it more readable	Shaked Flur

2017-09-27	oops	Shaked Flur

2017-09-26	RISC-V: check alignment of atomic memory accesses (and escape when misaligned)	Shaked Flur

2017-09-11	added xml pp	Shaked Flur

2017-09-03	added RISC-V strong-acquire/release	Shaked Flur

2017-09-02	fix for parsing diy generated tests	Shaked Flur

2017-09-02	check the status of SC before doing the memory write	Shaked Flur

2017-08-31	added RISC-V AMOs	Shaked Flur

2017-08-22	added RISC-V "fence w,w" and "fence.i";	Shaked Flur
	fixed the interpreter nias analysis;
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
	# Conflicts: # risc-v/hgen/types.hgen
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
	translation to and from herdtools ast.
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 ↵	Robert Norton
	coded to zero
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 ↵	Robert Norton
	holders for FENCE.I and ECALL.
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