conversion CClock to picoseconds
It is not clear how to get time difference out of CClock. Let's say I want to measure and print process elapsed time in logs.
Mention in CClock haddocks how to convert ticks to seconds or at least put reference to C constant CLOCKS_PER_SEC
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information