[libre-riscv-dev] memory model checker

[Luke Kenneth Casson Leighton]

https://github.com/daniellustig/riscv-memory-model/blob/master/riscv.als#L312

Todo add to bugtracker / wiki


-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68