sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2024-04-30	Adapt memory builtins for Sail concurrency interface	Alasdair	1	-367/+0
2024-02-08	Shorten copyright notice at the top of each file	Tim Hutt	1	-65/+3
2023-10-25	Remove duplicate shift definitions	Tim Hutt	1	-2/+2
2023-08-01	Rename EXTZ and EXTS	Alasdair	1	-6/+6
2023-05-29	apply_headers: regenerate copyright headersupdate-copyright-headers	Philipp Tomsich	1	-1/+3
2023-03-14	Use not() instead of ~() for boolean negation (#210)	Alexander Richardson	1	-2/+2
2023-03-06	Add wildcard cases to matches to suppress Sail warnings. (#197)	Robert Norton	1	-12/+12
2021-07-29	Use headache to apply copyright header at request of Peter Sewell.	Robert Norton	1	-0/+68
2019-08-19	RISC-V spec, without implicit casts	Alasdair Armstrong	1	-75/+76
2019-07-18	Make sure everything builds correctly	Alasdair Armstrong	1	-0/+176
2019-07-18	Revert "Support DMB/DSB domains"	Alasdair Armstrong	1	-11/+11
2019-07-18	Support DMB/DSB domains	Shaked Flur	1	-11/+11
2019-01-14	Reorganize directory structure.	Prashanth Mundkur	1	-0/+182