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
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
