Alasdair Armstrong

Yes, that's been fairly ad-hoc. If I was more forward-thinking I could have added a feature flag per-release, but I haven't. I could add something like a `--version-check` flag, but...

I will look into making a PR to fix this later this week. I still think in general the Makefile is trying to build too many targets by default including...

This specific error is fixed in Sail by: https://github.com/rems-project/sail/commit/297e4d270acc6d273d27ad80cb3bf0ef78f7f985 I should probably do another point release of Sail to push that and various other smaller bug fixes before the next...

Just letting you know I am away on Holiday until early January, so it might take me a while before I can go through this in detail.

Thanks for working on this! I think we have some on-going work to merge the various translation scheme functions into a single parameterised function, along the same line would it...

The paragraph you cite seems to only talk about what happens when you switch the VA but keep the same PA, whereas your example is switching the PA keeping the...

I think the memory code should be refactored to avoid passing three boolean arguments for release, acquire, and consistency. There are maybe some other parameters that could be grouped together...

We could think about adding support for optional/named parameters or something to mitigate the profusion of parameters issue. The only problem I could imagine is that I don't think our...

lgtm While currently we only have support for RVWMO for sail-riscv in [Isla](https://github.com/rems-project/isla), I don't think there is any technical reason why we couldn't have TSO as well.