Alex,
Do you have a paper on the tool we could look at?
Thanks
S
--
Si Hammond
Scalable Computer Architectures
Sandia National Laboratories, NM
[Sent remotely, please excuse typing errors]
From: users on behalf of Alexander Droste
Sent: Saturday, May 30, 20
Hi,
sorry, unfortunately not yet. I'm developing the checker in the
course of my bachelor thesis. So there will be an extensive text about
the tool but this will take about 2 more months until finished.
If there is something specific missing or worth extending in the
readmes I will try to add tha
